Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering

Computer Languages

Volumn 27, Issue 1-3, 2001, Pages 115-136

  Mansurov, Nikolai ^a,b  

^a INSTITUTE FOR SYSTEM PROGRAMMING   (Russian Federation)

^b KLOCwork   (Canada)

Author keywords

Formal specifications; Forward engineering; MSC; Requirements engineering; Reverse engineering; Scenarios; SDL; Synthesis of programs; Use cases

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; REVERSE ENGINEERING;

AUTOMATIC SYNTHESIS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0035297944     PISSN: 00960551     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0096-0551(01)00018-2     Document Type: Article

References (18)

1. Probert R, Mansurov N. Improving time-to-market using SDL tools and techniques (tutorial). Proceedings of the Ninth SDL Forum, Montreal, Canada, June 21-26, 1999.
2. Holzmann G. Formal methods for early fault detection. Invited Paper in Fourth International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, Uppsala, Sweden, September 1996.
3. Mansurov N, Zhukov D. Automatic synthesis of SDL models in use case methodology. In: Dssouli RV. Bochmann G, Lahav Y, editors. Proceedings of the Ninth SDL Forum, Montreal, Canada, June 21-26. North-Holland: Elsevier Science Publishers, 1999. pp. 225-240.
4. Holzmann G, Smith MH. A practical method for the verification of event-driven software. Proceedings of the ICSE'99, Los Angeles, CA, USA, May 1999. p. 597-607.
5. Mansurov N, Probert R. Dynamic scenario-based approach to re-engineering of legacy telecommunication software. In: Dssouli RV. Bochmann G, Lahav Y, editors. Proceedings of the 9th SDL Forum, Montreal, Canada, June 21-26. North-Holland: Elsevier Science Publishers, 1999.
6. Jacobson I, Christerson M, Jonsson P, Overgaard G. Object-oriented software engineering: a use case driven approach. Reading, MA: Addison-Wesley, 1992.
7. Rumbaugh J, Jacobson I, Booch G. The Unified Modeling Language reference manual. Reading, MA: Addison-Wesley, 1999.
8. Z.120 (1996). CCITT message sequence charts (MSC), ITU-T, June 1992.
9. Mansurov N, Laskavaya E, Ragozin A, Chernov A. On one approach to using SDL-92 and MSC for reverse engineering. In: Ivannikov V. editor. Voprosy kibernetiki: system programming applications, Vol. 3. Moscow, 1997 (in Russian). Institute for System Programming, Russian Academy of Sciences.
10. ITU-T (1993). CCITT specification and description language (SDL), ITU-T, June 1994.
11. Engels AG, Feijs LMG, Mauw S. MSC and data: dynamic variables. In: Proceedings of the Ninth SDL Forum, Montreal, Canada, June 21-26. North-Holland: Elsevier Science Publishers, 1999.
12. Mansurov N, Vasura D. Approximation of (H)MSC semantics by event automata. Proceedings of the SAM'2000 Workshop, Grenoble, France, 2000.
13. Leue S, Mehrmann L, Rezai M. Synthesizing ROOM models from message sequence chart specifications. Technical Report 98-06, University of Waterloo, 1998.
14. Robert G, Khendek F, Grogono P. Deriving an SDL specification with a given architecture from a set of MSCs. In: Proceedings of the Eighth SDL Forum, Evry, France, 23-26 September. North-Holland: Elsevier Science Publishers, 1997. p. 197-212.
15. Probert R, Saleh K. Synthesis of communication protocols: survey and assessment. IEEE Transactions on Computers 1991;40(4):468-75.
16. Tuok R, Logrippo L. Formal specification and use case generation for a mobile telephony system. Computer Networks and ISDN Systems 1998;30:1045-63.
17. Some S, Dssouli R, Vaucher J. From scenarios to timed automata: building specifications from user requirements. Proceedings of the Second Asia Pacific Software Engineering Conference, IEEE, December 1995.
18. Rajala N, Campara D, Mansurov N. InSight reverse engineering CASE tool. Proceedings of the ICSE'99, Los Angeles, USA, 1998. p. 630-3.