Modeling with Stochastic Message Sequence Charts

Message Sequence Chart (MSC) is a formal language widely used in industry for requirement specifications. In this paper, we propose a stochastic extension to MSC and this extend version of the MSC language is called Stochastic Message Sequence Charts (SMSC). Compared with MSC, SMSC is suitable for performance modeling and analysis. We integrated the SMSC language into the Möbius framework, which has a well-defined interface that facilitates interactions and solutions to hybrid models from different modeling formalisms, to enable the use of the Möbius built-in solvers for evaluating the models’ stochastic properties.

[1]  David Harel,et al.  LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..

[2]  Michael K. Molloy.  Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[3]  Kishor S. Trivedi,et al.  SPNP: stochastic Petri net package , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[4]  Bernd Finkbeiner,et al.  Using Message Sequence Charts for Component-Based Formal Verification , 2001 .

[5]  Sjouke Mauw,et al.  Message Sequence Chart (MSC) , 1996 .

[6]  Ferhat Khendek,et al.  Stepwise Design with Message Sequence Charts , 2001, FORTE.

[7]  William H. Sanders,et al.  Performability modeling with UltraSAN , 1991, IEEE Software.

[8]  Gaoyan Xie,et al.  A Review of Some Rigorous Software Design and Analysis Tools , 2001, Softw. Focus.

[9]  William H. Sanders,et al.  Implementing a Stochastic Process Algebra within the Möbius Modeling Framework , 2001, PAPM-PROBMIV.

[10]  Winfried Dulz,et al.  Performance Evaluation of SDL/MSC-specified Systems , 1996 .

[11]  M.A. Qureshi,et al.  The UltraSAN Modeling Environment , 1995, Perform. Evaluation.

[12]  Ursula Goltz,et al.  Timed Sequence Diagrams and Tool-Based Analysis - A Case Study , 1999, UML.

[13]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[14]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[15]  Holger Hermanns,et al.  Stochastic process algebras: integrating qualitative and quantitative modelling , 1994, FORTE.

[16]  Anca Muscholl,et al.  Compositional message sequence charts , 2001, International Journal on Software Tools for Technology Transfer.

[17]  Raymond Mariez,et al.  Performability Analysis Us ing Semi-Markov Reward Processes , 1990 .

[18]  Rajeev Alur,et al.  Inference of message sequence charts , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[19]  Way Kuo,et al.  Performability of FMS based on stochastic process models , 2001 .

[20]  Sjouke Mauw,et al.  Message sequence charts in the software engineering process , 2001 .

[21]  Jane Hillston,et al.  A compositional approach to performance modelling , 1996 .

[22]  William H. Sanders,et al.  Möbius: An Extensible Tool for Performance and Dependability Modeling , 2000, Computer Performance Evaluation / TOOLS.

[23]  Sjouke Mauw,et al.  Formal semantics of Message Sequence Charts , 1998 .

[24]  Daniel Amyot,et al.  An Evaluation of Scenario Notations for Telecommunication Systems Development , 2001 .

[25]  Ignas G. Niemegeers,et al.  Performability Modelling Tools and Techniques , 1996, Perform. Evaluation.

[26]  Jan Magott,et al.  Performance evaluation of communicating sequential processes (CSP) using Petri nets , 1992 .

[27]  Michel A. Reniers,et al.  A hierarchy of communication models for Message Sequence Charts , 1997, Sci. Comput. Program..