Abstract
We present a tool that supports the elaboration of behaviour models and scenario-based specification by providing scenario editing, behaviour model synthesis, and model checking for implied scenarios.
Chapter PDF
Keywords
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.
References
ITU, Message Sequence Charts, International Telecommunications Union. Telecommunication Standardisation Sector, Recommendation Z.120, 1996.
J. Magee and J. Kramer, Concurrency: State Models and Java Programs. New York: John Wiley & Sons Ltd., 1999.
R. Morin, On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory in International Conference on the Foundations of Software Science and Computation Structure (FOSSACS’01), Genova, 2001.
S. Uchitel, LTSA-MSC Tool. Department of Computing, Imperial College, 2001.
S. Uchitel, J. Kramer, and J. Magee, Detecting Implied Scenarios in Message Sequence Chart Specifications in Joint 8th European Software Engineering Conference (ESEC’01) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE’01), Vienna, 2001.
S. Uchitel, J. Kramer, and J. Magee, Negative Scenarios for Implied Scenario Elicitation in 10th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE’02), Charleston, 2002.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Uchitel, S., Chatley, R., Kramer, J., Magee, J. (2003). LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. In: Garavel, H., Hatcliff, J. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2003. Lecture Notes in Computer Science, vol 2619. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36577-X_44
Download citation
DOI: https://doi.org/10.1007/3-540-36577-X_44
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00898-9
Online ISBN: 978-3-540-36577-8
eBook Packages: Springer Book Archive