Verifying the correct composition of distributed components: Formalisation and Tool

Verifying the correct composition of distributed components: Formalisation and Tool

Blog Article

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 camo iphone se case 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 hacklinkci.com for the development and specification of component-based applications.