Journal of the ACM (JACM)
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
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
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
Realizability and Verification of MSC Graphs
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts
TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Model Checking of Message Sequence Charts
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Inference of Message Sequence Charts
IEEE Transactions on Software Engineering
Scenario-Based Requirements Engineering
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Monitoring and control in scenario-based requirements analysis
Proceedings of the 27th international conference on Software engineering
Detecting and resolving semantic pathologies in UML sequence diagrams
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Detecting implied scenarios analyzing non-local branching choices
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Local enforceability in interaction Petri nets
BPM'07 Proceedings of the 5th international conference on Business process management
Bridging Global and Local Models of Service-Oriented Systems
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Visualizing the network of software agents for verification of multiagent systems
Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
Hi-index | 0.00 |
Context: The implied scenarios are unexpected behaviors in the scenario specifications. Detecting and handling them is essential for the correctness of the scenario specifications. To handle such implied scenarios, identifying the causes of implied scenarios is also essential. Most recent researches focus on detecting those implied scenarios, themselves or limited causes of implied scenarios. Objective: The purpose of this research is to provide an approach to detecting the causes of implied scenarios. Method: The scenario specification is a set of events and a set of relative orders between the events, and enforces them for its implementation. Among the orders, a set of orders that cannot be inherently enforced is the unenforceable orders. Obviously, existence of unenforceable orders leads the implied scenarios. To obtain the unenforceable orders, we first provide a method to represent each of the specification and its implementation as a set of orders between events, called the causal order graph. Then, the differences between them are the unenforceable orders. Results: Because the unenforceable orders consist of events and their order relation that are specified in the scenario specification, they can point out which part of the scenario specification should be considered to handle the implied scenarios. In addition, our approach supports the synchronous, asynchronous, and FIFO communication styles without the state explosion or heavy computational overhead. To validate our approach, we provide two case studies. Conclusions: This approach helps a designer to effectively correct the scenario specification by identifying where to be fixed, especially in large cases and under the various communication styles.