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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.175.5 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |