On the Specification of Full Contracts

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

doi:10.1016/j.entcs.2009.09.027

On the Specification of Full Contracts

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

Institut for Datalogi

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

8 Citationer (Scopus)

Abstract

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.

Originalsprog	Engelsk
Titel	Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA2009)
Vol/bind	253
Forlag	Elsevier
Publikationsdato	2009
Sider	39-55
DOI	https://doi.org/10.1016/j.entcs.2009.09.027
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

Konference	Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA2009)
Nummer	6
Land/Område	Storbritannien
By	York, England
Periode	28/03/2009 → …

Navn	Electronic Notes in Theoretical Computer Science
Nummer	253
Vol/bind	1
ISSN	1571-0661

Adgang til dokumentet

10.1016/j.entcs.2009.09.027

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inproceedings{4f0b56e0e65711deabf1000ea68e967b,

title = "On the Specification of Full Contracts",

abstract = "Contracts specify properties of an interface to a software component. We consider the problem of de ninga 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 ComponentModelling Example (CoCoME), proposed as a benchmark to compare dierent component models. Werst give the full speci cation of the use cases in the deontic-based speci cation language CL, and thenwe 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 extendedfor 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 cleardierences in the basic descriptive power of the formalisms.",

author = "Joseph Okika and Ravn, {Anders Peter} and Stephen Fenech and Gordon Pache and Gerardo Schneider",

year = "2009",

doi = "10.1016/j.entcs.2009.09.027",

language = "English",

volume = "253",

series = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

number = "253",

pages = "39--55",

booktitle = "Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA2009)",

address = "United Kingdom",

note = "Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA2009) ; Conference date: 28-03-2009",

}

Okika, J, Ravn, AP, Fenech, S, Pache, G & Schneider, G 2009, On the Specification of Full Contracts. i Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA2009). bind 253, Elsevier, Electronic Notes in Theoretical Computer Science, nr. 253, bind 1, s. 39-55, Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA2009), York, England, Storbritannien, 28/03/2009. https://doi.org/10.1016/j.entcs.2009.09.027

On the Specification of Full Contracts. / Okika, Joseph; Ravn, Anders Peter; Fenech, Stephen et al.
Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA2009). Bind 253 Elsevier, 2009. s. 39-55 (Electronic Notes in Theoretical Computer Science; Nr. 253, Bind 1).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - On the Specification of Full Contracts

AU - Okika, Joseph

AU - Ravn, Anders Peter

AU - Fenech, Stephen

AU - Pache, Gordon

AU - Schneider, Gerardo

N1 - Conference code: 6

PY - 2009

Y1 - 2009

N2 - Contracts specify properties of an interface to a software component. We consider the problem of de ninga 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 ComponentModelling Example (CoCoME), proposed as a benchmark to compare dierent component models. Werst give the full speci cation of the use cases in the deontic-based speci cation language CL, and thenwe 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 extendedfor 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 cleardierences in the basic descriptive power of the formalisms.

AB - Contracts specify properties of an interface to a software component. We consider the problem of de ninga 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 ComponentModelling Example (CoCoME), proposed as a benchmark to compare dierent component models. Werst give the full speci cation of the use cases in the deontic-based speci cation language CL, and thenwe 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 extendedfor 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 cleardierences in the basic descriptive power of the formalisms.

U2 - 10.1016/j.entcs.2009.09.027

DO - 10.1016/j.entcs.2009.09.027

M3 - Article in proceeding

VL - 253

T3 - Electronic Notes in Theoretical Computer Science

SP - 39

EP - 55

BT - Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA2009)

PB - Elsevier

T2 - Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA2009)

Y2 - 28 March 2009

ER -

On the Specification of Full Contracts

Abstract

Konference

Adgang til dokumentet

AUB Link

Fingeraftryk

Citationsformater