Synthesis of Communication Protocols: Survey and Assessment
IEEE Transactions on Computers - Special issue on protocol engineering
Real-time object-oriented modeling
Real-time object-oriented modeling
Inquiry-Based Requirements Analysis
IEEE Software
Formal Approach to Scenario Analysis
IEEE Software
Theoretical Computer Science
Automatic synthesis of state machines from trace diagrams
Software—Practice & Experience
Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Synthesis of communications protocols: an annotated bibliography
ACM SIGCOMM Computer Communication Review
Integration of sequential scenarios
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Addendum to the 1997 ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (Addendum)
Synthesis of protocol converters: an annotated bibliography
Computer Standards & Interfaces
A proposal for a scenario classification framework
Requirements Engineering
Guiding Goal Modeling Using Scenarios
IEEE Transactions on Software Engineering
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Use Case Maps as Architectural Entities for Complex Systems
IEEE Transactions on Software Engineering
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Inference of message sequence charts
Proceedings of the 22nd international conference on Software engineering
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
Proceedings of the 2nd international workshop on Software and performance
2nd International Workshop on Software and Performance
MAS — an interactive synthesizer to support behavioral modelling in UML
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A workbench for synthesising behaviour models from scenarios
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Summary report of the OOPSLA 2000 workshop on scenario-based round-trip engineering
ACM SIGSOFT Software Engineering Notes
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Scenarios and state machines: models, algorithms, and tools
Proceedings of the 24th International Conference on Software Engineering
CREWS-SAVRE: Scenarios for Acquiring and Validating Requirements
Automated Software Engineering
Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment
Formal Methods in System Design
Scenarios in System Development: Current Practice
IEEE Software
1998 Index, IEEE Transactions on Software Engineering Vol. 24
IEEE Transactions on Software Engineering
An Integrated Formal Model of Scenarios Based on Statecharts
Proceedings of the 5th European Software Engineering Conference
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
An Automata Based Interpretation of Live Sequence Charts
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Utilizing Scenarios in the Software Development Process
Proceedings of the IFIP WG8.1 Working Conference on Information System Development Process
Guiding Use Case Authoring: Results of an Empirical Study
RE '99 Proceedings of the 4th IEEE International Symposium on Requirements Engineering
Generating User Interface Prototypes from Scenarios
RE '99 Proceedings of the 4th IEEE International Symposium on Requirements 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
Use Case Maps for the Capture and Validation of Distributed Systems Requirements
RE '99 Proceedings of the 4th IEEE International Symposium on Requirements Engineering
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Improving the use case driven approach to requirements engineering
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Managing domain architecture evolution through adaptive use case and business rule models
Managing domain architecture evolution through adaptive use case and business rule models
Specification and validation of telecommunications systems with use case maps and lotos
Specification and validation of telecommunications systems with use case maps and lotos
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
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
UCM-ROOM modelling: from use case maps to communicating state machines
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
A scenario based approach to the evolution of telecommunications software
IEEE Communications Magazine
Use Case Maps and Lotos for the prototyping and validation of a mobile group call system
Computer Communications
Applying formal description techniques to software architectural design
Computer Communications
Introduction to the user requirements notation: learning by example
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
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
An XML environment for scenario based requirements engineering
Journal of Systems and Software
A Scenario-Based Validation Language for ASMs
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Construction of Process Models from Example Runs
Transactions on Petri Nets and Other Models of Concurrency II
Synthesizing Test Models from Test Cases
HVC '08 Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing
Synthesizing hierarchical state machines from expressive scenario descriptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
An evaluation of timed scenario notations
Journal of Systems and Software
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Scenario-based performance engineering with UCMNAV
SDL'03 Proceedings of the 11th international conference on System design
Synthesizing SDL from use case maps: an experiment
SDL'03 Proceedings of the 11th international conference on System design
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
On the expressive power of live sequence charts
Program analysis and compilation, theory and practice
Applying reduction techniques to software functional requirement specifications
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
The complexity of live sequence charts
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Traceability and evaluation in scenario analysis by use case maps
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
From MSC to SDL: overview and an application to the autonomous shuttle transport system
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
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
The good, the bad and the ugly: well-formedness of live sequence charts
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Achieving closed-loop control simulation of human-artefact interaction: a comparative review
Modelling and Simulation in Engineering
MSC scenarios analysis via simulation and formal verification techniques
GCMS '09 Proceedings of the 2009 Grand Challenges in Modeling & Simulation Conference
| Hi-index | 0.00 |
The elicitation, modeling and analysis of requirements have consistently been one of the main challenges during the development of complex systems. Telecommunication systems belong to this category of systems due to the worldwide distribution and the heterogeneity of today's telecommunication networks. Scenarios and use cases have become popular for capturing and analyzing requirements. However, little research has been done that compares different approaches and assesses their suitability for the telecommunications domain. This paper defines evaluation criteria and then reviews fifteen scenario notations. In addition, twenty-six approaches for the construction of design models from scenarios are briefly compared.