A Component Model with Support of Mobile Architectures and Formal Description

Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specification of behaviour and interfaces of the systems’ parts are necessary, as well as specification of their interaction. Moreover, the systems have to deal with many problems including the ability to clone components and to move the copies across a network (component mobility), creation, destruction and updating of components and connections during the systems’ run-time (dynamic reconfiguration), maintaining components’ compatibility, etc. In this paper, we present the component model that addresses component mobility including dynamic reconfiguration, allows to combine control and functional interfaces, and separates a component’s specification from its implementation. We focus on the formal basis of the component model in detail. We also review the related research on the current theory and practice of formal component-based development of software systems.

[1]  Jaroslav Král,et al.  Software Confederations and Alliances , 2003, CAiSE Short Paper Proceedings.

[2]  Petr Hnetynka,et al.  SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model , 2006, Fourth International Conference on Software Engineering Research, Management and Applications (SERA'06).

[3]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[4]  Marek Rychlý.  Component Model with Support of Mobile Architectures , 2007, ISIM.

[5]  Frantisek Plasil,et al.  SOFA/DCUP: architecture for component trading and dynamic updating , 1998, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159).

[6]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[7]  Distributed Information System as a System of Asynchronous Concurrent Processes , 2006 .

[8]  Jaroslav Král,et al.  Autonomous Components , 2000, SOFSEM.

[9]  Frank Budinsky,et al.  Eclipse Modeling Framework , 2003 .

[10]  Antonio Cansado,et al.  Formal specification and verification of distributed component systems , 2005 .

[11]  Stanislav Visnovsky,et al.  Modeling Software Components Using Behavior Protocols , 2004 .

[12]  Zhong Wang,et al.  A survey of software component models , 2005 .

[13]  Davide Sangiorgi,et al.  The Pi-Calculus - a theory of mobile processes , 2001 .

[14]  Raheel Ahmad,et al.  The π-Calculus: A theory of mobile processes , 2008, Scalable Comput. Pract. Exp..

[15]  Marek Rychlý.  Towards Verification of Systems of Asynchronous Concurrent Processes , 2006 .

[16]  Alexander L. Wolf,et al.  Acm Sigsoft Software Engineering Notes Vol 17 No 4 Foundations for the Study of Software Architecture , 2022 .