Skip to main content
SpringerLink
Log in

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

  • Conference paper
Scenarios: Models, Transformations and Tools

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3466))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abdalla, M.M., Khendek, F., Butler, G.: New Results on Deriving SDL Specification from MSCs. In: Proceedings of SDL Forum 1999, Montreal, Canada, June 22-25 (1999)

    Google Scholar 

  2. Alur, R., Etessami, K., Yannakakis, M.: Inference of Message Sequence Charts. IEEE Transactions on Software Engineering 29(7), 623–633 (2003)

    Article  Google Scholar 

  3. Alur, R., Holzmann, G.J., Peled, D.A.: An Analyzer for Message Sequence Charts. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol. 1055, pp. 35–48. Springer, Heidelberg (1996)

    Google Scholar 

  4. Amyot, D., Eberlein, A.: An Evaluation of Scenario Notations and Construction Approaches for Telecommunication Systems Development. Telecommunications Systems Journal 24(1), 61–94 (2003)

    Article  Google Scholar 

  5. Ben-Abdallah, H., Leue, S.: Syntactic Analysis of Message Sequence Chart Specifications., Technical Report 96-12, University of Waterloo, Electrical and Computer Engineering (November 1996)

    Google Scholar 

  6. Engels, G., Mauw, S., Reniers, M.A.: A hierarchy of communication models for Message Sequence Charts. Science of Computer Programming 44(3), 253–292 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  7. Hélouët, L., Jard, C.: Conditions for synthesis of communicating automata from HMSCs. In: 5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Berlin, April 3-4 (2000)

    Google Scholar 

  8. http://wwwcs.upb.de/cs/ag-schaefer/CaseStudies/ShuttleSystem/

  9. http://www.dagstuhl.de/03371/

  10. ITU-T, Recommendation Z.120 - Message Sequence Charts (MSC 1996) (1996)

    Google Scholar 

  11. ITU-T, Recommendation Z.120 -Message Sequence Charts (MSC-2000) (November 1999)

    Google Scholar 

  12. ITU-T, Recommendation Z.100-Specification and Description Language (SDL-2000) (November 1999)

    Google Scholar 

  13. Khendek, F., Gabriel, R., Butler, G., Grogono, P.: Implementability of Message Sequence Charts. In: Proceeedings of the first SDL Forum Society Workshop on SDL and MSC, Berlin, Germany, June 29 - July 1 (1998)

    Google Scholar 

  14. Leue, S., Mehrmann, L., Rezai, M.: Synthesizing ROOM Models from Message Sequence Charts Specifications., Technical Report 98-06, University of Waterloo, Canada (1998); Also in proceedings of the 13th IEEE Conference on Automated Software Engineering, Honolulu, Hawaii (October 1998)

    Google Scholar 

  15. Mansurov, N., Zhukov, D.: Automatic Synthesis of SDL models in Use Case methodology. In: Proceedings of SDL Forum 1999, Montreal, Canada, June 22-25 (1999)

    Google Scholar 

  16. ObjectGeode, Verilog, Toulouse, France (1999)

    Google Scholar 

  17. Robert, G., Khendek, F., Grogono, P.: Deriving an SDL Specification with a Given Architecture from a Set of MSCs. In: Cavalli, A., Sarma, A. (eds.) SDL 1997: Time for Testing - SDL, MSC and Trends, Proceedings of the eight SDL Forum, Evry, France, September 22 - 26 (1997)

    Google Scholar 

  18. SDT Tau ,Telelogic, Sweden (2002)

    Google Scholar 

  19. Somé, S., Dssouli, R.: An Enhancement of Timed Automata generation from Timed Scenarios using Grouped States. The Electronic Journal on Networks and Distributed Processing (1997), http://rerir.univ-pau.fr

  20. Somé, S., Dssouli, R., Vaucher, J.: Toward an Automation of Requirements Engineering using Scenarios. Journal of Computing and Information 2(1), 1110–1132 (1996)

    Google Scholar 

  21. Zheng, T., khendek, F.: Time Consistency of MSC-2000 Specifications. Computer Networks 42(3), 303–322 (2003)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Electrical and Computer Engineering Department, Concordia University, 1455, de Maisonnneuve W., Montréal, (Québec), H3G 1M8, Canada

    Ferhat Khendek & Xiao Jun Zhang

Authors
  1. Ferhat Khendek
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Xiao Jun Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer and Information Science, University of Konstanz, D-78457, Konstanz, Germany

    Stefan Leue

  2. Department of Software Systems, Tampere University of Technology,  

    Tarja Johanna Systä

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Khendek, F., Zhang, X.J. (2005). From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System. In: Leue, S., Systä, T.J. (eds) Scenarios: Models, Transformations and Tools. Lecture Notes in Computer Science, vol 3466. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11495628_13

Download citation

  • DOI: https://doi.org/10.1007/11495628_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-26189-6

  • Online ISBN: 978-3-540-32032-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation