论文信息 - From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System

From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System

We have developed an approach for generating automatically an SDL specification from an MSC specification and a given target architecture. The approach has been implemented in the MSC2SDL tool. In this paper, we give an overview of our approach and discuss several issues encountered during this research, before applying our approach to the Autonomous Shuttle Transport System and discussing this experience.

Ferhat Khendek | Xiao Jun Zhang

[1] Ferhat Khendek,et al. Time consistency of MSC-2000 specifications , 2003, Comput. Networks.

[2] Nikolai Mansurov,et al. Automatic synthesis of SDL models in use case methodology , 1999, SDL Forum.

[3] Itu-T. Specification and Description Language (SDL) , 1999 .

[4] Rajeev Alur,et al. Inference of Message Sequence Charts , 2003, IEEE Trans. Software Eng..

[5] Rajeev Alur,et al. An Analyser for Mesage Sequence Charts , 1996, TACAS.

[6] Hanêne Ben-Abdallah,et al. Syntactic Analysis of Message Sequence Chart Specifications , 1996 .

[7] Michel A. Reniers,et al. A hierarchy of communication models for Message Sequence Charts , 1997, Sci. Comput. Program..

[8] Peter Grogono,et al. Deriving an SDL specification with a given architecture from a set of MSCs , 1997, SDL Forum.

[9] Mohammad Reza Mousavi,et al. Synthesizing software architecture descriptions from Message Sequence Chart specifications , 1998, Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).

[10] Daniel Amyot,et al. An Evaluation of Scenario Notations and Construction Approaches for Telecommunication Systems Development , 2003, Telecommun. Syst..