Skip to main content
SpringerLink
Log in
SpringerLink
Log in

An Execution Semantics for MSC-2000

  • Conference paper
  • First Online:
SDL 2001: Meeting UML (SDL 2001)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2078))

Included in the following conference series:

Abstract

Message Sequence Charts (MSCs) is a visual notation for expressing requirements on communicating systems. Their expressive ower has traditionally been somewhat limited, and additional information is usually needed by tools that manipulate them: for example, to derive test suites. The new standard MSC-2000, developed by ITUT, extends earlier versions by constructs for data and high-level control, so that it may be possible to derive test sequences directly from MSC requirements, without the need for additional information. Motivated by this, we present an execution semantics for a significant part of the MSC-2000 standard. The semantics has the form of an Abstract Execution Machine, which can either accept or generate sequences of events that are consistent with a givenMSC. Inthe former case, the Abstract ExecutionMac hine canb e used as a test oracle, inthe latter as a test sequence generator.

Supported inpart by Telelogic AB, and by NUTEK through the ASTEC Competence Center. This work was carried out while Gerardo Padilla was at Telelogic AB, Uppsala

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. R. Alur and M. Yannakakis. Model checking of message sequence charts. In CONCUR 99, volume 1664 of Lecture Notes in Computer Science, 1999.

    Google Scholar 

  2. V. Bos and S. Mauw. A LATEX macro package for message sequence charts, April 1999. http://www.win.tue.nl/~sjouke/mscpackage.html.

  3. W. Damm and D. Harel. LSCs: Breathing life into message sequence charts. In P. Ciancarini, A. Fantechi, and R. Gorrieri, editors, Proc. 3rd Int. Conf. on Formal Methods for Open Object-Based Distributed Systems, pages 293–312. Kluwer Academic Publishers, 1999.

    Google Scholar 

  4. D. Drusinsky. The remporal rover and the ATG rover. In K. Havelund, editor, SPIN Model Checking and Software Verification, Proc. 7th SPIN Workshop, volume 1885 of Lecture Notes in Computer Science, pages 323–330, Stanford, California, 2000. Springer Verlag.

    Chapter  Google Scholar 

  5. A. Engels. Design decisions on data and guareds in MSC2000. In Proc. 2st Workshop of the SDL Forum Society on SDL and MSC-SAM’2000, Grenoble, France, June 2000.

    Google Scholar 

  6. J.-C. Fernandez, C. Jard, T. Jéron, and C. Viho. An experiment in automatic generation of test suites for protocols with verification technology. Science of Computer Programming, 29, 1997.

    Google Scholar 

  7. J. Grabowski. The generation of TTCN test cases from MSCs. Technical Report IAM-93-010, University of Berne, Institute for Informatics, April 1993.

    Google Scholar 

  8. J. Grabowski and P. Graubmann an E. Rudolph. Towards a petri net based semantics definition for message sequence charts. In O. Færgemand and A. Sarma, editors, SDL’93-Using Objects-Proc. 6th SDL Forum, Darmstadt, 1993. Elsevier.

    Google Scholar 

  9. S. Heymer. A semantics for MSC based on petri-net components. In Proc. 2st Workshop of the SDL Forum Society on SDL and MSC-SAM’2000, Grenoble, France, June 2000.

    Google Scholar 

  10. ITU-T. Recommendation Z.120, Message Sequence Chart. Geneva, April 1996.

    Google Scholar 

  11. ITU-T. Recommendation Z.120, Message Sequence Charts. Geneva, Nov. 1999.

    Google Scholar 

  12. P.B. Ladkin and S. Leue. What do message sequence charts mean? In FORTE 93. North-Holland, 1993.

    Google Scholar 

  13. S. Mauw and M.A. Reniers. Operational semantics for MSC’96. In A. Cavalli and D. Vincent, editors, SDL’97-Time for Testing-SDL, MSC and Trends, pages 135–152. Elsevier, Sept. 1997.

    Google Scholar 

  14. T.O. O’Malley, D.J. Richardson, and L.K. Dillon. Efficient specification-based test oracles for critical systems. In Proc. 1996 California Software Symposium, April 1996.

    Google Scholar 

  15. D.K. Peters and D.L. Parnas. Using test oracles generated from program documentation. IEEE Transactions on Software Engineering, 24(3):161–173, March 1998.

    Article  Google Scholar 

  16. M.A. Reniers. Message Sequence Chart: Syntax and Semantics. PhD thesis, Eindhoven University of Technology, June 1999.

    Google Scholar 

  17. M. Schmitt, M. Ebner, and J. Grabowski. Test generation with autolink and testcomposer. In Proc. 2nd Workshop of the SDL Forum Society on SDL and MSC-SAM’2000, June 2000.

    Google Scholar 

  18. M. Schmitt, A. Ek, J. Grabowski, D. Hogrefe, and B. Koch. Autolink-putting sdl-based test generation into practice. In 11th Int. Workshop on Testing of Communicating Systems (IWTCS’98), Tomsk, Russia, Sept. 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Systems, P.O. Box 325, S-751 05, Uppsala, Sweden

    Bengt Jonsson

  2. Telelogic AB, Uppsala

    Gerardo Padilla

Authors
  1. Bengt Jonsson
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gerardo Padilla
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Telecommunications Software Engineering Ltd., 13Weston House, 18-22 Church Street, Lutterworth, Leicestershire, LE17 4AW, UK

    Rick Reed  & Jeanne Reed  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jonsson, B., Padilla, G. (2001). An Execution Semantics for MSC-2000. In: Reed, R., Reed, J. (eds) SDL 2001: Meeting UML. SDL 2001. Lecture Notes in Computer Science, vol 2078. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48213-X_23

Download citation

  • DOI: https://doi.org/10.1007/3-540-48213-X_23

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42281-5

  • Online ISBN: 978-3-540-48213-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation