SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS

DOI10.1142/S0129054102000935zbMath1066.68017OpenAlexW2024445190MaRDI QIDQ3021937

Hillel Kugler, David Harel

Publication date: 22 June 2005

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054102000935

zbMATH Keywords

synthesisreactive systemssoftware engineeringstatechartsobject-oriented systemssequence charts

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (10)

The computational complexity of scenario-based agent verification and design ⋮ Scenario-based verification of real-time systems using UPPAAL ⋮ Synthesis from scenario-based specifications ⋮ Statechartable Petri nets ⋮ GR(1)*: GR(1) specifications extended with existential guarantees ⋮ Synthesis of Reo circuits from scenario-based interaction specifications ⋮ Synthesis of Reo Circuits from Scenario-based Specifications ⋮ Infinite-state high-level MSCs: model-checking and realizability ⋮ On the Power of Play-Out for Scenario-Based Programs ⋮ Composition of Use Cases Using Synchronization and Model Checking

Cites Work

• Using branching time temporal logic to synthesize synchronization skeletons
• Statecharts: a visual formalism for complex systems
• A Deductive Approach to Program Synthesis
• Constructing Programs from Example Computations

This page was built for publication: SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS