Abstract
Experiences with the use of the MSC language for complex system specifications have shown that certain extensions are necessary in order to arrive at sufficiently transparent and manageable descriptions. Extended HMSCs, where MSC reference symbols may either be presented by hypertext-like descriptions or, in an expanded form, as detailed MSCs, appear to be especially suitable for a compact and transparent MSC representation. For an effective usage of such advanced MSC constructs, a corresponding tool support seems to be mandatory where interactively the event structures of special paths can explicitly be expanded while others remain hidden as MSC references that contain solely textual descriptions. The name ‘HyperMSCs’ is proposed for such extended HMSCs. Beyond that, the communication between MSC references, operator expressions or HMSCs demands a generalisation of the gate concept. For that purpose, the introduction of MSC connectors denoting logical connections is suggested. MSC connectors may be expanded similar to MSC references. HyperMSCs enhanced by MSC connectors also provide a means for a selected visualisation of large MSCs in an interactive manner where, depending on the current selection, some parts are exhibited in full detail whereas other parts are presented in an abbreviated form. The same concepts may be applied for system modelling based on stepwise refinement starting with HyperMSCs, decomposed instances and MSC connector communication and for system testing.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
F. Belina, D. Hogrefe, A. Sarma: SDL with Applications from Protocol Specification. Prentice Hall, 1991.
G. Booch, J. Rumbaugh, I. Jacobson: The Unified Modelling Language User Guide. Addison-Wesley, 1999, 3rd edition.
D.F. D’Souza, A. C. Wills: Objects, Components and Frameworks with UML. The Catalysis Approach. Addison-Wesley, 1999.
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.
J. Grabowski, A. Wiles, C. Willcock, D. Hogrefe. On the Design of the new Testing Language TTCN-3. In: Testing of Communicating Systems-Tools and Techniques (H. Ural, R.L. Probert, G. von Bochmann, editors), Kluwer Academic Publishers, August 2000.
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, R. Wasgint: Methods for Interface Annotations and Component Selection. SAG-WP2-0106-16, ESAPS internal report, 2001.
I. Krüger: Distributed System Design with Message Sequence Charts, PhD Thesis, Technische Universität Müunchen, 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 and A. Sarma editors), North Holland, September 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, September 1997.
N. Mehta, N. Medvidovic, S. Phadke: Towards a Taxonomy of Software Connectors. University of Southern California, Center of Software Engineering, Technical Report 99-529, 1999.
E. Rudolph: Putting Extended MSC-2000 to Practice, Contribution to the ITU-SG 10 Meeting, Geneva, November 1999.
E. Rudolph: Advanced MSC-A Unifying Modeling Language for the Next Millennium, Contribution to the ITU-SG10 Meeting, Geneva, November 1999.
E. Rudolph, J. Grabowski, P. Graubmann: Towards a Harmonization of UMLSequence Diagrams and MSC. In: SDL’99-The Next Millennium, Proceedings of the 9th SDL Forum in Montréal, Québec, Canada (R. Dssouli, G.V. Bochmann, Y. Lahav, editors), Elsevier Science B.V., Amsterdam, 1999.
E. Rudolph, J. Grabowski, P. Graubmann: Tutorial on Message Sequence Charts (MSC-96). Forte/PSTV’96. Kaiserslautern, Germany, October 1996.
E. Rudolph, I. Schieferdecker, J. Grabowski: Development of an Message Sequence Chart/UML Test Format. In: Proceedings of FBT’2000-Formale Beschreibungstechniken fürverteilte Systeme, Lübeck, Germany (J. Grabowski, S. Heymer, editors). Shaker-Verlag, Aachen, 2000.
E. Rudolph, I. Schieferdecker, J. Grabowski: HyperMSC-A Graphical Representation of TTCN. Proceedings of the 2nd Workshop of the SDL Forum Society on SDL and MSC (SAM’2000), Grenoble, France, June, 26-28, 2000.
ETSI TC MTS: TTCN-3-Core Language. European Norm EN00063-1 (provisional) [2]., 2000.
ETSI TC MTS: TTCN-3-Graphical Presentation Format. European Norm EN00063-3 (provisional), 2000.
ETSI TC MTS: TTCN-3-Tabular Presentation Format. European Norm EN00063-2 (provisional), 2000.
ITU-T Rec. Z.120 (MSC-96): Message Sequence Chart (MSC)., Geneva, 1996.
ITU-T Rec. Z.120 (MSC-2000): Message Sequence Chart (MSC)., Geneva, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grabowski, J., Graubmann, P., Rudolph, E. (2001). HyperMSCs with Connectors for Advanced Visual System Modelling and Testing. In: Reed, R., Reed, J. (eds) SDL 2001: Meeting UML. SDL 2001. Lecture Notes in Computer Science, vol 2078. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48213-X_9
Download citation
DOI: https://doi.org/10.1007/3-540-48213-X_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42281-5
Online ISBN: 978-3-540-48213-0
eBook Packages: Springer Book Archive