Software & Systems Modeling

, Volume 12, Issue 3, pp 597–617

On the realizability of collaborative services

  • Humberto Nicolás Castejón
  • Gregor von Bochmann
  • Rolv Bræk
Regular Paper

DOI: 10.1007/s10270-011-0216-x

Cite this article as:
Castejón, H.N., von Bochmann, G. & Bræk, R. Softw Syst Model (2013) 12: 597. doi:10.1007/s10270-011-0216-x

Abstract

This paper considers compositional specifications of services using UML 2 collaborations, activity and interaction diagrams, and addresses the realizability problem for such specifications: given a global specification, can we construct a set of communicating system components whose joint behavior is precisely the specified global behavior? We approach the problem by looking at how the sequencing of collaborations and local actions may be described using UML activity diagrams. We identify the realizability problems for each of the sequencing operators, such as strong and weak sequence, choice of alternatives, loops, and concurrency. The nature of these realizability problems and possible solutions are discussed. This brings a new look at already known problems: we show that given some conditions, certain problems can already be detected at an abstract level, without looking at the detailed interactions of the collaborations, provided that we know the components that initiate and terminate the different collaborations.

Keywords

Service composition Compositional specification of collaborations Realizability of distributed implementations Distributed system design Design guidelines Deriving component behavior from global specifications Workflow for collaborations UML activity diagrams Service oriented architecture 

Copyright information

© Springer-Verlag 2011

Authors and Affiliations

  • Humberto Nicolás Castejón
    • 1
    • 3
  • Gregor von Bochmann
    • 2
  • Rolv Bræk
    • 3
  1. 1.Telenor ASATrandheimNorway
  2. 2.School of Information Technology and Engineering (SITE)University of OttawaOttawaCanada
  3. 3.Department of TelematicsNorwegian University of Science and TechnologyTrondheimNorway

Personalised recommendations