On the Specification of Full Contracts

Joseph Okika, Anders Peter Ravn, Stephen Fenech, Gordon Pache, Gerardo Schneider

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

6 Citationer (Scopus)

Abstrakt

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

di
erences in the basic descriptive power of the formalisms.

OriginalsprogEngelsk
TitelProceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA2009)
Vol/bind253
ForlagElsevier
Publikationsdato2009
Sider39-55
DOI
StatusUdgivet - 2009
BegivenhedSixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA2009) - York, England, Storbritannien
Varighed: 28 mar. 2009 → …
Konferencens nummer: 6

Konference

KonferenceSixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA2009)
Nummer6
LandStorbritannien
ByYork, England
Periode28/03/2009 → …
NavnElectronic Notes in Theoretical Computer Science
Nummer253
Vol/bind1
ISSN1571-0661

Fingeraftryk Dyk ned i forskningsemnerne om 'On the Specification of Full Contracts'. Sammen danner de et unikt fingeraftryk.

Citationsformater