Message Sequence Charts and Message Flow Graphs

Publications

  • Hanêne Ben-Abdallah and Stefan Leue: MESA: Support for Scenario-Based Design of Concurrent Systems , Volume 1384, Pages 118 - 135, Lecture Notes in Computer Science, Springer Verlag, 1998. (PDF)
  • Hanêne Ben-Abdallah and Stefan Leue: MESA: Support for Scenario-Based Design of Concurrent Systems , Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'98, 1998. (PDF)
  • Stefan Leue, Lars Mehrmann and Mohammad Rezai: Synthesizing ROOM Models from Message Sequence Chart Specifications , 13th IEEE Conference on Automated Software Engineering, Honolulu, Hawaii, 1998. (PDF)
  • Stefan Leue, Lars Mehrmann and Mohammad Rezai: Synthesizing ROOM Models from Message Sequence Chart Specifications , Technical Report 98-06, Dept. of Electrical and Computer Engineering, University of Waterloo, 1998. (PDF)
  • Peter B. Ladkin and Stefan Leue: Implementing and Verifying MSC Specifications Using Promela/XSpin , Volume 32, Proceedings of the DIMACS Workshop SPIN96, the 2nd International Workshop on the SPIN Verification System. DIMACS Series, American Mathematical Society, Providence, R.I., 1997. (PDF)
  • Hanêne Ben-Abdallah and Stefan Leue: Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts , Volume 1217, Pages 259 - 274, Lecture Notes in Computer Science, Springer Verlag, 1997. (PDF) [PS]
  • Hanêne Ben-Abdallah and Stefan Leue: Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts , Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems TACAS'97, 1997. (PDF)
  • Hanêne Ben-Abdallah and Stefan Leue: Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications , Technical Report 97-04, Dept. of Electrical and Computer Engineering, University of Waterloo, 1997. (PDF)
  • Hanêne Ben-Abdallah and Stefan Leue: Timing Constraints in Message Sequence Chart Specifications , Formal Description Techniques X, Proceedings of the Tenth International Conference on Formal Description Techniques FORTE/PSTV'97, Chapman & Hall, 1997. (PDF)
  • Peter B. Ladkin and Stefan Leue: Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin , Participants Proc. of the Second SPIN Workshop, Rutgers University, New Brunswick, New Jersey, 1996. (PDF)
  • Hanêne Ben-Abdallah and Stefan Leue: Architecture of a Requirements and Design Tool Based on Message Sequence Charts , Technical Report 96-13, Dept. of Electrical and Computer Engineering, University of Waterloo, 1996. (PDF)
  • Hanêne Ben-Abdallah and Stefan Leue: Syntactic Analysis of Message Sequence Chart Specifications , Technical Report 96-12, Dept. of Electrical and Computer Engineering, University of Waterloo, 1996. (PDF)
  • Peter B. Ladkin and Stefan Leue: Four Issues Concerning the Semantics of Message Flow Graphs , Formal Description Techniques VII, Proc. of the Seventh IFIP International Conference on Formal Description Techniques FORTE'94, Chapman & Hall, 1995. (PDF)
  • Peter B. Ladkin and Stefan Leue: Comments on a Proposed Semantics for Basic Message Sequence Charts , The Computer Journal 37 (9), 1995. (PDF)
  • Peter B. Ladkin and Stefan Leue: Implementing Message Sequence Charts in Promela , Proc. of the First SPIN Workshop, Proc. of the First SPIN Workshop, Montreal, Canada, 1995. (PDF)
  • Peter B. Ladkin and Stefan Leue: Interpreting Message Flow Graphs , Pages 473 - 509, Formal Aspects of Computing 7(5), 1995. (PDF)
  • Peter B. Ladkin and Stefan Leue: What Do Message Sequence Charts Mean? , Pages 301 - 316, Formal Description Techniques VI, IFIP Transactions C, Proc. of the 6th International Conference on Formal Description Techniques, 1994. (PDF)
  • Peter B. Ladkin and Stefan Leue: Interpreting Message Sequence Charts (revised version), Technical Report TR 101, Dept. of Computing Science, University of Stirling, United Kingdom, 1993.
  • Peter B. Ladkin and Stefan Leue: On the Semantics of Message Sequence Charts., Formale Methoden für Verteilte Systeme, K.G. Sauer-Verlag, München, 1993, ISBN: 3-598-22409-5.
  • Peter B. Ladkin and Stefan Leue: Interpreting Message Sequence Charts, Research Report RJ 8965, IBM Almaden Research Center, 1992.