Skip to main content

MSC Connectors - The Philosopher’s Stone

  • Conference paper
  • First Online:
Telecommunications and beyond: The BroaderApplicability of SDL and MSC (SAM 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2599))

Included in the following conference series:

Abstract

Component oriented modelling by means of Message Sequence Charts requires new language constructs for an adequate description of the component communication. The communication between parts of a system, i.e., its components, follows interaction patterns which are expressed in the component oriented world as software connectors. The employment of MSCs for the description of both, connectors and components, has turned out to be a very promising concept. In analogy to decomposed instances, MSC connectors may be viewed also as High Level messages for the refinement of the communication behaviour, a construct which is still missing in the MSC language. The communication of MSC components via MSC connectors is suitably defined by means of the matching of component and connector interface descriptions, thereby, employing a partitioning of the component environment description. The matching procedure between MSC components and MSC connectors can be described by means of a partial order semantics.

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

Access this chapter

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 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. Baker, E. Rudolph, I. Schieferdecker: Graphical Test Specification — The Graphical Format of TTCN-3. SDL 2001: Meeting UML, Proceedings of the 10th International SDL Forum, Copenhagen, Denmark, June 2001(Rick and Jeanne Reed, editors), Springer, LNCS 2078, 2001.

    Google Scholar 

  2. M. Broy, I. Krüger: Interfaces — Towards a Scientific Foundation of a Methodological usage of Message Sequence Charts. In: Formal Engineering Methods ICFEM’98 (J. Staples, M.G. Hinchey, Shaoying Liu, editors), IEEE Computer Society, 1998.

    Google Scholar 

  3. A. Egyed, N. Metha, N. Medvidovi: Software Connectors and Refinement in Family Architectures. In: Proceedings of the 3rd International Workshop on Software Architectures for Product Families, Las Palmas de Gran Canaria, Spain, March 15-17, 2000.

    Google Scholar 

  4. A. Engels: Message Refinement-Describing Multi-level Protocols in MSC. In: Proceedings of the 1st SAM Workshop (Y. Lahav, A. Wolisz, J. Fischer, E. Holz, editors), Berlin, June 1998, Informatik-Bericht Nr. 104, Humboldt-Universität Berlin.

    Google Scholar 

  5. J. Grabowski, P. Graubmann, E. Rudolph: HyperMSCs with Connectors for Advanced Visual System Modelling and Testing. In: SDL 2001: Meeting UML, Proceedings of the 10th International SDL Forum, Copenhagen, Denmark, June 2001 (Rick and Jeanne Reed, editors), Springer, LNCS 2078, 2001.

    Google Scholar 

  6. P. Graubmann, E. Rudolph: HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing. In: UML2000, 3rd International Conference on The Unified Modeling Language (A. Evans, S. Kent, B. Selic, editors), 02-06 October, 2000, York, UK, Springer 2000.

    Google Scholar 

  7. P. Graubmann, E. Rudolph, J. Grabowski: Component Interface Descriptions using HyperMSCs and MSC Connectors. IEEE Visual Languages and Formal Methods, Stresa, Italy, September 5-7, 2001.

    Google Scholar 

  8. J. P. Katoen, L. Lambert: Pomsets for Message Sequence Charts. Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC (SAM’1998), Berlin, Germany, June, 1998.

    Google Scholar 

  9. I. Krüger: Distributed System Design with Message Sequence Charts, PhD Thesis, Techn. Universität München, 2000.

    Google Scholar 

  10. S. Loidl, E. Rudolph, U. Hinkel: MSC’96 and Beyond-a Critical Look. In SDL’97 Time for Testing-SDL, MSC and Trends, Proceedings of the 8th SDL Forum in Evry, France (A. Cavalli, A. Sarma, editors), North Holland, Sept. 1997.

    Google Scholar 

  11. S. Mauw, M. A. Reniers: High Level Message Sequence Charts. In: SDL’97-Time for Testing-SDL, MSC and Trends, Proceedings of the 8th SDL Forum in Evry, France (A. Cavalli, A. Sarma, editors), North Holland, Sept. 1997.

    Google Scholar 

  12. R. Milner: Communication and Concurrency, International Series in Computer Science, Prentice-Hall International, 1989

    Google Scholar 

  13. M. A. Reniers: Message Sequence Chart: Syntax and Semantics. PhD Thesis, Eindhoven Univ. of Technology, 1999.

    Google Scholar 

  14. E. Rudolph, P. Graubmann, J. Grabowski: Message Sequence Chart: Composition Techniques versus OO-Techniques ‘Tema con Variazioni’. In: SDL’95:with MSC in Case, Proceedings of the 7th International SDL Forum, Oslo, Norway (R. Break and A. Sarma, editors), North Holland, 1995

    Google Scholar 

  15. ITU-T Rec. Z.120 (MSC-96): Message Sequence Chart (MSC). (E. Rudolph, editor), Geneva, 1996.

    Google Scholar 

  16. ITU-T Rec. Z.120 (MSC-2000): Message Sequence Chart (MSC). (O. Haugen, editor), Geneva, 1999.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Graubmann, P., Rudolph, E. (2003). MSC Connectors - The Philosopher’s Stone. In: Sherratt, E. (eds) Telecommunications and beyond: The BroaderApplicability of SDL and MSC. SAM 2002. Lecture Notes in Computer Science, vol 2599. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36573-7_13

Download citation

  • DOI: https://doi.org/10.1007/3-540-36573-7_13

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00877-4

  • Online ISBN: 978-3-540-36573-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics