Lightweight Formal Methods for Scenario-based Software Engineering

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution


Two fundamental problems related to Scenario-based Software Engineering (SBSE) are presented: model checking and synthesis. The former is to verify that a design model is consistent with a scenario-basedspecification. The latter is to build a design model implementing correctly a specification. Model checking is computationally expensive and synthesis of distributed system is undecidable. Two lightweight techniques are thus presented that alleviate this intractability. These approaches sacrifice completeness for efficiency, but keep soundness.
Original languageEnglish
Title of host publicationScenarios: Models, Transformations and Tools
EditorsStefan Leue, Tarja Johanna
Number of pages19
Publication statusPublished - 2005


Dive into the research topics of 'Lightweight Formal Methods for Scenario-based Software Engineering'. Together they form a unique fingerprint.

Cite this