On contracting different behavioral properties in component-based systems

Authors:
Philippe Collet;Alain Ozanne;Nicolas Rivierre
Affiliations:
University of Nice - Sophia, Antipolis, France;MAPS/AMS Laboratory, Issy les Moulineaux, France;MAPS/AMS Laboratory, Issy les Moulineaux, France
Venue:
Proceedings of the 2006 ACM symposium on Applied computing
Year:
2006

Citing 7
Cited 0

The temporal logic of actions

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

ACM Transactions on Software Engineering and Methodology (TOSEM)
Component Software: Beyond Object-Oriented Programming

Component Software: Beyond Object-Oriented Programming
Applying "Design by Contract"

Computer
Behaviour Analysis of Software Architectures

WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
On Monitoring Concurrent Systems with TLA: An Example

ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
Enhancing component specification by behavior description: the SOFA experience

WISICT '05 Proceedings of the 4th international symposium on Information and communication technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

Using different specification formalisms together is necessary to leverage better reliability on component-based systems. The ConFract system provides a contracting system for hierarchical software components, but currently, only executable assertions are supported. In this paper, we describe how to integrate other kinds of formalism in ConFract. We propose a domain specific language and integration tools that enable designers to describe the observations needed to appropriately verify their specifications.