Statecharts: A visual formalism for complex systems
Science of Computer Programming
DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on 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
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Automated Support for Modeling OO Software
IEEE Software
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
A Hierarchy of Communication Models for Message Sequence Charts
FORTE X / PSTV XVII '97 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)
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
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
From Live Sequence Charts to State Machines and Back: A Guided Tour
IEEE Transactions on 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
Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects
Proceedings of the 2006 international symposium on Software testing and analysis
An object-oriented approach to formally analyze the UML 2.0 activity partitions
Information and Software Technology
Synthesis of system state models
ACM SIGPLAN Notices
Existential live sequence charts revisited
Proceedings of the 30th international conference on Software engineering
Visualization of Use Cases through Automatically Generated Activity Diagrams
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Synthesis of Connectors from Scenario-Based Interaction Specifications
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
The UML Is More Than Boxes and Lines
Models in Software Engineering
Synthesis of Reo Circuits from Scenario-based Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
From sequence diagrams to state machines by graph transformation
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Design verification in model-based μ-controller development using an abstract component
Software and Systems Modeling (SoSyM)
Synthesis of Reo circuits from scenario-based interaction specifications
Science of Computer Programming
Modeling of IMS call flows: load estimation for core network components
Journal of Mobile Multimedia
Information and Software Technology
Branching time semantics for UML 2.0 sequence diagrams
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Weaving executability into object-oriented meta-languages
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Consistency checking of sequence diagrams and statechart diagrams using the π-calculus
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Using sequence diagrams to specify and to generate RTL assertions
VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems
MSC scenarios analysis via simulation and formal verification techniques
GCMS '09 Proceedings of the 2009 Grand Challenges in Modeling & Simulation Conference
Required behavior of sequence diagrams: Semantics and conformance
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Journal of Supercomputing
| Hi-index | 0.00 |
The idea of synthesizing statecharts out of a collection of scenarios has received a lot of attention in recent years. However due to the poor expressive power offirst generation scenario languages, including UML1.xsequence diagrams, the proposed solutions often use adhoc tricks and suffer from many shortcomings. The recent adoption in UML2.0 of a richer scenario language, including interesting composition operators, now makesit possible to revisit the problem of statechart synthesis with a radically new approach. Inspired by the way UML2.0 sequence diagrams can be algebraically composed, we first define an algebraic framework for composing state charts. Then we show how to leverage thealgebraic structure of UML2.0 sequence diagrams toget a direct algorithm for synthesizing a compositionof state charts out of them. The synthesized statechartsexhibit interesting properties that make them particularly useful as a basis for the detailed design process. Beyond offering a systematic and semanticallywell founded method, another interest of our approachlies in its flexibility: the modification or replacement ofa given scenario has a limited impact on the synthesisprocess, thus fostering a better traceability between therequirements and the detailed design.