论文信息 - New results on deriving SDL specifications from MSCs

New results on deriving SDL specifications from MSCs

We have developed an approach for the derivation of SDL specifications from MSCs. The architecture of the target system is given with the MSCs as input to the derivation algorithm. In this paper, we report on new results on this derivation and the MSC2SDL tool, which has been interfaced with a commercial tool. We report on new issues related to multiple instances of a process, multiple instances of a message from different processes, SDL process identifiers, addressing schemes as well as the MSCs implementability issue and its implementation.

[1] Ferhat Khendek,et al. New results on deriving protocol specifications from service specifications , 1989, SIGCOMM 1989.

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

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

[4] Gerard J. Holzmann,et al. Design and validation of computer protocols , 1991 .

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