Component composition preserving behavioral contracts based on communication traces

Authors:
Arnaud Bailly;Mireille Clerbout;Isabelle Simplot-Ryl
Affiliations:
LIFL, Université de Lille I, Cité Scientifique, Villeneuve d'Ascq Cedex, France;LIFL, Université de Lille I, Cité Scientifique, Villeneuve d'Ascq Cedex, France;LIFL, Université de Lille I, Cité Scientifique, Villeneuve d'Ascq Cedex, France
Venue:
Theoretical Computer Science - Implementation and application of automata
Year:
2006

Citing 12
Cited 1

A behavioral notion of subtyping

ACM Transactions on Programming Languages and Systems (TOPLAS)
Conjoining specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
A formal basis for architectural connection

ACM Transactions on Software Engineering and Methodology (TOSEM)
A Classification and Comparison Framework for Software Architecture Description Languages

IEEE Transactions on Software Engineering
Interface automata

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Component Software: Beyond Object-Oriented Programming

Component Software: Beyond Object-Oriented Programming
On Object Systems and Behavioral Inheritance

IEEE Transactions on Software Engineering
Behavior Protocols for Software Components

IEEE Transactions on Software Engineering
Specifying Distributed Software Architectures

Proceedings of the 5th European Software Engineering Conference
Architectural Reasoning in ArchJava

ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Extending CORBA Interfaces with p-Calculus for Protocol Compatibility

TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 33)
A formal approach to component adaptation

Journal of Systems and Software - Special issue: Automated component-based software engineering

Patterns for service composition

Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper investigates the compositional properties of reusable software components defined with explicit dependencies and behavioural contracts expressing rely-guarantee specifications in the form of communication traces. In this setting, connection of components through their matching ports is indeed compositional and yields a new component or composite that respects its constituents' contracts. Thus the behaviour of the composite is computed from the behaviours of its constituents and is known to conform to the contracts without any new proof.