Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2015 | 10.4204/EPTCS.175.5 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE |
Field | DocType | Issue |
Architecture,Software deployment,Software engineering,Computer science,Common Component Architecture,Eclipse,Component-based software engineering,Reliability engineering | Journal | 175 |
ISSN | Citations | PageRank |
2075-2180 | 1 | 0.36 |
References | Authors | |
11 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ludovic Henrio | 1 | 304 | 34.43 |
Oleksandra Kulankhina | 2 | 5 | 0.78 |
Dongqian Liu | 3 | 1 | 0.36 |
E. Madelaine | 4 | 7 | 1.27 |