Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Constructing the User Interface with Statecharts
Constructing the User Interface with Statecharts
Feature Interactions in Telecommunications and Software Systems V
Feature Interactions in Telecommunications and Software Systems V
Scenarios in System Development: Current Practice
IEEE Software
An Integrated Formal Model of Scenarios Based on Statecharts
Proceedings of the 5th European Software Engineering Conference
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
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
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
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
Summary report of the OOPSLA 2000 workshop on scenario-based round-trip engineering
ACM SIGSOFT Software Engineering Notes
Scenarios and state machines: models, algorithms, and tools
Proceedings of the 24th International Conference on Software Engineering
Negative scenarios for implied scenario elicitation
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Negative scenarios for implied scenario elicitation
ACM SIGSOFT Software Engineering Notes
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
Automatic Synthesis of Agent Designs in UML
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Smart Play-out of Behavioral Requirements
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Representing Embedded System Sequence Diagrams as a Formal Language
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Transformations and Software Modeling Languages: Automating Transformations in UML
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Synthesizing State-Based Object Systems from LSC Specifications
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
How AI Can Help SE; or: Randomized Search Not Considered Harmful
AI '01 Proceedings of the 14th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
From scenarios to code: an air traffic control case study
Proceedings of the 25th International Conference on Software Engineering
Behaviour model elaboration using partial labelled transition systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Formal approaches to systems analysis using UML: an overview
Advanced topics in database research vol. 1
Revisiting Statechart Synthesis with an Algebraic Approach
Proceedings of the 26th International Conference on Software Engineering
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Monitoring and control in scenario-based requirements analysis
Proceedings of the 27th international conference on Software engineering
Reconciling scenario-centered controller design with state-based system models
SCESM '05 Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools
Resolving Race Conditions in Asynchronous Partial Order Scenarios
IEEE Transactions on Software Engineering
Scenarios and state machines: models, algorithms, and tools: a summary of the 4th workshop
ACM SIGSOFT Software Engineering Notes
From Live Sequence Charts to State Machines and Back: A Guided Tour
IEEE Transactions on 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
Telecommunications Systems - Modeling, analysis, design and management
Increasing quality of conceptual models: is object-oriented analysis that simple?
Proceedings of the 2006 international workshop on Role of abstraction in 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
Nobody's perfect: interactive synthesis from parametrized real-time scenarios
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Scenario-driven modeling and validation of requirements models
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
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
Synthesis of Open Reactive Systems from Scenario-Based Specifications
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Automatic Synthesis Of Behavioral Object Specifications From Scenarios
Journal of Integrated Design & Process Science
Matching and Merging of Statecharts Specifications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
UCSIM: A Tool for Simulating Use Case Scenarios
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
A Relationship-Driven Framework for Model Merging
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
Lazy buffer semantics for partial order scenarios
Automated Software Engineering
Synthesis of system state models
ACM SIGPLAN Notices
Transformation of SBVR business design to UML models
ISEC '08 Proceedings of the 1st India software engineering conference
Multi-formalism modelling and model transformation for the design of reactive systems
Proceedings of the 2007 Summer Computer Simulation Conference
Executable misuse cases for modeling security concerns
Proceedings of the 30th international conference on Software engineering
ICCOMP'05 Proceedings of the 9th WSEAS International Conference on Computers
Behavioural model fusion: an overview of challenges
Proceedings of the 2008 international workshop on Models in software engineering
Model-Checking Software Using Precise Abstractions
Verified Software: Theories, Tools, Experiments
THE QSM ALGORITHM AND ITS APPLICATION TO SOFTWARE BEHAVIOR MODEL INDUCTION
Applied Artificial Intelligence
Controller Synthesis from LSC Requirements
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Validation of contracts using enabledness preserving finite state abstractions
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Management and object behavior of statecharts through statechart DNA
WSEAS Transactions on Information Science and Applications
ICAI'09 Proceedings of the 10th WSEAS international conference on Automation & information
Synthesizing partial component-level behavior models from system specifications
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Synthesizing and utilizing partial behavior models during requirements elicitation
Proceedings of the doctoral symposium for ESEC/FSE on Doctoral symposium
Requirements analysis using similar sequence diagrams
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
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
Toward Extracting π-calculus from UML Sequence and State Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Combining OCL and Programming Languages for UML Model Processing
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Inconsistency Handling of Object-Oriented Behavioral Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
The application of use cases in systems analysis and design specification
Information and Software Technology
Supporting use case based requirements engineering
Information and Software Technology
Transforming use case models to class models and OCL-specifications
International Journal of Computers and Applications
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
Consistency of business process models and object life cycles
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Detecting implied scenarios analyzing non-local branching choices
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Precise scenarios: a customer-friendly foundation for formal specifications
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Behavioural specifications from class models
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Model driven development and code generation: an automotive case study
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Towards a framework for estimating system NFRs on behavioral models
Knowledge-Based Systems
From sequence diagrams to state machines by graph transformation
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Towards behavior elaboration and synthesis using modes
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Modular development and verification of domain requirements via model checking
Proceedings of the 48th Annual Southeast Regional Conference
Building AS-IS process models from task descriptions
Proceedings of the 8th International Conference on Frontiers of Information Technology
An approach to identifying causes of implied scenarios using unenforceable orders
Information and Software Technology
Leveraging existing instrumentation to automatically infer invariant-constrained models
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
An approach for reversely generating hierarchical UML statechart diagrams
FSKD'06 Proceedings of the Third international conference on Fuzzy Systems and Knowledge Discovery
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 relationship-based approach to model integration
Innovations in Systems and Software Engineering
Synthesizing state-machine behaviour from UML collaborations and use case maps
SDL'05 Proceedings of the 12th international conference on Model Driven
Synthesis revisited: generating statechart models from scenario-based requirements
Formal Methods in Software and Systems Modeling
Scenario synthesis from imprecise requirements
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
A radix-8 multiplier design and its extension for efficient implementation of imaging algorithms
SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
Specifying precise use cases with use case charts
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Applying story driven modeling to the paderborn shuttle system case study
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Pattern synthesis from multiple scenarios for parameterized real-time UML models
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Properties of behavioural model merging
FM'06 Proceedings of the 14th international conference on Formal Methods
Component behavior synthesis for critical systems
ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems
Consistency checking of sequence diagrams and statechart diagrams using the π-calculus
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
An integrated framework for scenarios and state machines
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Strongly consistent transformation of partial scenarios
ACM SIGSOFT Software Engineering Notes
Learning from vacuously satisfiable scenario-based specifications
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications
Behavioral validation of JFSL specifications through model synthesis
Proceedings of the 34th International Conference on Software Engineering
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
Synthesis of Open Reactive Systems from Scenario-Based Specifications
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Assume-guarantee scenarios: semantics and synthesis
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Synthesizing object life cycles from business process models
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Synthesis of component and connector models from crosscutting structural views
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Incrementally synthesizing controllers from scenario-based product line specifications
Proceedings of the 2013 9th Joint Meeting on Foundations of 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
Visualizing the network of software agents for verification of multiagent systems
Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
Required behavior of sequence diagrams: Semantics and conformance
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |
This paper presents an algorithm for automatically generating UML statecharts from a collection of UML sequence diagrams. Computer support for this transition between requirements and design is important for a successful application of UML's highly iterative, distributed software development process. There are three main issues which must be addressed when generating statecharts from sequence diagrams. Firstly, conflicts arising from the merging of independently developed sequence diagrams must be detected and resolved. Secondly, different sequence diagrams often contain identical or similar behaviors. For a true interleaving of the sequence diagrams, these behaviors must be recognized and merged. Finally, generated statecharts usually are only an approximation of the system and thus must be hand-modified and refined by designers. As such, the generated artifact should be highly structured and readable. In terms of statecharts, this corresponds to the introduction of hierarchy. Our algorithm successfully tackles all three of these aspects and will be illustrated in this paper with a well-known ATM example.