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

Authors:
Sebastian Uchitel;Robert Chatley;Jeff Kramer;Jeff Magee
Affiliations:
Department of Computing, Imperial College;Department of Computing, Imperial College;Department of Computing, Imperial College;Department of Computing, Imperial College
Venue:
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Year:
2003

Citing 3
Cited 12

Concurrency: state models & Java programs

Concurrency: state models & Java programs
Detecting implied scenarios in message sequence chart specifications

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Negative scenarios for implied scenario elicitation

Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering

Behaviour model elaboration using partial labelled transition systems

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Mathematics for the exploration of requirements

ACM SIGCSE Bulletin
Style-Based Model Transformation for Early Extrafunctional Analysis of Distributed Systems

QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
Towards Abstraction for DynAlloy Specifications

ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Managing Complexity in Software Development with Formally Based Tools

Electronic Notes in Theoretical Computer Science (ENTCS)
Using implied scenarios in security testing

Proceedings of the 2010 ICSE Workshop on Software Engineering for Secure Systems
Analysing message sequence graph specifications

ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Dependability analysis in the Ambient Assisted Living Domain: An exploratory case study

Journal of Systems and Software
Using scenarios to predict the reliability of concurrent component-based software systems

FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Reliability prediction in model-driven development

MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Executable requirements specifications using triggered message sequence charts

ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
A framework for pathologies of message sequence charts

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

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.