Advertisement

Race Conditions in Message Sequence Charts

  • Chien-An Chen
  • Sara Kalvala
  • Jane Sinclair
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3780)

Abstract

Message Sequence Charts (MSCs) are a graphical language for the description of scenarios in terms of message exchanges between communicating components in a distributed environment. The language has been standardised by the ITU and given a formal semantics by means of a process algebra. In this paper, we review a design anomaly, called race condition, in an MSC specification and argue that the current solution correcting race conditions is too weak when implementation is considered. In this paper, we provide an algorithm on partial orders as our solution. The result is a strengthened partial order, which is race-free and remains race-free in the implementation.

Keywords

Partial Order General Ordering Transitive Closure Output Event Recursive Call 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alur, R., Etessami, K., Yannakakis, M.: Inference of Message Sequence Charts. IEEE Transaction on Software Engineering 29, 623–633 (2003)CrossRefGoogle Scholar
  2. 2.
    Alur, R., Holzmann, G.J., Peled, D.: An analyzer for Message Sequence Charts. Software Concepts and Tools 17(2), 70–77 (1996)Google Scholar
  3. 3.
    Ben-Abdallah, H., Leue, S.: Syntactic detection of process divergence and non-local choice in Message Sequence Charts. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol. 1217. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  4. 4.
    Booch, G., Jacobson, I., Rumbaugh, J.: The Unified Modeling Lan- guage Reference Manual. Addison-Wesley, Reading (1998) ISBN 0-201-30998-xGoogle Scholar
  5. 5.
    Broy, M.: On the meaning of Message Sequence Charts. In: Proceedings of the 1st Workshop of the SDL Forum Society Workshop on SDL and MSC, vol. I, pp. 13–34 (1998)Google Scholar
  6. 6.
    CCITT. CCITT Recommendation Z.120: Message Sequence Chart (MSC). Geneva (1992)Google Scholar
  7. 7.
    Chen, C., Kalvala, S., Sinclair, J.: A process-based semantics for Message Sequence Charts with data. In: Australian Software Engineering Conference 2005 (ASWEC 2005), Brisbane (March 2005)Google Scholar
  8. 8.
    Damm, W., Harel, D.: LSCs: Breathing life into Message Sequence Charts. Formal Methods in System Design 19(1), 45–80 (2001)zbMATHCrossRefGoogle Scholar
  9. 9.
    Gehrke, T., Huhn, M., Rensink, A., Wehrheim, H.: An alge- braic semantics for Message Sequence Charts documents. In: Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE/PSTV 1998). Kluwer, Dordrecht (1998)Google Scholar
  10. 10.
    Grabowski, J., Graubmann, P., Rudolph, E.: Towards a Petri net based semantics definition for Message Sequence Charts. In: SDL 1993 Using Objects, Darmstadt. Proceeding of the 6th SDL Forum (1993)Google Scholar
  11. 11.
    Holzmann, G.J., Peled, D., Redberg, M.H.: Design tools for requirements engineering. Bell Lab Technical Journal 2(1), 86–95 (1997)CrossRefGoogle Scholar
  12. 12.
    ITU-TS. Recommendation Z.120: Message Sequence Chart (MSC). Geneva (1996)Google Scholar
  13. 13.
    Ladkin, P.B., Leue, S.: Interpreting message flow graphs. Formal Aspects of Computing 7(5), 473–509 (1995)zbMATHCrossRefGoogle Scholar
  14. 14.
    Ladkin, P.B., Leue, S.: What do Message Sequence Charts mean? In: Tenney, R.L., Amer, P.D., Uyar, M.U. (eds.) Formal Description Techniques VI, IFIP Transactions C. Proceeding of the 6th International Conference on Formal Description Techniques. North-Holland, Amsterdam (1994)Google Scholar
  15. 15.
    Mauw, S., Reniers, M.A.: An algebraic semantics of basic Message Sequence Charts. The Computer Journal 37(4), 269–277 (1994)CrossRefGoogle Scholar
  16. 16.
    Mitchell, B.: Inherent causal orderings of partial order scenarios. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol. 3407, pp. 113–127. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  17. 17.
    Muscholl, A., Peled, D.: Message sequence graphs and decision problems on mazurkiewicz traces. In: MFCS, pp. 81–91 (1999)Google Scholar
  18. 18.
    Olsen, A., Færgemand, O., Möller Pedersen, B., Reed, R., Smith, J.R.W.: Systems Using SDL 1992. North-Holland, Amsterdam (1994)Google Scholar
  19. 19.
    Schumann, J., Whittle, J.: Generating statechart designs from scenarios. In: Proceeding of the 22nd International Conference on Software Engineering (2000)Google Scholar
  20. 20.
    Uchitel, S., Kramer, J., Magee, J.: Synthesis of behavioral models from scenarios. IEEE Transaction on Software Engineering 29(2) (February 2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Chien-An Chen
    • 1
  • Sara Kalvala
    • 1
  • Jane Sinclair
    • 1
  1. 1.Department of Computer ScienceUniversity of WarwickCoventryUK

Personalised recommendations