Abstract
This paper details an approach for studying time in Message Sequence Charts (MSCs). MSCs are first transformed into order automata, and then into (max,+) automata, which allows for the use of well known (max,+) techniques.
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
H. Ben-Abdallah and S. Leue. Timing Constraints in Message Sequence Chart Specifications. Proceedings of the Tenth Conference on Formal Description Techniques FORTE/PSTV’97, Osaka, Japan, Nov. 1997, Chapman & Hall.
N. Faltin, L. Lambert, A. Mitschele-Thiel, F. Slomka. PMSC-Integrating Performance into Message Sequence Chart. For-male Beschreibungstechniken für verteilte Systeme, 7. GI/ITG-Fachgespräch, Berlin, Juni 1997.
S. Gaubert, Performance evaluation of (max,+) automata. IEEE transactions on automatic Control, 40(12), Dec 1995.
A. Benveniste, C. Jard, S. Gaubert, “Algebraic techniques for timed systems”. In 9th International Conference on Concurrency Theory, Concur’98, Nice, France, sep. 1998.
P. Kosiuczenko Formalizing Time aspects of Message Sequence Charts. Technical Report Nr. 9703, Ludwig-Maximilians-Universität München, Institut für Informatik, January 1997.
V. Pratt Modeling Concurrency with Partial Orders, International Journal of Parallel Programming, Vol 15, No 1, 1986, pp 33–71
F. Slomka, J. Zant, L. Lambert. MSC-based Schedulability Analysis. Workshop on Performance and Time in SDL and MSC. Technical Report 1/98, IMMD VII, University of Erlangen-Nuremberg, Erlangen, February 1998.
J. Cochet-Terrasson, G., Cohen, S., Gaubert, M. McGettrick, J.P. Quadrat, Numerical computation of spectral elements in max-plus algebra, IFAC Conference on System Structure and Control, 1998
ITU, Norm Z.120, Message Sequence Charts.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media New York
About this chapter
Cite this chapter
Le Maigat, P., Hélouët, L. (2000). A (Max,+) Approach for Time in Message Sequence Charts. In: Boel, R., Stremersch, G. (eds) Discrete Event Systems. The Springer International Series in Engineering and Computer Science, vol 569. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-4493-7_8
Download citation
DOI: https://doi.org/10.1007/978-1-4615-4493-7_8
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7025-3
Online ISBN: 978-1-4615-4493-7
eBook Packages: Springer Book Archive