2006 | OriginalPaper | Chapter
Enforcing Different Contracts in Hierarchical Component-Based Systems
Authors : Philippe Collet, Alain Ozanne, Nicolas Rivierre
Published in: Software Composition
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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 TLA, taken as an instance of behavioral sequence-based formalism, was integrated in
ConFract
. A domain specific language is proposed in order to enable designers to describe the observations needed to appropriately verify their specifications. These observations are automatically generated for assertions and in the case of TLA, we show what kind of observations must be provided to link the specifications to the concrete application.