Service Specification by Composition of Collaborations--An Example

ABSTRACT

We outline a specification style for reactive services that focuses on UML 2.0 collaborations and activities as reusable specification building blocks. In contrast to traditional component-based approaches, a collaboration directly describes the interactions between the components as well as the internal behavior necessary for a component to take part in it. To compose services from such reusable collaborations, we use events identified as input and output pins on the activities that are connected together. While our approach is formally settled in temporal logic, in this paper we focus on an example specification from the viewpoint of a service engineer.

REFERENCES

• 1: Antoine Beugnard , Jean-Marc Jézéquel , Noël Plouzeau , Damien Watkins, Making Components Contract Aware, Computer, v.32 n.7, p.38-45, July 1999 [doi>10.1109/2.774917]
• 2: [2] R. Bræk and J. Floch. ICT Convergence: Modeling Issues. In D. Amyot and A. W. Williams, editors, SAM'04 - Fourth SDL and MSC Workshop, volume 3319 of Lecture Notes in Computer Science, pages 237-256. Springer, 2004.
• 3: Rolv Bræk , Øystein Haugen, Engineering real time systems: an object-oriented methodology using SDL, Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1994
• 4: Manfred Broy , Ketil Stølen, Specification and development of interactive systems: focus on streams, interfaces, and refinement, Springer-Verlag New York, Inc., Secaucus, NJ, 2001
• 5: Humberto Nicolás Castejón , Rolv Bræk, A collaboration-based approach to service specification and detection of implied scenarios, Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, May 27-27, 2006, Shanghai, China [doi>10.1145/1138953.1138962]
• 6: [6] G. Graw and P. Herrmann. Transformation and Verification of Executable UML Models. Electronic Notes on Theoretical Computer Science, Elsevier Science, 101:3-24, 2004.
• 7: [7] P. Herrmann. Formal Security Policy Verification of Distributed Component-Structured Software. In H. König, M. Heiner, and A. Wolisz, editors, Proceedings of the 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'2003), Berlin, Germany, volume 2767 of Lecture Notes in Computer Science , pages 257-272. Springer-Verlag, September 2003.
• 8: Peter Herrmann , Heiko Krumm, A framework for modeling transfer protocols, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.34 n.2, p.317-337, Aug. 2000 [doi>10.1016/S1389-1286(00)00089-X]
• 9: [9] P. Herrmann and H. Krumm. A Framework for the Hazard Analysis of Chemical Plants. In Proceedings of the 11th IEEE International Symposium on Computer-Aided Control System Design (CACSD'2000), pages 35-41, Anchorage, 2000. IEEE CSS, Omnipress.
• 10: [10] F. A. Kraemer, P. Herrmann, and R. Bræk. Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services. In R. Meersmann and Z. Tari, editors, Proceedings of the 8th International Symposium on Distributed Objects and Applications (DOA), 2006, Montpellier, France, volume 4276 of Lecture Notes in Computer Science, pages 1613-1632. Springer-Verlag Heidelberg.
• 11: [11] L. Lamport. Specifying Systems. Addison-Wesley, 2002.
• 12: [12] Object Management Group. Unified Modeling Language: Superstructure, April 2006.
• 13: Judith E. Y. Rossebo , Rolv Braek, Towards a Framework of Authentication and Authorization Patterns for Ensuring Availability in Service Composition, Proceedings of the First International Conference on Availability, Reliability and Security (ARES'06), p.206-215, April 20-22, 2006 [doi>10.1109/ARES.2006.135]
• 14: [14] R. T. Sanders, H. N. Castejón, F. A. Kraemer, and R. Bræk. Using UML 2.0 Collaborations for Compositional Service Specification. In ACM / IEEE 8th International Conference on Model Driven Engineering Languages and Systems, 2005.
• 15: Chris A. Vissers , Giuseppe Scollo , Marten van Sinderen , Ed Brinksma, Specification styles in distributed systems design and verification, Theoretical Computer Science, v.89 n.1, p.179-206, Oct. 21, 1991
• 16: Yuan Yu , Panagiotis Manolios , Leslie Lamport, Model Checking TLA+ Specifications, Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, p.54-66, September 27-29, 1999

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications
          Subjects: Methodologies (e.g., object-oriented, structured)

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: UML

  H. Information Systems
  H.3 INFORMATION STORAGE AND RETRIEVAL
      H.3.5 On-line Information Services
          Subjects: Web-based services

General Terms:
Design