Realizability of Collaboration-based Service Specifications

8 years 7 months ago
Realizability of Collaboration-based Service Specifications
This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: given a global specification, can we construct a set of communicating state machines whose joint behavior is precisely the specified one? We approach the problem by looking at how collaboration behaviors may be composed using UML activity diagrams. We classify realizability problems from the point of view of each composition operator, and discuss their nature and possible solutions. This brings a new look at already known problems: we show that given some conditions, some problems can already be detected at an abstract collaboration level, without needing to look into detailed interactions.
Humberto Nicolás Castejón, Rolv Br&a
Added 12 Aug 2010
Updated 12 Aug 2010
Type Conference
Year 2007
Authors Humberto Nicolás Castejón, Rolv Bræk, Gregor von Bochmann
Comments (0)