Verification Mechanism For Lightweight Componenent-Based Environment Based On Ioc Container
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 v...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
AGH University of Science and Technology Press
2013-01-01
|
| Series: | Computer Science |
| Subjects: | |
| Online Access: | http://journals.agh.edu.pl/csci/article/download/87/798 |
| Summary: | 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. |
|---|---|
| ISSN: | 1508-2806 |