A toolset for Message Sequence Charts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1427 LNCS, Issue , 1998, Pages 532-536

  Peled, Doron A ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS;

GRAPHICAL NOTATION; INTERNATIONAL STANDARDS; MESSAGE SEQUENCE CHARTS; TOOLSETS; VERIFICATION RESULTS; VERIFICATION TASK;

FLOWCHARTING;

EID: 23144464216     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0028776     Document Type: Conference Paper

References (9)

1. R. Alur, G.J. Holzmann, D. Peled. An Analyzer for Message Sequence Charts. Software Concepts and Tools, Vol. 17, No. 2, pp. 70-77, 1996.
2. A. Ek, J. Grabowski, D. Hogrefer, R. Jerome, B. Kosh, M. Schmitt, SDL'97, Time for testing: SDL, MSC and Trends, Proceedings of the 8th DSL Forum, Elsevier, France, 23-26, 1997.
3. G.J. Holzmann, Early Fault Detection Tools, Software Concepts and Tools, Vol. 17, No. 2, pp. 63-69, 1996.
4. ITU-T Recommendation Z. 120, Message Sequence Chart (MSC), March 1993.
5. R.P. Kurshan, Computer-Aided Verification, Princeton University Press, 1994.
6. V. Levin, D. Peled. Verification of Message Sequence Charts via Template Matching, TAPSOFT (FASE)'97, Theory and Practice of Software Development, Lille, France. Lecture Notes in Computer Science. Springer, 1997.
7. A. Muscholl, D. Peled, Z. Su, Deciding Properties for Message Sequence Charts, FoSSaCS, Foundations of Software Science and Computation Structures, Lisbon, Portugal.
8. B. Selic, G. Gullekson, P.T. Ward, Real-Time Object-Oriented Modeling, Wiley, 1994.
9. S. Warshall. A theorem on boolean matrices. Journal of the ACM, 9 (1962), pp. 11-12.