Heuristics: intelligent search strategies for computer problem solving
Heuristics: intelligent search strategies for computer problem solving
Parallel program design: a foundation
Parallel program design: a foundation
Merging behavior specifications
Formal Methods in System Design
Tutorial on message sequence charts
Computer Networks and ISDN Systems - Special issue on SDL and MSC
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Compiling Real-Time Scenarios into a Timed Automaton
FORTE '01 Proceedings of the IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems
Towards a model based approach for integration testing
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Hi-index | 0.00 |
The design of distributed systems requirements often ends with a collection of redundant use cases or scenarios, each of which illustrating a peculiar functionality or a typical execution of the system. The actual behavior of the system under design can be considered as a superposition of all use cases. However, current scenario languages do not propose such superposition mechanism. An operator for Message Sequence Charts defined as a sum of MSCs was proposed recently. However, the designer must provide explicitly the common parts in operands (called the interface) to compute a sum. This paper proposes an automatic construction of this interface based on a heuristic search.