Distributed system requirement modeling with message sequence charts: The case of the RMTP2 protocol

Information and Software Technology

Volumn 45, Issue 11, 2003, Pages 701-714

  Hélouët, Loïc ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

Message sequence charts; Real time; Requirement modeling

Indexed keywords

COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; MULTICASTING; REAL TIME SYSTEMS;

MESSAGE SEQUENCES;

INFORMATION TECHNOLOGY;

EID: 0042388558     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(03)00067-3     Document Type: Conference Paper

References (13)

1. Rudolph E., Graubmann P., Grabowski J. Tutorial on message sequence charts. Computer networks and ISDN systems. 28:(12):1996;1629-1641.
2. ITU T, Z.120: Message sequence charts (MSC), November 1999.
3. I. Kruger, Distributed system design with message sequence charts, PhD thesis, Technische Universität München, 2000.
4. E. Rudolph, Putting extended MSC-2000 to practice: specification of the inres connection establishment using extended MSC-2000, Draft-Technical Report.
5. 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 Eighth SDL Forum. 1997;213-227 Elsevier, Evry, France.
6. H. Ben-Abdallah, S. Leue, Expressing and analyzing timing constraints in message sequence charts, Technical Report 97-04, Department of Electrical and Computer Engineering, University of Waterloo, April 1997.
7. Hélouët L. Some pathological message sequence charts and how to detect them. Reed R., Reed J. Proceedings of SDL-Forum : Meeting UML, no. 2078 in LNCS. 2001;348-364.
8. T. Montgomery, B. Whetten, M. Basavaiah, S. Paul, N. Rastogi, J. Conlan, T. Yeh, The RMTP2 protocol Ietf draft, IETF (Internet Engineering Task Force), April 1998.
9. H. Neukirchen, Real-time extensions to MSC-2000 and TTCN-3, Tech rep., INTERVAL Project, http://www-intervalimag.fr/News/Slides_workshop_june_01/interestgroup_msc_ttcn. pdf , June 2001.
10. E. Gunter, A. Muscholl, Compositionnal message sequence charts, in Proceedings of TACAS'01 no. 2031 in LNCS, 2001, pp. 496-511.
11. Mauw S., Reniers M. High level message sequence charts. Cavalli A., Sarma A. SDL'97: Time for Testing - SDL, MSC and Trends, Proceedings of the Eighth SDL Forum. 1997;291-306 Elsevier, Amsterdam.
12. J. Katoen, L. Lambert, Pomsets for message sequence charts, in: Proceedings of SAM98: First conference on SDL and MSC, Berlin, 1998, pp. 281-290.
13. R. Alur, G. Holzmann, D. Peled, An analyzer for message sequence charts, in: TACAS'96, Tools and Algorithms for the Construction and Analysis of Systems, no. 1055 in LNCS, Springer-Verlag, 1996, pp. 35-48.