LSCs: Breathing life into message sequence charts
From MaRDI portal
Recommendations
Cited in
(51)- Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism
- An abstraction-refinement framework for trigger querying
- Stepwise refinement of sequence diagrams with soft real-time constraints
- Implementation of the conformation of MSC and SDL diagrams in the REAL technology
- The computational complexity of scenario-based agent verification and design
- SMT-based scenario verification for hybrid systems
- Integrating a formal method into a software engineering process with UML and Java
- Dynamic and formal verification of embedded systems: A comparative survey
- A theory of regular MSC languages
- scientific article; zbMATH DE number 1701777 (Why is no real title available?)
- scientific article; zbMATH DE number 1728519 (Why is no real title available?)
- Improving translation of live sequence charts to temporal logic
- Formal techniques for analysing scenarios using message sequence charts
- Timed semantics of message sequence charts based on timed automata
- 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
- Casl-Mdl, modelling dynamic systems with a formal foundation and a UML-like notation
- A discrete geometric model of concurrent program execution
- SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS
- Introduction to model checking
- Modeling for Verification
- Graph Transformation with Dependencies for the Specification of Interactive Systems
- Quantifying the Discord: Order Discrepancies in Message Sequence Charts
- Causal Message Sequence Charts
- QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS
- On the Expressive Power of Live Sequence Charts
- Parametric Trace Slicing and Monitoring
- Weaving Multiple Aspects in Sequence Diagrams
- Oclets – Scenario-Based Modeling with Petri Nets
- Multi-modal scenarios revisited: a net-based representation
- Synthesis from scenario-based specifications
- scientific article; zbMATH DE number 1956501 (Why is no real title available?)
- scientific article; zbMATH DE number 1773071 (Why is no real title available?)
- Integrating Model Information in UML Sequence Diagrams
- Formal concepts for an integrated internal model of the UML
- Revisiting Semantics of Interactions for Trace Validity Analysis
- Synthesis of Reo circuits from scenario-based specifications
- Multiple synchrony in MSC
- On the power of play-out for scenario-based programs
- A typed attributed graph grammar with inheritance for the abstract syntax of UML class and sequence diagrams
- Synthesis of Reo circuits from scenario-based interaction specifications
- Some Results on the Expressive Power and Complexity of LSCs
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
- Automated Technology for Verification and Analysis
- Modal scenarios as automata
- An input language based on extended message sequence charts and used for test specification
- Scenario-based verification of real-time systems using UPPAAL
- Domain modelling: a foundation for software development
- APML: an architecture proof modeling language
- Causal message sequence charts
- On the semantics of Alice \& Bob specifications of security protocols
This page was built for publication: LSCs: Breathing life into message sequence charts
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5946346)
