Towards a Versatile Contract Model to Organize Behavioral Specifications

Authors:
Philippe Collet;Alain Ozanne;Nicolas Rivierre
Affiliations:
University of Nice - Sophia Antipolis, I3S Laboratory, France;France Telecom R&D, MAPS/AMS Laboratory, Issy les Moulineaux, France;France Telecom R&D, MAPS/AMS Laboratory, Issy les Moulineaux, France
Venue:
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Year:
2007

Citing 9
Cited 0

Conjoining specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
Component software: beyond object-oriented programming

Component software: beyond object-oriented programming
Concurrency: state models & Java programs

Concurrency: state models & Java programs
Software evolution in componentware using requirements/assurances contracts

Proceedings of the 22nd international conference on Software engineering
Applying "Design by Contract"

Computer
Behavior Protocols for Software Components

IEEE Transactions on Software Engineering
Fine-grained Contract Negotiation for Hierarchical Software Components

EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
A contracting system for hierarchical components

CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Enforcing different contracts in hierarchical component-based systems

SC'06 Proceedings of the 5th international conference on Software Composition

Quantified Score

Hi-index	0.00

Visualization

Abstract

The dependability of component-based systems mainly relies on the ability to guarantee the safe collaboration of components. Many specification formalisms can then be used and we argue that such specifications should be organized through an appropriate contract model so that guarantees and possible violations can be better exploited. In this paper, we propose a versatile contract model that explicitly reifies the assumptions and guarantees of some behavioral specifications on component assemblies. We briefly illustrate the integration of executable assertions and we detail how Behavior Protocolscan be integrated in the contract model.