Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

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

Yann Thierry-Mieg

Résumé

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.
Fichier principal
Vignette du fichier
paper5.pdf (250.87 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-02104397 , version 1 (19-04-2019)

Identifiants

  • HAL Id : hal-02104397 , version 1

Citer

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⟩
52 Consultations
27 Téléchargements

Partager

Gmail Facebook X LinkedIn More