Syntactic detection of process divergence and non-local choice in message sequence charts

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

Volumn 1217, Issue , 1997, Pages 259-274

  Ben Abdallah, Hanêne ^a   Leue, Stefan ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; CONCURRENCY CONTROL; SOFTWARE ENGINEERING; SOFTWARE TESTING; SPECIFICATIONS; SYNTACTICS;

ANALYSIS ALGORITHMS; CONCURRENT PROCESS; INTERPROCESS COMMUNICATION; MESSAGE SEQUENCE CHARTS; SIMULATION TRACES; SOFTWARE ENGINEERING METHODOLOGIES; SYSTEM REQUIREMENTS; UNDERSPECIFICATION;

FLOWCHARTING;

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

References (15)

1. R. Alur, G. J. Holzmann, and D. Peled. An analyzer for message sequence charts. In T. Margaria and B. StefFen, editors, Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, Vol. 1055, pages 35-48. Springer Verlag, 1996.
2. A. Aho, J. E. Hopcroft, and J. D. Ullman. The Design and Analysis of Computer Algorithms, chapter 5. Addison-Wesly Publishing Company, 1974.
3. B. Algayres, Y. Lejeune, F. Hugonment, and F. Hantz. The AVALON project: a validation environment for SDL/MSC descriptions. In O. Faergemand and A. S arma, editors, Proceedings of the 6th SDL Forum, SDL’93: Using Objects, October 1993.
4. H. Ben-Abdallah and S. Leue. Syntactic analysis of Message Sequence Chart specifications. Tech Report 96-12, Department of Electrical and Computer Engineering, University of Waterloo, November 1996.
5. G. Booch and J. Rumbaugh. The Unified Method: User Guide Version 0.8. RATIONAL Software Corporation, October 1995.
6. H. Ichikawa, M. Itoh, J. Kato, A. Takura, and M. Shibasaki. SDE: Incremental specification and development of communications software. IEEE Transactions on Computers, 40(4):553-561, Apr. 1991.
7. ITU-T. Recommendation Z. 120, Annex B: Algebraic Semantics of Message Sequence Charts. ITU - Telecommunication Standardization Sector, Geneva, Switzerland, 1995.
8. ITU-T. Recommendation Z. 120. ITU - Telecommunication Standardization Sector, Geneva, Switzerland, May 1996. Review Draft Version.
9. I. Jacobson and et al. Object-Oriented Software Engineering - A Use-case Driven Approach. Addison-Wesley, 1992.
10. S. Leue. Methods and Semantics for Telecommunications Systems Engineering. Doctoral dissertation, University of Berne, Switzerland, December 1994.
11. P. B. Ladkin and S. Leue. Interpreting Message Flow Graphs. Formal Aspects of Computing, 7(5):473-509, 1995.
12. S. Leue and P. B. Ladkin. Implementing and verifying scenario-based specifications using Promela/XSpm. In J. -C. Gregoire, G. J. Holzmann, and A. Peled, editors, Proceedings of the 2nd Workshop on the SPIN Verification System, Rutgers University, August 5, 1996. American Mathematical Society, DIMACS/39, 1997, to appear.
13. P. B. Ladkin and B. B. Simons. Static analysis of communicating processes. To appear, Springer Lecture Notes in Computer Science.
14. S. Mauw and M. A. Reniers. An algbraic semantics of basic message sequence charts. The Computer Journal, 37(4), 1994.
15. B. Selic, G. Gullekson, and P. T. Ward. Real-Time Object-Oriented Modelling. John Wiley & Sons, Inc., 1994.