Contracts specify properties of an interface to a software component. We consider the problem of de ning
a full contract that speci es not only the normal behaviour, but also special cases and tolerated exceptions.
In this paper we focus on the behavioural properties of use cases taken from the Common Component
Modelling Example (CoCoME), proposed as a benchmark to compare di
erent component models. We
rst give the full speci cation of the use cases in the deontic-based speci cation language CL, and then
we concentrate on three particular properties in order to compare deontic and operational speci cations.
We conjecture that operational speci cations are well suited for normal cases, but are less easily extended
for exceptional cases. This hypothesis is investigated by comparing speci cations in CSP (operational)
with speci cations in CL. The outcome of the experiment supports the conjecture and demonstrates clear
erences in the basic descriptive power of the formalisms.
|Titel||Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA2009)|
|Status||Udgivet - 2009|
|Begivenhed||Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA2009) - York, England, Storbritannien|
Varighed: 28 mar. 2009 → …
Konferencens nummer: 6
|Konference||Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA2009)|
|Periode||28/03/2009 → …|
|Navn||Electronic Notes in Theoretical Computer Science|