Component service promotion: contracts, mechanisms and safety

Authors:
Pascal André;Gilles Ardourel;Mohamed Messabihi
Affiliations:
AeLoS Team - LINA CNRS UMR 6241, University of Nantes, Nantes Cedex, France;AeLoS Team - LINA CNRS UMR 6241, University of Nantes, Nantes Cedex, France;AeLoS Team - LINA CNRS UMR 6241, University of Nantes, Nantes Cedex, France
Venue:
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Year:
2010

Citing 12
Cited 0

The B-book: assigning programs to meanings

The B-book: assigning programs to meanings
A Classification and Comparison Framework for Software Architecture Description Languages

IEEE Transactions on Software Engineering
Making Components Contract Aware

Computer
Trustworthy components-compositionality and prediction

Journal of Systems and Software - Special issue on: Component-based software engineering
The FRACTAL component model and its support in Java: Experiences with Auto-adaptive and Reconfigurable Systems

Software—Practice & Experience
SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model

SERA '06 Proceedings of the Fourth International Conference on Software Engineering Research, Management and Applications
Collective Interfaces for Distributed Components

CCGRID '07 Proceedings of the Seventh IEEE International Symposium on Cluster Computing and the Grid
A Rigorous Model of Service Component Architecture

Electronic Notes in Theoretical Computer Science (ENTCS)
Contracts for BIP: Hierarchical Interaction Models for Compositional Verification

FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Composite contract enforcement in hierarchical component systems

SC'07 Proceedings of the 6th international conference on Software composition
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies

Electronic Notes in Theoretical Computer Science (ENTCS)
A modal interface theory with data constraints

SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Composition is a core concept of component and service-based models. In hierarchical component composition, promotion is used to make services available at a higher level of the hierarchy without breaking encapsulation. In this article we will study different kinds of promotion of services equipped with contracts, their usefulness, as well as their safety by considering appropriate proof obligations. We introduce several explicit assertion constructs in order to reduce the proof effort. We study the impact of encapsulation and rich state description on these promotions. We illustrate the approach (specification and verification) with the Kmelia component language.