Skip to main content
SpringerLink
Log in

Realizability of Service Specifications

  • Conference paper
  • First Online:
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering (SAM 2018)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 11150))

Included in the following conference series:

Abstract

This paper considers a global requirements model in the form of partially ordered actions of UML collaborations, or a high-level MSC (UML interaction sequences), and then studies the derivation of a distributed design model which may include coordination messages exchanged between the different system components. Different problems for the direct realization (without coordination messages) of a design model for special cases of alternatives followed by strict or weak sequence are discussed and solutions provided. Then the case of a weak while loop is considered. While previous work proposes the addition of sequence numbers in the involved messages, we show that in most cases such sequence numbers are not required. We consider message FIFO transmission or without order, and identify two potential problems: loop termination race, and message overtaking. A proposition is given which states under which conditions the directly realized distributed design model does not have these problems and therefore does not need additional sequence numbers. Another proposition provides certain modifications (including the addition of sequence numbers) that can be applied to the design model when these problems are present, and such that the resulting design model conforms to the requirements. These results can be viewed as an improvement of the previous work in [1] by minimizing the number of additional sequence numbers that must be included in the messages of a weak while loop collaboration.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. von Bochmann, G.: Deriving component designs from global requirements. In: CEUR Workshop Proceedings, vol. 503, pp. 55–69 (2008)

    Google Scholar 

  2. Ben-Abdallah, H., Leue, S.: Syntactic detection of process divergence and non-local choice in message sequence charts. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol. 1217, pp. 259–274. Springer, Heidelberg (1997). https://doi.org/10.1007/BFb0035393

    Chapter  Google Scholar 

  3. Mooij, A.J., Goga, N., Romijn, J.M.T.: Non-local choice and beyond: intricacies of MSC choice nodes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 273–288. Springer, Heidelberg (2005). https://doi.org/10.1007/978-3-540-31984-9_21

    Chapter  Google Scholar 

  4. Alur, R., Holzmann, G.J., Peled, D.: An analyzer for message sequence charts. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol. 1055, pp. 35–48. Springer, Heidelberg (1996). https://doi.org/10.1007/3-540-61042-1_37

    Chapter  Google Scholar 

  5. ITU-TS, Recommendation Z.120 (02/11), Message Sequence Chart (MSC). ITU, Geneva. Technical report (2011)

    Google Scholar 

  6. Castejón, H.N., Bræk, R.: Formalizing collaboration goal sequences for service choreography. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 275–291. Springer, Heidelberg (2006). https://doi.org/10.1007/11888116_21

    Chapter  MATH  Google Scholar 

  7. Castejon, H.N., Braek, R., von Bochmann, G.: Realizability of collaboration-based service specifications. In: Proceedings - Asia-Pacific Software Engineering Conference, APSEC, pp. 73–80 (2007)

    Google Scholar 

  8. Castejón, H.N., von Bochmann, G., Bræk, R.: On the realizability of collaborative services. Softw. Syst. Model. 12(3), 597–617 (2013)

    Article  Google Scholar 

  9. Israr, T., von Bochmann, G.: Performance modeling of distributed collaboration services. In: ICPE 2011-Proceedings of the 2nd Joint WOSP/SIPEW International Conference on Performance Engineering, January 2011, pp. 475–480 (2011)

    Google Scholar 

  10. Hélouët, L.: Some pathological message sequence charts, and how to detect them. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol. 2078, pp. 348–364. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-48213-X_22

    Chapter  Google Scholar 

  11. Object Managment Group: UML 2.5.1 specification. Technical report (2017)

    Google Scholar 

  12. Khendek, F., von Bochmann, G., Kant, C.: New results on deriving protocol specifications from service specifications. In: Proceedings of the ACM SIGCOMM 1989, pp. 136–145 (1989)

    Article  Google Scholar 

  13. Gotzhein, R., von Bochmann, G.: Deriving protocol specifications from service specifications including parameters. ACM Trans. Comput. Syst. 8(4), 255–283 (1990)

    Article  Google Scholar 

  14. Mustafa, N.M.F., von Bochmann, G.: Transforming dynamic behavior specifications from activity diagrams to BPEL. In: Proceedings of the 6th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2011, pp. 305–311 (2011)

    Google Scholar 

  15. Pratt, V.: Modeling concurrency with partial orders. Int. J. Parallel Program. 15(1), 33–71 (1986)

    Article  MathSciNet  Google Scholar 

  16. Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558–565 (1978)

    Article  Google Scholar 

  17. Katoen, J.P., Lambert, L.: Pomsets for message sequence charts. In: Proceeding of First Workshop SDL and MSC (SAM 1998), pp. 197–208 (1998)

    Google Scholar 

  18. Gischer, J.L.: The equational theory of pomsets. Theor. Comput. Sci. 61(2–3), 199–224 (1988)

    Article  MathSciNet  Google Scholar 

  19. von Bochmann, G.: Associativity between weak and strict sequencing. In: Amyot, D., Fonseca i Casas, P., Mussbacher, G. (eds.) SAM 2014. LNCS, vol. 8769, pp. 96–109. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11743-0_7

    Chapter  Google Scholar 

  20. Mooij, A., Romijn, J., Wesselink, W.: Realizability criteria for compositional MSC. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol. 4019, pp. 248–262. Springer, Heidelberg (2006). https://doi.org/10.1007/11784180_20

    Chapter  Google Scholar 

  21. Hélouët, L., Jard, C.: Conditions for synthesis of communicating automata from HMSCs. In: Proceedings of 5th International Workshop on Formal Methods for Industrial Critical Systems, March 2000

    Google Scholar 

  22. Alur, R., Etessami, K., Yannakakis, M.: Realizability and verification of MSC graphs. Theor. Comput. Sci. 331(1), 97–114 (2005)

    Article  MathSciNet  Google Scholar 

  23. Alur, R., Etessami, K., Yannakakis, M.: Inference of message sequence charts. IEEE Trans. Softw. Eng. 29(7), 623–633 (2003)

    Article  Google Scholar 

  24. Baudru, N., Morin, R.: Safe implementability of regular message sequence chart specifications. In: ACIS 4th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2003) (2003)

    Google Scholar 

  25. Genest, B., Muscholl, A., Seidl, H., Zeitoun, M.: Infinite-state high-level MSCs: model-checking and realizability. J. Comput. Syst. Sci. 72(4), 617–647 (2006)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Electrical Engineering and Computer Science (EECS), University of Ottawa, Ottawa, ON, Canada

    Mohammad F. Al-hammouri & Gregor von Bochmann

Authors
  1. Mohammad F. Al-hammouri
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gregor von Bochmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mohammad F. Al-hammouri .

Editor information

Editors and Affiliations

  1. Concordia University, Montreal, QC, Canada

    Ferhat Khendek

  2. University of Kaiserslautern, Kaiserslautern, Germany

    Reinhard Gotzhein

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Al-hammouri, M.F., Bochmann, G.v. (2018). Realizability of Service Specifications. In: Khendek, F., Gotzhein, R. (eds) System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering. SAM 2018. Lecture Notes in Computer Science(), vol 11150. Springer, Cham. https://doi.org/10.1007/978-3-030-01042-3_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-01042-3_8

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-01041-6

  • Online ISBN: 978-3-030-01042-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation