Verifying the correct composition of distributed components: Formalisation and Tool

Ludovic Henrio
(Univ. of Nice Sophia Antipolis, CNRS, France)
Oleksandra Kulankhina
(NRIA Sophia Antipolis Mediterannee, Univ. of Nice Sophia Antipolis, CNRS, France)
Dongqian Liu
(MoE Engineering Research Center for Software and Hardware Co-design Technology and Application, ECNU, China )
Eric Madelaine
(NRIA Sophia Antipolis Mediterannee, Univ. of Nice Sophia Antipolis, CNRS, France)

This article provides formal definitions characterizing well-formed composition of components in order to guarantee their safe deployment and execution. Our work focuses on the structural aspects of component composition; it puts together most of the concepts common to many component models, but never formalized as a whole. Our formalization characterizes correct component architectures made of functional and non-functional aspects, both structured as component assemblies. Interceptor chains can be used for a safe and controlled interaction between the two aspects. Our well-formed components guarantee a set of properties ensuring that the deployed component system has a correct architecture and can run safely. Finally, those definitions constitute the formal basis for our Eclipse-based environment for the development and specification of component-based applications.

In Javier Cámara and José Proença: Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2014), Rome, Italy, 6th September 2014, Electronic Proceedings in Theoretical Computer Science 175, pp. 69–85.
Published: 11th February 2015.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: