Multi-criteria test cases selection for model transformations

Autor: Bader Alkhazi, Chaima Abid, Dorian Leroy, Manuel Wimmer, Marouane Kessentini

Publikováno v: Automated Software Engineering. 27:91-118

Model transformations play an important role in the evolution of systems in various fields such as healthcare, automotive and aerospace industry. Thus, it is important to check the correctness of model transformation programs. Several approaches have

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::73d713b75da5043a79b3c60a99e1d424
https://doi.org/10.1007/s10515-020-00271-w

Monilogging for Executable Domain-Specific Languages

Autor: Benoît Lelandais, Dorian Leroy, Marie-Pierre Oudot, Benoit Combemale

Publikováno v: SLE 2021-13th International Conference on Software Language Engineering
SLE 2021-13th International Conference on Software Language Engineering, Oct 2021, Chicago, United States. pp.1-14, ⟨10.1145/3486608.3486906⟩
SLE 2021-14th International Conference on Software Language Engineering
SLE 2021-14th International Conference on Software Language Engineering, Oct 2021, Chicago, United States. pp.1-14, ⟨10.1145/3486608.3486906⟩
SLE

International audience; Runtime monitoring and logging are fundamental techniques for analyzing and supervising the behavior of computer programs. However, supporting these techniques for a given language induces significant development costs that ca

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::69db3d08603e441fad45dd3e9345e9c5
https://hal.inria.fr/hal-03358061/document

Behavioral interfaces for executable DSLs

Autor: Dorian Leroy, Manuel Wimmer, Tanja Mayerhofer, Erwan Bousse, Benoit Combemale, Wieland Schwinger

Publikováno v: Software and Systems Modeling
Software and Systems Modeling, 2020, 19 (4), pp.1015-1043. ⟨10.1007/s10270-020-00798-2⟩
Software and Systems Modeling, Springer Verlag, 2020, 19 (4), pp.1015-1043. ⟨10.1007/s10270-020-00798-2⟩

Executable domain-specific languages (DSLs) enable the execution of behavioral models. While an execution is mostly driven by the model content (e.g., control structures), many use cases require interacting with the running model, such as simulating

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c81576b2c8d95602dd923969c338c88b
https://hal.science/hal-02565549/document

Trace Comprehension Operators for Executable DSLs

Autor: Anaël Megna, Erwan Bousse, Dorian Leroy, Manuel Wimmer, Benoit Combemale

Publikováno v: ECMFA 2018-14th European Conference on Modelling Foundations and Applications
ECMFA 2018-14th European Conference on Modelling Foundations and Applications, Jun 2018, Toulouse, France. pp.293-310, ⟨10.1007/978-3-319-92997-2_19⟩
Modelling Foundations and Applications ISBN: 9783319929965
ECMFA

International audience; Recent approaches contribute facilities to breathe life into metamodels, thus making behavioral models directly executable. Such facilities are particularly helpful to better utilize a model over the time dimension, e.g., for

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fd82d07bf189fcfd9bda01c410e4e603
https://inria.hal.science/hal-01803031