Petri nets: an introduction
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Handbook of theoretical computer science (vol. B)
ACM Computing Surveys (CSUR)
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
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
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
Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems
ACM SIGSOFT Software Engineering Notes
Transformation from live sequence charts to colored Petri nets
Proceedings of the 2007 Summer Computer Simulation Conference
Temporal logic for scenario-based specifications
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Hi-index | 5.23 |
Live sequence charts (LSC) is a visual formalism that can be used to model reactive systems. In terms of LSC, a system model is a set of charts, each of which may be referred to as a multi-modalscenario. In this paper, we revisit the scenarios of the UML2-compliant dialect of LSC. We abstract from their concrete visual representation, and show how to capture multi-modal scenarios in a flexible, yet conservative, way. For this, we use the building blocks of Petri nets; i.e., places and transitions, extended with modalities and interpreted in accordance with the semantics of LSC. This results in what we refer to as LSC nets. LSC nets can express a variety of advanced constructs of LSC, as well as several semantic variations suggested in the literature, with just a few primitive notions. At the same time, the net corresponding to an LSC involves rather superficial, technical, changes in presentation. As a result, LSC nets form a rigorous basis to present, discuss, and investigate the language as a whole, or interesting fragments thereof.