Skip to Main content Skip to Navigation
Conference papers

Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology

Abstract : Model-based technology has evolved rapidly in the last decade, bringing immediate benefits to its users. Defining domain specific languages has never been easier, thanks to the infrastructure provided by frameworks such as eclipse EMF and XText. Industrial adoption is easy, you provide specialists with just the language they need. But this is also an opportunity for formal methods and tools to find a wider user base. A problem hindering adoption of formal methods is the effort one needs to invest in learning a particular formalism and the possible gap that exists between a handcrafted model and the reality. Model translation provides an easy way to obtain formal models from domain models that contain fine grain behavioral information, since a DSL typically also has some runtime or code generation support. This talk will present our experiences in building tools for model-checking of various languages using models and transformations and thus lever-aging the state of the art in model engineering technology.
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download
Contributor : Yann Thierry-Mieg <>
Submitted on : Friday, April 19, 2019 - 2:52:33 PM
Last modification on : Saturday, May 16, 2020 - 4:24:02 PM


Publisher files allowed on an open archive


  • HAL Id : hal-02104397, version 1


Yann Thierry-Mieg. Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology. Petri Nets and Software Engineering. International Workshop, PNSE'16, 2016, Torun, Poland. ⟨hal-02104397⟩



Record views


Files downloads