LTSA-MSC: Tool support for behaviour model elaboration using implied scenarios

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2619, Issue , 2003, Pages 597-601

  Uchitel, Sebastian ^a   Chatley, Robert ^a   Kramer, Jeff ^a   Magee, Jeff ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

BEHAVIOUR MODELS; SCENARIO-BASED SPECIFICATIONS; TOOL SUPPORT;

MODEL CHECKING;

EID: 35248867837     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36577-x_44     Document Type: Article

References (6)

1. ITU, Message Sequence Charts, International Telecommunications Union. Telecommunication Standardisation Sector, Recommendation Z. 120, 1996.
2. J. Magee and J. Kramer, Concurrency: State Models and Java Programs. New York: John Wiley & Sons Ltd., 1999.
3. 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), Geneva, 2001.
4. S. Uchitel, LTSA-MSC Tool. Department of Computing, Imperial College, 2001.
5. 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.
6. 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.