LSCs: Breathing life into message sequence charts
From MaRDI portal
Publication:5946346
DOI10.1023/A:1011227529550zbMath0985.68033OpenAlexW1592055490MaRDI QIDQ5946346
Publication date: 21 May 2002
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1011227529550
Related Items (38)
Revisiting Semantics of Interactions for Trace Validity Analysis ⋮ Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation ⋮ Implementation of the conformation of MSC and SDL diagrams in the REAL technology ⋮ The computational complexity of scenario-based agent verification and design ⋮ Introduction to Model Checking ⋮ Modeling for Verification ⋮ Graph Transformation with Dependencies for the Specification of Interactive Systems ⋮ On the semantics of Alice \& Bob specifications of security protocols ⋮ Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism ⋮ Multi-modal scenarios revisited: a net-based representation ⋮ Quantifying the Discord: Order Discrepancies in Message Sequence Charts ⋮ Scenario-based verification of real-time systems using UPPAAL ⋮ A Discrete Geometric Model of Concurrent Program Execution ⋮ Synthesis from scenario-based specifications ⋮ SMT-based scenario verification for hybrid systems ⋮ QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS ⋮ A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams ⋮ An abstraction-refinement framework for trigger querying ⋮ Integrating a formal method into a software engineering process with UML and Java ⋮ Integrating Model Information in UML Sequence Diagrams ⋮ Formal concepts for an integrated internal model of the UML ⋮ Synthesis of Reo circuits from scenario-based interaction specifications ⋮ CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks ⋮ Synthesis of Reo Circuits from Scenario-based Specifications ⋮ Multiple Synchrony in MSC ⋮ On the Power of Play-Out for Scenario-Based Programs ⋮ Dynamic and formal verification of embedded systems: A comparative survey ⋮ Some Results on the Expressive Power and Complexity of LSCs ⋮ Parametric Trace Slicing and Monitoring ⋮ Improving Translation of Live Sequence Charts to Temporal Logic ⋮ Weaving Multiple Aspects in Sequence Diagrams ⋮ Oclets – Scenario-Based Modeling with Petri Nets ⋮ Formal Techniques for Analysing Scenarios using Message Sequence Charts ⋮ Timed Semantics of Message Sequence Charts Based on Timed Automata ⋮ A theory of regular MSC languages ⋮ Concurrency in Biological Modeling: Behavior, Execution and Visualization ⋮ Signal Transduction Pathways as Concurrent Reactive Systems: A Modeling and Simulation Approach Using LSCs and the Play-Engine ⋮ Stepwise refinement of sequence diagrams with soft real-time constraints
This page was built for publication: LSCs: Breathing life into message sequence charts
