Statecharts: A visual formalism for complex systems
Science of Computer Programming
Learning regular sets from queries and counterexamples
Information and Computation
Screen-based scenario generator: a tool for scenario-based prototyping
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Observations and inventions: new approaches to the study of human—computer interaction
Interacting with Computers
Object-oriented modeling and design
Object-oriented modeling and design
Communications of the ACM - Special issue on analysis and modeling in software development
The use of scenarios in design
ACM SIGCHI Bulletin
Getting around the task-artifact cycle: how to make claims and design by scenario
ACM Transactions on Information Systems (TOIS)
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Applying OMT: a practical step-by-step guide to using the object modeling technique
Applying OMT: a practical step-by-step guide to using the object modeling technique
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Integration of Sequential Scenarios
IEEE Transactions on Software Engineering
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
IEEE Transactions on Software Engineering
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering
Automated Support for Modeling OO Software
IEEE Software
Generating User Interface Prototypes from Scenarios
RE '99 Proceedings of the 4th IEEE International Symposium on Requirements Engineering
SCR*: A Toolset for Specifying and Analyzing Software Requirements
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
An Approach Based on the Concept of Use Case to Produce Dynamic Object-Oriented Specifications
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
User interface prototyping based on UML scenarios and high-level Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Automated Prototyping of User Interfaces Based on UML Scenarios
Automated Software Engineering
A comparative survey of scenario-based to state-based model synthesis approaches
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Hi-index | 0.00 |
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, an approach for scenario composition and integration is needed to produce more complete specifications. The Unified Modeling Language (UML), which has become a standard notation for object-oriented modeling, provides a suitable framework for scenario acquisition using Use Case diagrams and Collaboration diagrams and for behavioral specification using Statechart diagrams; yet it does not propose any specific modeling process, let alone a process for transforming scenarios into behavioral specifications. In this paper, we suggest a four-step process for synthesizing behavioral specifications from scenarios. It automatically generates from a given set of Collaboration diagrams the Statechart diagrams of all the objects involved. An automatic analysis of specifications in respect to consistency and completeness is also provided. Our approach is incremental and is fully compliant with the UML. Furthermore, it provides an elegant solution to the problem of scenario interleaving. The underlying algorithms have been implemented and validated with several examples, and they are fit for integration into CASE tools supporting the UML.