Describing interactions between MSC components: The MSC connectors

Computer Networks

Volumn 42, Issue 3, 2003, Pages 323-342

  Graubmann, Peter ^a  

^a SIEMENS AG   (Germany)

Author keywords

Component; Component oriented software development; Compositionality; High level message sequence chart; Interface; Interface protocol; Message sequence chart; MSC connector; Product line; System family engineering

Indexed keywords

FORMAL LANGUAGES; INTERFACES (COMPUTER); PRODUCT DEVELOPMENT; SOFTWARE ENGINEERING; SYSTEMS ENGINEERING;

SYSTEM FAMILY ENGINEERING;

COMPUTER NETWORKS;

EID: 0037947559     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1389-1286(03)00246-9     Document Type: Conference Paper

References (15)

1. Broy M., Krüger I. Interfaces - towards a scientific foundation of a methodological usage of message sequence charts. Staples J., Hinchey M.G., Liu S. Formal Engineering Methods ICFEM'98. 1998;IEEE Computer Society.
2. A. Egyed, N. Metha, N. Medvidovic, 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, 15-17 March 2000.
3. Booch G., Rumbaugh J., Jacobson I. The Unified Modelling Language User Guide. third ed. 1999;Addison-Wesley, Reading, MA.
4. D'Souza D.F., Wills A.C. Objects, Components and Frameworks with UML. The Catalysis Approach. 1999;Addison-Wesley, Reading, MA.
5. Mauw S., Reniers M.A. High level message sequence charts. Cavalli A., Sarma A. SDL'97: Time for Testing - SDL, MSC and Trends, Proceedings of the 8th SDL Forum, Evry, France. 1997;North-Holland, Amsterdam.
6. Rudolph E., Graubmann P., Grabowski J. Message sequence chart: composition techniques versus oo-techniques 'tema con variazioni'. Break R., Sarma A. SDL'95: With MSC in Case, Proceedings of the 7th International SDL Forum, Oslo, Norway. 1995;North-Holland, Amsterdam.
7. R. Milner, Communication and Concurrency, International Series in Computer Science, Prentice-Hall International, Englewood Cliffs, NJ, 1989.
8. ITU-T Recommendation Z.120 (10/96): Message Sequence Chart (MSC), Geneva, 1997. Known as "MSC-96". Superseded (see [9,10]).
9. ITU-T Recommendation Z.120 (11/99): Message Sequence Chart (MSC), Geneva, August 2001. Known as "MSC-2000". See also [10].
10. ITU-T Recommendation Z.120 Corrigendum 1 (12/01): Message Sequence Chart (MSC), Geneva, October 2002. Corrections and modifications to "MSC-2000"
11. Loidl S., Rudolph E., Hinkel U. MSC'96 and beyond - a critical look. Cavalli A., Sarma A. SDL'97: Time for Testing - SDL, MSC and Trends, Proceedings of the 8th SDL Forum, Evry, France. 1997;North-Holland, Amsterdam.
12. P. Graubmann, E. Rudolph, MSC Connectors - The Philosopher's Stone, in: E. Sherratt (Ed.), SAM2002, Aberystwyth, Lecture Notes in Computer Science, vol. 2599, Springer, Berlin, March 2003.
13. P. Graubmann, E. Rudolph, J. Grabowski, Component interface descriptions using HyperMSCs and MSC connectors, IEEE Visual Languages and Formal Methods, Stresa, Italy, 5-7 September, 2001.
14. J.P. Katoen, L. Lambert, Pomsets for message sequence charts, in: Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC (SAM'1998), Berlin, Germany, June 1998.
15. J. Grabowski, P. Graubmann, E. Rudolph, HyperMSCs with connectors for advanced visual system modelling and testing, in: R. Reed, J. Reed (Eds.), SDL 2001: Meeting UML, Proceedings of the 10th International SDL Forum, Copenhagen, Denmark, June 2001, Lecture Notes in Computer Science, vol. 2078, Springer, Berlin, 2001.