Abstract
Message Sequence Charts (MSC) are a formal specification language, they are used to describe communication in systems. Sample traces specify the message exchange between processes or system parts. These traces can be combined hierarchically using composition techniques. In this work the recently submitted MSC2000 standard is used to specify temporal behaviour. A technique to map such MSC specifications to stochastic Petri nets is presented and some problems of this approach are outlined. With this mapping existing tools can be used to derive temporal properties of the MSC specification.
This work is partly supported by the German Research Council (DFG) under reference number GRK86/3
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ITU-T, Recommendation Z.120: Message Sequence Charts (MSC), ITU General Secretariat, 1996.
ITU-T, Recommendation Z.120: Message Sequence Charts (MSC), ITU General Secretariat, 1999.
ITU-T, Annex B to Recommendation Z.120, ITU General Secretariat, 1998.
H. Ben-Abdallah and S. 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, Osaka, Japan, November 1997, Chapman & Hall.
J. Grabowski, P. Graubmann, and E. Rudolph. Towards a Petri net based semantics definition for Message Sequence Charts. In O. Faergemand and A. Sarma, editors, SDL’93: Using Objects, Proceedings of the Sixth SDL Forum, pages 179–190, Darmstadt, 1993. Amsterdam, North-Holland.
M. Ribaudo, Stochastic Petri Net Semantics for Stochastic Process Algebras, Proc. 6th International Workshop on Petri Nets and Performance Models, Durham (NC), 1995.
I. Schieferdecker, A. Rennoch, O. Mertens. Timed MSCs — an Extension to MSC’96. In A. Wolisz, I. Schieferdecker, A. Rennoch (Hrsg.). Formale Beschreibungstechniken für verteilte Systeme. G MD-Studien Nr. 315. June 1997.
A. Zimmermann, R. German, J. Freiheit, and G. Hommel: TimeNET 3.0 Tool Description. Int. Conf. on Petri Nets and Performance Models (PNPM 99), Zaragoza, Spain, 1999 (tool descriptions).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Kluge, O. (2000). Time in Message Sequence Chart Specifications and How to Derive Stochastic Petri Nets. In: Hommel, G. (eds) Communication-Based Systems. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9608-4_2
Download citation
DOI: https://doi.org/10.1007/978-94-015-9608-4_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5399-2
Online ISBN: 978-94-015-9608-4
eBook Packages: Springer Book Archive