Object-oriented speci cation ofcoordinated collaborationG

Object-oriented speciication mechanisms have become famous for modelling structure and behaviour together in terms of autonomous objects communicating via message passing. However, whereas most object-oriented speciication methods are strong in modelling the local behaviour of single objects, they fall short on modelling the coordinated behaviour and collaboration of several objects together. The aim of this paper is to contribute to ll this gap. The paper reports on concepts, language constructs, and experiences with three collaboration formalisms in the area of object-oriented speciications.

[1]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[2]  Gerald W. Both,et al.  Object-oriented analysis and design with applications , 1994 .

[3]  Roland Sauerbrey,et al.  Biography , 1992, Ann. Pure Appl. Log..

[4]  Gregor Engels,et al.  SOCCA: Specifications of Coordinated and Cooperative Activities , 1994 .

[5]  David W. Embley,et al.  Object-oriented systems analysis - a model-driven approach , 1991, Yourdon Press Computing series.

[6]  Gerti Kappel,et al.  Object-Oriented System Development: Will the New Approach Solve Old Problems? , 1994, IFIP Congress.

[7]  Michael Schrefl,et al.  Object/behavior diagrams , 1991, [1991] Proceedings. Seventh International Conference on Data Engineering.

[8]  Michael Schrefl,et al.  Cooperation Contracts , 1991, ER.

[9]  Bent Bruun Kristensen,et al.  Activities: Abstractions for Collective Behavior , 1996, ECOOP.