Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communication and concurrency
SDE: Incremental Specification and Development of Communications Software
IEEE Transactions on Computers - Special issue on protocol engineering
Object-oriented modeling and design
Object-oriented modeling and design
Scenario-based design: envisioning work and technology in system development
Scenario-based design: envisioning work and technology in system development
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Use cases combined with BOOCH/OMT/UML: process and products
Use cases combined with BOOCH/OMT/UML: process and products
Understanding UML: the developer's guide: with a Web-based application in Java
Understanding UML: the developer's guide: with a Web-based application in Java
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
The unified software development process
The unified software development process
Visual modeling with Rational Rose 2000 and UML (2nd ed.)
Visual modeling with Rational Rose 2000 and UML (2nd ed.)
DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
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
Deriving performance models of software architectures from message sequence charts
Proceedings of the 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
Improving software inspections by using reading techniques
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Designing concurrent, distributed, and real-time applications with UML
ICSE '01 Proceedings of the 23rd 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
Negative scenarios for implied scenario elicitation
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Automated Support for Modeling OO Software
IEEE Software
MESA: Support for Scenario-Based Design of Concurrent Systems
TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of 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
Deciding Properties for Message Sequence Charts
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
LSCs: Breathing Life into Message Sequence Charts
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
An Analyser for Mesage Sequence Charts
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
From Scenarios to Timed Automata: Building Specifications from Users Requirements
APSEC '95 Proceedings of the Second Asia Pacific Software Engineering Conference
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
ViewPoints: meaningful relationships are difficult!
Proceedings of the 25th International Conference on Software Engineering
Horizontal communication: a style to compose control software
Software—Practice & Experience
Behavior Capture and Test for Verifying Evolving Component-Based Systems
Proceedings of the 26th International Conference on Software Engineering
Revisiting Statechart Synthesis with an Algebraic Approach
Proceedings of the 26th International Conference on Software Engineering
System architecture: the context for scenario-based model synthesis
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Merging partial behavioural models
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Sensitivity analysis for a scenario-based reliability prediction model
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Formal support for merging and negotiation
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Interaction Protocols as Design Abstractions for Business Processes
IEEE Transactions on Software Engineering
Generating Annotated Behavior Models from End-User Scenarios
IEEE Transactions on Software Engineering
Proceedings of the 28th international conference on Software engineering
Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects
Proceedings of the 2006 international symposium on Software testing and analysis
Scenarios, goals, and state machines: a win-win partnership for model synthesis
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Information Sciences: an International Journal
Triggered Message Sequence Charts
IEEE Transactions on Software Engineering
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
An object-oriented approach to formally analyze the UML 2.0 activity partitions
Information and Software Technology
Extending metadata with scenarios in adaptive distributed system
Journal of Network and Computer Applications
Synthesis of timing scenarios for embedded systems using modular Petri nets
CEA'07 Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications
Enhanced compositional safety analysis for distributed embedded systems using LTS equivalence
ACOS'07 Proceedings of the 6th Conference on WSEAS International Conference on Applied Computer Science - Volume 6
ICCOMP'05 Proceedings of the 9th WSEAS International Conference on Computers
Avida-MDE: a digital evolution approach to generating models of adaptive software behavior
Proceedings of the 10th annual conference on Genetic and evolutionary computation
State-Merging DFA Induction Algorithms with Mandatory Merge Constraints
ICGI '08 Proceedings of the 9th international colloquium on Grammatical Inference: Algorithms and Applications
THE QSM ALGORITHM AND ITS APPLICATION TO SOFTWARE BEHAVIOR MODEL INDUCTION
Applied Artificial Intelligence
Translating Message Sequence Charts to other Process Languages Using Process Mining
Transactions on Petri Nets and Other Models of Concurrency I
Design of a Simulated Environment for Flexible Manufacturing Systems
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
A True-Concurrent Interpretation of Behavioural Scenarios
Electronic Notes in Theoretical Computer Science (ENTCS)
Analyzing critical process models through behavior model synthesis
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Synthesizing service composition models on the basis of temporal business rules
Journal of Computer Science and Technology
A study on the replaceability of context-aware middleware
Proceedings of the First Asia-Pacific Symposium on Internetware
An approach for generating state machine designs from scenarios
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Synthesizing hierarchical state machines from expressive scenario descriptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Behavioral Model Composition: a Non Functional Requirements Driven Approach
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
Supporting use case based requirements engineering
Information and Software Technology
Journal of Systems and Software
Towards automatization of domain modeling
Data & Knowledge Engineering
Activity-driven synthesis of state machines
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Scenarios and techniques for choreography design
BIS'07 Proceedings of the 10th international conference on Business information systems
Model checking of UML 2.0 interactions
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Consistency of business process models and object life cycles
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Replaying play in and play out: synthesis of design models from scenarios by learning
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Precise scenarios: a customer-friendly foundation for formal specifications
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Adaptation of open component-based systems
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Path-based error propagation analysis in composition of software services
SC'07 Proceedings of the 6th international conference on Software composition
Object composition in scenario-based programming
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Generation of business process models for object life cycle compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Towards a framework for estimating system NFRs on behavioral models
Knowledge-Based Systems
An approach to identifying causes of implied scenarios using unenforceable orders
Information and Software Technology
From textual use cases to service component models
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems
An algebra of product families
Software and Systems Modeling (SoSyM)
Checking the behavioral conformance of web services with symbolic testing and an SMT solver
TAP'11 Proceedings of the 5th international conference on Tests and proofs
SMA: the smyle modeling approach
CEE-SET'08 Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques
Dependability analysis in the Ambient Assisted Living Domain: An exploratory case study
Journal of Systems and Software
Weak Alphabet Merging of Partial Behavior Models
ACM Transactions on Software Engineering and Methodology (TOSEM)
Race conditions in message sequence charts
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Inherent causal orderings of partial order scenarios
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Composition of use cases using synchronization and model checking
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A method for development of adequate requirement specification in the plant control software domain
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Using scenarios to predict the reliability of concurrent component-based software systems
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Non-local choice and beyond: intricacies of MSC choice nodes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Synthesizing state-machine behaviour from UML collaborations and use case maps
SDL'05 Proceedings of the 12th international conference on Model Driven
Scenario synthesis from imprecise requirements
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
Reliability prediction in model-driven development
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Realizability criteria for compositional MSC
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Timed high-level message sequence charts for real-time system design
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
An integrated framework for scenarios and state machines
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Polymorphic scenario-based specification models: semantics and applications
Software and Systems Modeling (SoSyM)
Execution of natural language requirements using State Machines synthesised from Behavior Trees
Journal of Systems and Software
Towards scenario-based testing of UML diagrams
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Data and abstraction for scenario-based modeling with petri nets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Scenario-Driven development of context-aware adaptive web services
WISE'12 Proceedings of the 13th international conference on Web Information Systems Engineering
Counter play-out: executing unrealizable scenario-based specifications
Proceedings of the 2013 International Conference on Software Engineering
Requirements modelling by synthesis of deontic input-output automata
Proceedings of the 2013 International Conference on Software Engineering
Analyzing the scalability of a social network of agents
Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
Specifying software features for composition: A tool-supported approach
Computer Networks: The International Journal of Computer and Telecommunications Networking
Required behavior of sequence diagrams: Semantics and conformance
ACM Transactions on Software Engineering and Methodology (TOSEM)
PLANT: A pattern language for transforming scenarios into requirements models
International Journal of Human-Computer Studies
Hi-index | 0.00 |
Scenario-based specifications such as Message Sequence Charts (MSCs) are useful as part of a requirements specification. A scenario is a partial story, describing how system components, the environment, and users work concurrently and interact in order to provide system level functionality. Scenarios need to be combined to provide a more complete description of system behavior. Consequently, scenario synthesis is central to the effective use of scenario descriptions. How should a set of scenarios be interpreted? How do they relate to one another? What is the underlying semantics? What assumptions are made when synthesizing behavior models from multiple scenarios? In this paper, we present an approach to scenario synthesis based on a clear sound semantics, which can support and integrate many of the existing approaches to scenario synthesis. The contributions of the paper are threefold. We first define an MSC language with sound abstract semantics in terms of labeled transition systems and parallel composition. The language integrates existing approaches based on scenario composition by using high-level MSCs (hMSCs) and those based on state identification by introducing explicit component state labeling. This combination allows stakeholders to break up scenario specifications into manageable parts and reuse scenarios using hMCSs; it also allows them to introduce additional domain-specific information and general assumptions explicitly into the scenario specification using state labels. Second, we provide a sound synthesis algorithm which translates scenarios into a behavioral specification in the form of Finite Sequential Processes. This specification can be analyzed with the Labeled Transition System Analyzer using model checking and animation. Finally, we demonstrate how many of the assumptions embedded in existing synthesis approaches can be made explicit and modeled in our approach. Thus, we provide the basis for a common approach to scenario-based specification, synthesis, and analysis.