MESA: Support for scenario-based design of concurrent systems

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

Volumn 1384, Issue , 1998, Pages 118-135

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

^a UNIVERSITY OF SFAX   (Tunisia)

^b UNIVERSITY OF WATERLOO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

FLOWCHARTING; SYNTACTICS;

CONCURRENT SYSTEMS; DETERMINISTIC BEHAVIOR; MESSAGE SEQUENCE CHARTS; MODEL-BASED ANALYSIS; PARTIAL IMPLEMENTATION; SCENARIO-BASED DESIGN; SOFTWARE DEVELOPMENT CYCLES; SYSTEM MODELS;

SOFTWARE DESIGN;

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

References (22)

1. Telelogic AB. SDT. In G. von Bochmann, R. Dssouli, and O. Rafiq, editors, Participant's Proceedings of the 8th International Conference on Formal Description Techniques FORTE'95, List of tools for demonstrations, page 455, 1995.
2. B. Algayres, Y. Lejeune, F. Hugonment, and F. Hantz. The AVALON project: a validation environment for SDL/MSC descriptions. In O. Faergemand and A. Sarma, editors, Proceedings of the 6th SDL Forum, SDL '93: Using Objects, October 1993.
3. 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.
4. H. Ben-Abdallah and S. Leue. Architecture of a requirements and design tool based on message sequence charts. Technical Report 96-13, Department of Electrical & Computer Engineering, University of Waterloo, October 1996.
5. H. Ben-Abdallah and S. Leue. Syntactic detection of process divergence and nonlocal choice in message sequence charts. In E. Brinksma, editor, Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, Vol. 1217, pages 259-274. Springer Verlag, 1997.
6. H. Ben-Abdallah and S. Leue. Timing constraints in message sequence chart specifications. In T. Mizuno, N. Shiratori, T. Higashino, and A. Togashi, editors, Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII '97, pages 91-106. Chapman & Hall, November 1997.
7. R.J.A. Buhr and C.S. Casselman. Use Case Maps for Object-Oriented Systems. Prentice Hall, 1996.
8. Rational Software Corporation. UML notation guide. Research report, 1997. See also http://www,rational,com/uml.
9. R. Dechter, I. Meiri, and J. Pearl. Temporal constraint networks. Artificial Intelligence, 49:61-95, 1991.
10. Max Planck Institute for Computer Science. LEDA home-page, 1997. URL http://www,mpi-sb,mpg.de/LEDA/leda, html.
11. G. J. Holzman. Design and Validation of Computer Protocols. Prentice-Hall International, 1991.
12. G. J. Holzmann. What's new in SPIN version 2.0. http://netlib.att.com/netlib/spin/index.html, 1996. Version April 17.
13. 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.
14. ITU-T. Recommendation. Z.100: Specification and Description Language (SDL). Geneva, Switzerland, 1993.
15. ITU-T. Recommendation. Z.120, Annex B: Algebraic Semantics of Message Sequence Charts. ITU - Telecommunication Standardization Sector, Geneva, Switzerland, 1995. To appear.
16. ITU-T. Recommendation Z.120. ITU - Telecommunication Standardization Sector, Geneva, Switzerland, May 1996. Review Draft Version.
17. I. Jacobson and et al. Object-Oriented Software Engineering - A Use-case Driven Approach. Addison-Wesley, 1992.
18. P. B. Ladkin and S. Leue. Interpreting Message Flow Graphs. Formal Aspects of Computing, 7(5):473-509, 1995.
19. S. Leue and P. B. Ladkin. Implementing and verifying scenario-based specifications using Promela/XSpin. In J.-C. Grfigoire, G. J. Holzmann, and D. A. Peled, editors, Proceedings of the 2nd Workshop on the SPIN Verification System, Rutgers University, August 5, 1996. American Mathematical Society, DIMACS/32, 1997.
20. NTT Software Corporation, 223-I Yamashita-Cho Naka-Ku, Nakahama-Shi Kanagawa 23I Japan. MuSiC++ Message Sequence Charts: How To Connect with SDL, 1995.
21. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. L orensen. Object-Oriented Modeling and Design. Prentice Hall International, 1991.
22. B. Selic, G. Gullekson, and P.T. Ward. Real-Time Object-Oriented Modelling. John Wiley & Sons, Inc., 1994.