Composing features and resolving interactions
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Designing agent-oriented systems by analysing agent interactions
First international workshop, AOSE 2000 on Agent-oriented software engineering
Bridging the requirements/design gap in dynamic systems with use case maps (UCMs)
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Software Performance Models from System Scenarios in Use Case Maps
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Operating system scenarios as Use Case Maps
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Software performance models from system scenarios
Performance Evaluation
Telecommunications Systems - Modeling, analysis, design and management
A declarative approach to composing web services in dynamic environments
Decision Support Systems
A simulation-based approach for dynamic process management at web service platforms
Computers and Industrial Engineering
A high-level requirements engineering methodology for electronic system-level design
Computers and Electrical Engineering
Synthesizing hierarchical state machines from expressive scenario descriptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
A declarative approach to composing web services in dynamic environments
Decision Support Systems
The application of use cases in systems analysis and design specification
Information and Software Technology
On the extension of UML with use case maps concepts
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
URN: towards a new standard for the visual description of requirements
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Precise scenarios: a customer-friendly foundation for formal specifications
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Formal verification of use case maps with real time extensions
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Abstract operational semantics for use case maps
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
Use Case Maps and Lotos for the prototyping and validation of a mobile group call system
Computer Communications
| Hi-index | 0.00 |
Functional scenarios describing system views, uses, or services are a common way of capturing requirements of distributed systems. However, integrating individual scenarios in different ways may result in different kinds of unexpected or undesirable interactions. In this paper, we present an innovative approach based on the combined use of two notations. The first one is a recent visual notation for causal scenarios called Use Case Maps (UCMs), which is used to capture and integrate the requirements. Integrating UCMs together helps avoiding many interactions before any prototype is generated. The second notation is the formal specification language LOTOS. UCM scenarios are translated into high-level LOTOS specifications, which can be used to validate the requirements formally through numerous techniques, including functional testing based on UCMs. LOTOS possesses powerful testing concepts and tools that we use for the detection of remaining undesirable interactions. To illustrate these concepts, we use a simple connection example and results from the capture and the validation of several telephony features from the First Feature Interaction Contest.