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.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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.
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.
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.
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.
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.
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.
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.
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.
I. Krüger: Distributed System Design with Message Sequence Charts, PhD Thesis, Techn. Universität München, 2000.
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.
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.
R. Milner: Communication and Concurrency, International Series in Computer Science, Prentice-Hall International, 1989
M. A. Reniers: Message Sequence Chart: Syntax and Semantics. PhD Thesis, Eindhoven Univ. of Technology, 1999.
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
ITU-T Rec. Z.120 (MSC-96): Message Sequence Chart (MSC). (E. Rudolph, editor), Geneva, 1996.
ITU-T Rec. Z.120 (MSC-2000): Message Sequence Chart (MSC). (O. Haugen, editor), Geneva, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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