DEFINING COMPOSITION OPERATORS FOR OBJECT INTERACTION

Authors
BUTLER S DUKE R
Citation
S. Butler et R. Duke, DEFINING COMPOSITION OPERATORS FOR OBJECT INTERACTION, Object oriented systems, 5(1), 1998, pp. 1-16
Citations number
13
Categorie Soggetti
Computer Science Hardware & Architecture","Computer Science Software Graphycs Programming","Computer Science Theory & Methods","Computer Science Hardware & Architecture","Computer Science Software Graphycs Programming","Computer Science Theory & Methods
Journal title
Object oriented systems → ACNP
ISSN journal
09699767
Volume
5
Issue
1
Year of publication
1998
Pages
1 - 16
Database
ISI
SICI code
0969-9767(1998)5:1<1:DCOFOI>2.0.ZU;2-K
Abstract
Operations in object-oriented systems are often a composition of other operations, defined across multiple objects. The aim of this paper is to formally develop a suite of composition operators for specifying o bject interaction through operation composition. Experience with using Object-Z to design a range of object-oriented systems has suggested t hat four composition operators - conjunction, parallel, choice and seq uential composition - are necessary and, at least for commonly occurri ng architectures, sufficient. In this paper, an abstract model of oper ations in object-oriented systems is first developed and used as the b asis for defining the formal semantics of these composition operators.