- Tytuł:
- Verification mechanism for lightweight componenent-based environment based on ioc container
- Autorzy:
-
Leszko, R.
Piętak, K. - Powiązania:
- https://bibliotekanauki.pl/articles/305795.pdf
- Data publikacji:
- 2013
- Wydawca:
- Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
- Tematy:
-
verification
component-based systems
functional integrit - Opis:
- This paper presents a concept of component verification framework dedicated to a particular lightweight component environment. The starting point of the paper constitutes a discussion about the significance of verification of syntax in- consistencies in software development. Next, the need of verification in service-oriented and component-based systems is presented, and various approaches of verification in existing component environments are explained. The main part of the paper introduces a concept of functional integrity of component-based systems that utilize verification mechanisms which check consistency between components. The proposed solution is built on a fine-grained component environment (close to classes similarly to the Spring Framework) realized in the AgE platform. Selected technical aspects of framework design illustrate the considerations of the paper.
- Źródło:
-
Computer Science; 2013, 14 (4); 577-588
1508-2806
2300-7036 - Pojawia się w:
- Computer Science
- Dostawca treści:
- Biblioteka Nauki
Artykuł