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

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. 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. 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. 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. 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. Jacobson, 1992 Rumbaugh, 1999 Z.120 (1996). CCITT message sequence charts (MSC), ITU-T, June 1992. 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. ITU-T (1993). CCITT specification and description language (SDL), ITU-T, June 1994. 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. Mansurov N, Vasura D. Approximation of (H)MSC semantics by event automata. Proceedings of the SAM’2000 Workshop, Grenoble, France, 2000. Leue S, Mehrmann L, Rezai M. Synthesizing ROOM models from message sequence chart specifications. Technical Report 98–06, University of Waterloo, 1998. 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. Probert, 1991, Synthesis of communication protocols: survey and assessment, IEEE Transactions on Computers, 40, 468, 10.1109/12.88466 Tuok, 1998, Formal specification and use case generation for a mobile telephony system, Computer Networks and ISDN Systems, 30, 1045, 10.1016/S0169-7552(97)00140-2 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. Rajala N, Campara D, Mansurov N. InSight reverse engineering CASE tool. Proceedings of the ICSE’99, Los Angeles, USA, 1998. p. 630–3.