Verification mechanism for lightweight componenent-based environment based on ioc container

• Autorzy: Leszko R. , Piętak K.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

verification; component-based systems; functional integrit

• Wydawca: Wydawnictwa AGH
• Czasopismo: Computer Science
• Rocznik: 2013
• Tom: Vol. 14 (4)
• Strony: 577--588
• Opis fizyczny: Bibliogr. 14 poz., rys.

Twórcy

autor

Leszko R.

• AGH University of Science and Technology, Institute of Computer Science, Krakow, Poland

autor

Piętak K.

• AGH University of Science and Technology, Institute of Computer Science, Krakow, Poland

Bibliografia

• [1] Agrawal A.: Service-Oriented Architecture.http://www.rightwaysolution. com/soa.html, 2009. Rightway Solution (India) Pvt. Ltd.
• [2] Bernard E. et al.: JSR 303: Bean Validation. http://jcp.org/en/jsr/detail?id=303, 2009.
• [3] Crnkovic I., Henrik M. P.: Building Reliable Component-Based Software Systems. Artech House, 2002.
• [4] Erl T.: Service-Oriented Architecture: Concepts, Technology, and Design. Pren- tice Hall PTR, Upper Saddle River, NJ, USA, 2005. ISBN 0131858580.
• [5] Gamma E., Helm R., Johnson R., Vlissides J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional, 1998.
• [6] Garlan D., Shaw M.: An introduction to Software Architectures. 1994. School of Computer Science, Carnegie Mellon University, Pittsburgh.
• [7] Hall R. S., Pauls K., McCulloch S., Savage D.: OSGi in Action. Manning Publications, 2011.
• [8] Lee B., Johnson R.: Dependency Injection for Java. http://jcp.org/aboutJava/communityprocess/final/jsr330/index.html, 2009.
• [9] Liskov B., Wing J.: A Behavioral Notion of Subtyping. vol. 16, 1994.
• [10] Martin R.: Clean Code: A Handbook of Agile Software Craftsmanship. Prentice Hall, 2008.
• [11] Piętak K., Kisiel-Dorohinicki M.: Agent-Based Framework Facilitating Component- Based Implementation of Distributed Computational Intelligence Systems. In: N. T. Nguyen, J. Kołodziej, T. Burczyński, M. Biba, eds.,Transactions on Computational Collective Intelligence X, Lecture Notes in Computer Science, vol. 7776, pp. 31–44. Springer Berlin Heidelberg, 2013. ISBN 978-3-642-38495-0. http://dx.doi.org/10.1007/978-3-642-38496-7_3
• [12] Piętak K., Woś A., Byrski A., Kisiel-Dorohinicki M.: Functional Integrity of Multi-agent Computational System Supported by Component-Based Implementation. In: Proceedings of the 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems: Holonic and Multi-Agent Systems for Manufacturing, HoloMAS ’09, pp. 82–91. Springer-Verlag, Berlin, Heidelberg, 2009. ISBN 978-3-642-03666-8. http://dx.doi.org/10.1007/978-3-642-03668-2_8.
• [13] Shore J.: Fail Fast.IEEE Software, vol. 21(5), pp. 21–25, 2004. http://dblp.uni-trier.de/db/journals/software/software21.html#Shore04a.
• [14] Szyperski C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2nd ed., 2002. ISBN 0201745720.