Alternating automata, the weak monadic theory of trees and its complexity
Theoretical Computer Science
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Multiple instances and symbolic variables in executable sequence charts
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Weak Alternating Automata Are Not That Weak
ISTCS '97 Proceedings of the Fifth Israel Symposium on the Theory of Computing Systems (ISTCS '97)
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
Synthesizing State-Based Object Systems from LSC Specifications
Synthesizing State-Based Object Systems from LSC Specifications
The Rhapsody UML Verification Environment
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams
ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Synthesis revisited: generating statechart models from scenario-based requirements
Formal Methods in Software and Systems Modeling
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
From multi-modal scenarios to code: compiling LSCs into aspectJ
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Generating Code from Scenario and State Based Models to Address Crosscutting Concerns
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
Towards Trace Visualization and Exploration for Reactive Systems
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Runtime monitoring of web service conversations
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Visualizing inter-dependencies between scenarios
Proceedings of the 4th ACM symposium on Software visualization
Thread---Based Analysis of Sequence Diagrams
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Property Patterns for Runtime Monitoring of Web Service Conversations
Runtime Verification
Semantics of the interaction overview diagram
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
S2A: a compiler for multi-modal UML sequence diagrams
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Model checking of UML 2.0 interactions
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Planned and traversable play-out: a flexible method for executing scenario-based programs
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Semantics of UML models for dynamic behavior: a survey of different approaches
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
FM'06 Proceedings of the 14th international conference on Formal Methods
On the power of play-out for scenario-based programs
Concurrency, Compositionality, and Correctness
Formally defining a graphical language for monitoring and checking object interactions
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
An interleaving semantics for UML 2 interactions using Petri nets
Information Sciences: an International Journal
Aspect interaction chart - a UML approach for modularizing aspect interaction conflicts
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Object Petri nets marking using UML
International Journal of Computer Applications in Technology
Validation environment of UML2 IOD based on hierarchical coloured Petri nets
International Journal of Computer Applications in Technology
Hi-index | 0.00 |
Live Sequence Charts (LSC) extend Message Sequence Charts (MSC), mainly by distinguishing possible from necessary behavior. They thus enable the specification of rich multi-modal scenario-based properties, such as mandatory, possible and forbidden scenarios. The sequence diagrams of UML 2.0 enrich those of previous versions of UML by two new operators, assert and negate, for specifying required and forbidden behaviors, which appear to have been inspired by LSC. The UML 2.0 semantics of sequence diagrams, however, being based on pairs of valid and invalid sets of traces, is inadequate, and prevents the new operators from being used effectively. We propose an extension of, and a different semantics for this UML language - Modal UML Sequence Diagrams (MUSD) - based on the universal/existential modal semantics of LSC. MUSD can be formally defined as a UML profile, thus paving the way to apply formal verification, synthesis, and scenario-based execution techniques from LSC to the mainstream UML standard.