TY - JOUR AU - Leszko, Rafal AU - Pietak, Kamil PY - 2013/11/22 Y2 - 2024/03/28 TI - Verification mechanism for lightweight componenent-based environment based on IoC container JF - Computer Science JA - csci VL - 14 IS - 4 SE - Articles DO - 10.7494/csci.2013.14.4.577 UR - https://journals.agh.edu.pl/csci/article/view/87 SP - 577 AB - The paper presents a concept of component verification framework dedicated to a particular lightweight component  environment. A starting point of the paper constitutes a discussion about significance of  verification process of syntax inconsistencies in the software development. Next, the need of verification in service-oriented and component-based  systems are presented and various approaches of verification in existing component environments are explained. The  main part of the paper introduces a concept of a functional integrity of component-based systems that utilize  verification mechanisms checking components consistency. The proposed solution is built on fine-grained component environment  (close to classes similarly to the Spring Framework) realized in AgE platform. Selected technical aspects of the framework design  illustrate the considerations of the paper. ER -