2020
|
Bader Alkhazi; Chaima Abid; Marouane Kessentini; Manuel Wimmer On the value of quality attributes for refactoring ATL model transformations: A multi-objective approach Journal Article Information and Software Technology, 120 , pp. 106243, 2020, ISSN: 0950-5849. Abstract | Links | BibTeX @article{ALKHAZI2020106243,
title = {On the value of quality attributes for refactoring ATL model transformations: A multi-objective approach},
author = {Bader Alkhazi and Chaima Abid and Marouane Kessentini and Manuel Wimmer},
url = {http://www.sciencedirect.com/science/article/pii/S0950584919302617},
doi = {https://doi.org/10.1016/j.infsof.2019.106243},
issn = {0950-5849},
year = {2020},
date = {2020-01-01},
journal = {Information and Software Technology},
volume = {120},
pages = {106243},
abstract = {Context
Model transformations play a fundamental role in Model-Driven Engineering (MDE) as they are used to manipulate models and to transform them between source and target metamodels. However, model transformation programs lack significant support to maintain good quality which is in contrast to established programming paradigms such as object-oriented programming. In order to improve the quality of model transformations, the majority of existing studies suggest manual support for the developers to execute a number of refactoring types on model transformation programs. Other recent studies aimed to automate the refactoring of model transformation programs, mostly focusing on the ATLAS Transformation Language (ATL), by improving mainly few quality metrics using a number of refactoring types.
Objective
In this paper, we propose a novel set of quality attributes to evaluate refactored ATL programs based on the hierarchical quality model QMOOD.
Method
We used the proposed quality attributes to guide the selection of the best refactorings to improve ATL programs using multi-objective search.
Results
We validate our approach on a comprehensive dataset of model transformations. The statistical analysis of our experiments on 30 runs shows that our automated approach recommended useful refactorings based on a benchmark of ATL transformations and compared to random search, mono-objective search formulation, a previous work based on a different formulation of multi-objective search with few quality metrics, and a semi-automated refactoring approach not based on heuristic search.
Conclusion
All these existing studies did not use our QMOOD adaptation for ATL which confirms the relevance of our quality attributes to guide the search for good refactoring suggestions.},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Context
Model transformations play a fundamental role in Model-Driven Engineering (MDE) as they are used to manipulate models and to transform them between source and target metamodels. However, model transformation programs lack significant support to maintain good quality which is in contrast to established programming paradigms such as object-oriented programming. In order to improve the quality of model transformations, the majority of existing studies suggest manual support for the developers to execute a number of refactoring types on model transformation programs. Other recent studies aimed to automate the refactoring of model transformation programs, mostly focusing on the ATLAS Transformation Language (ATL), by improving mainly few quality metrics using a number of refactoring types.
Objective
In this paper, we propose a novel set of quality attributes to evaluate refactored ATL programs based on the hierarchical quality model QMOOD.
Method
We used the proposed quality attributes to guide the selection of the best refactorings to improve ATL programs using multi-objective search.
Results
We validate our approach on a comprehensive dataset of model transformations. The statistical analysis of our experiments on 30 runs shows that our automated approach recommended useful refactorings based on a benchmark of ATL transformations and compared to random search, mono-objective search formulation, a previous work based on a different formulation of multi-objective search with few quality metrics, and a semi-automated refactoring approach not based on heuristic search.
Conclusion
All these existing studies did not use our QMOOD adaptation for ATL which confirms the relevance of our quality attributes to guide the search for good refactoring suggestions. |
Sabine Wolny; Alexandra Mazak; Manuel Wimmer; Christian Huemer Model-driven Runtime State Identification Inproceedings Heinrich C Mayr; Stefanie Rinderle-Ma; Stefan Strecker (Ed.): 40 Years EMISA 2019, pp. 29–44, Gesellschaft für Informatik e.V., Bonn, 2020. Abstract | Links | BibTeX @inproceedings{mci/Wolny2020,
title = {Model-driven Runtime State Identification},
author = {Sabine Wolny and Alexandra Mazak and Manuel Wimmer and Christian Huemer},
editor = {Heinrich C Mayr and Stefanie Rinderle-Ma and Stefan Strecker},
url = {https://dl.gi.de/handle/20.500.12116/33137},
year = {2020},
date = {2020-01-01},
booktitle = {40 Years EMISA 2019},
pages = {29--44},
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn},
abstract = {With new advances such as Cyber-Physical Systems (CPS) and Internet of Things (IoT), more and more discrete software systems interact with continuous physical systems. State machines are a classical approach to specify the intended behavior of discrete systems during development. However, the actual realized behavior may deviate from those specified models due to environmental impacts, or measurement inaccuracies. Accordingly, data gathered at runtime should be validated against the specified model. A first step in this direction is to identify the individual system states of each execution of a system at runtime. This is a particular challenge for continuous systems where system states may be only identified by listening to sensor value streams. A further challenge is to raise these raw value streams on a model level for checking purposes. To tackle these challenges, we introduce a model-driven runtime state identification approach. In particular, we automatically derive corresponding time-series database queries from state machines in order to identify system runtime states based on the sensor value streams of running systems. We demonstrate our approach for a subset of SysML and evaluate it based on a case study of a simulated environment of a five-axes grip-arm robot within a working station.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
With new advances such as Cyber-Physical Systems (CPS) and Internet of Things (IoT), more and more discrete software systems interact with continuous physical systems. State machines are a classical approach to specify the intended behavior of discrete systems during development. However, the actual realized behavior may deviate from those specified models due to environmental impacts, or measurement inaccuracies. Accordingly, data gathered at runtime should be validated against the specified model. A first step in this direction is to identify the individual system states of each execution of a system at runtime. This is a particular challenge for continuous systems where system states may be only identified by listening to sensor value streams. A further challenge is to raise these raw value streams on a model level for checking purposes. To tackle these challenges, we introduce a model-driven runtime state identification approach. In particular, we automatically derive corresponding time-series database queries from state machines in order to identify system runtime states based on the sensor value streams of running systems. We demonstrate our approach for a subset of SysML and evaluate it based on a case study of a simulated environment of a five-axes grip-arm robot within a working station. |
J Sanchez Cuadrado; L Burgueno; M Wimmer; A Vallecillo Efficient execution of ATL model transformations using static analysis and parallelism Journal Article IEEE Transactions on Software Engineering, pp. 1-1, 2020. Abstract | Links | BibTeX @article{9146715,
title = {Efficient execution of ATL model transformations using static analysis and parallelism},
author = {J Sanchez Cuadrado and L Burgueno and M Wimmer and A Vallecillo},
doi = {10.1109/TSE.2020.3011388},
year = {2020},
date = {2020-01-01},
journal = {IEEE Transactions on Software Engineering},
pages = {1-1},
abstract = {Although model transformations are considered to be the heart and soul of Model Driven Engineering (MDE), there are still several challenges that need to be addressed to unleash their full potential in industrial settings. Among other shortcomings, their performance and scalability remain unsatisfactory for dealing with large models, making their wide adoption difficult in practice. This paper presents A2L, a compiler for the parallel execution of ATL model transformations, which produces efficient code that can use existing multicore computer architectures, and applies effective optimizations at the transformation level using static analysis. We have evaluated its performance in both sequential and multi-threaded modes obtaining significant speedups with respect to current ATL implementations. In particular, we obtain speedups between 2.32x and 38.28x for the A2L sequential version, and between 2.40x and 245.83x when A2L is executed in parallel, with expected average speedups of 8.59x and 22.42x, respectively.},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Although model transformations are considered to be the heart and soul of Model Driven Engineering (MDE), there are still several challenges that need to be addressed to unleash their full potential in industrial settings. Among other shortcomings, their performance and scalability remain unsatisfactory for dealing with large models, making their wide adoption difficult in practice. This paper presents A2L, a compiler for the parallel execution of ATL model transformations, which produces efficient code that can use existing multicore computer architectures, and applies effective optimizations at the transformation level using static analysis. We have evaluated its performance in both sequential and multi-threaded modes obtaining significant speedups with respect to current ATL implementations. In particular, we obtain speedups between 2.32x and 38.28x for the A2L sequential version, and between 2.40x and 245.83x when A2L is executed in parallel, with expected average speedups of 8.59x and 22.42x, respectively. |
Christian Burghard; Luca Berardinelli Visualizing Multi-dimensional State Spaces Using Selective Abstraction Inproceedings 46th Euromicro Conference on Software Engineering and Advanced Applications,
SEAA 2020, Portoroz, Slovenia, August 26-28, 2020, pp. 141–149, IEEE, 2020. Links | BibTeX @inproceedings{DBLP:conf/euromicro/BurghardB20,
title = {Visualizing Multi-dimensional State Spaces Using Selective Abstraction},
author = {Christian Burghard and Luca Berardinelli},
url = {https://doi.org/10.1109/SEAA51224.2020.00032},
doi = {10.1109/SEAA51224.2020.00032},
year = {2020},
date = {2020-01-01},
booktitle = {46th Euromicro Conference on Software Engineering and Advanced Applications,
SEAA 2020, Portoroz, Slovenia, August 26-28, 2020},
pages = {141--149},
publisher = {IEEE},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Bader Alkhazi; Chaima Abid; Marouane Kessentini; Dorian Leroy; Manuel Wimmer Multi-criteria test cases selection for model transformations Journal Article Autom. Softw. Eng., 27 (1), pp. 91–118, 2020. Links | BibTeX @article{DBLP:journals/ase/AlkhaziAKLW20,
title = {Multi-criteria test cases selection for model transformations},
author = {Bader Alkhazi and Chaima Abid and Marouane Kessentini and Dorian Leroy and Manuel Wimmer},
url = {https://doi.org/10.1007/s10515-020-00271-w},
doi = {10.1007/s10515-020-00271-w},
year = {2020},
date = {2020-01-01},
journal = {Autom. Softw. Eng.},
volume = {27},
number = {1},
pages = {91--118},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
2019
|
Eugene Syriani; Robert Bill; Manuel Wimmer Domain-Specific Model Distance Measures Journal Article J. Object Technol., 18 (3), pp. 3:1––19, 2019. Links | BibTeX @article{DBLP:journals/jot/SyrianiBW19,
title = {Domain-Specific Model Distance Measures},
author = {Eugene Syriani and Robert Bill and Manuel Wimmer},
url = {http://www.jot.fm/issues/issue_2019_03/article3.pdf},
year = {2019},
date = {2019-01-01},
journal = {J. Object Technol.},
volume = {18},
number = {3},
pages = {3:1----19},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Robert Bill; Martin Fleck; Javier Troya; Tanja Mayerhofer; Manuel Wimmer A local and global tour on MOMoT Journal Article Softw. Syst. Model., 18 (2), pp. 1017–1046, 2019. Links | BibTeX @article{DBLP:journals/sosym/BillFTMW19,
title = {A local and global tour on MOMoT},
author = {Robert Bill and Martin Fleck and Javier Troya and Tanja Mayerhofer and Manuel Wimmer},
url = {https://doi.org/10.1007/s10270-017-0644-3},
doi = {10.1007/s10270-017-0644-3},
year = {2019},
date = {2019-01-01},
journal = {Softw. Syst. Model.},
volume = {18},
number = {2},
pages = {1017--1046},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
2018
|
Benoit Combemale; Jörg Kienzle; Gunter Mussbacher; Olivier Barais; Erwan Bousse; Walter Cazzola; Philippe Collet; Thomas Degueule; Robert Heinrich; Jean-Marc Jézéquel; Manuel Leduc; Tanja Mayerhofer; Sébastien Mosser; Matthias Schöttle; Misha Strittmatter; Andreas Wortmann Concern-Oriented Language Development (COLD): Fostering Reuse in Language Engineering Journal Article Computer Languages, Systems and Structures, 54 , pp. 139-155, 2018. Links | BibTeX @article{combemale:hal-01803008,
title = {Concern-Oriented Language Development (COLD): Fostering Reuse in Language Engineering},
author = {Benoit Combemale and Jörg Kienzle and Gunter Mussbacher and Olivier Barais and Erwan Bousse and Walter Cazzola and Philippe Collet and Thomas Degueule and Robert Heinrich and Jean-Marc Jézéquel and Manuel Leduc and Tanja Mayerhofer and Sébastien Mosser and Matthias Schöttle and Misha Strittmatter and Andreas Wortmann},
url = {https://hal.archives-ouvertes.fr/hal-01803008},
doi = {10.1016/j.cl.2018.05.004},
year = {2018},
date = {2018-12-01},
journal = {Computer Languages, Systems and Structures},
volume = {54},
pages = {139-155},
publisher = {Elsevier},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Dorian Leroy; Erwan Bousse; Anaël Megna; Benoit Combemale; Manuel Wimmer Trace Comprehension Operators for Executable DSLs Inproceedings 14th European Conference on Modelling Foundations and Applications (ECMFA), Springer, 2018. Links | BibTeX @inproceedings{Leroy2018,
title = {Trace Comprehension Operators for Executable DSLs},
author = {Dorian Leroy and Erwan Bousse and Anaël Megna and Benoit Combemale and Manuel Wimmer},
url = {https://hal.inria.fr/hal-01803031},
doi = {10.1007/978-3-319-92997-2_19},
year = {2018},
date = {2018-05-29},
booktitle = {14th European Conference on Modelling Foundations and Applications (ECMFA)},
volume = {10890},
publisher = {Springer},
series = {LNCS},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Erwan Bousse; Dorian Leroy; Benoit Combemale; Manuel Wimmer; Benoit Baudry Omniscient Debugging for Executable DSLs Journal Article Journal of Systems and Software, pp. 261-288, 2018, ISSN: 0164-1212. Links | BibTeX @article{BOUSSE2017b,
title = {Omniscient Debugging for Executable DSLs},
author = {Erwan Bousse and Dorian Leroy and Benoit Combemale and Manuel Wimmer and Benoit Baudry},
url = {http://www.sciencedirect.com/science/article/pii/S0164121217302765},
doi = {https://doi.org/10.1016/j.jss.2017.11.025},
issn = {0164-1212},
year = {2018},
date = {2018-03-01},
journal = {Journal of Systems and Software},
pages = {261-288},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
2017
|
Dorian Leroy; Manuel Wimmer; Erwan Bousse; Benoit Combemale; Wieland Schwinger Create and Play your Pac-Man Game with the GEMOC Studio (Tool Demo) Inproceedings Proceedings of the 3rd International Workshop on Executable Modeling (EXE 2017) colocated at MODELS 2017, CEUR, 2017. Links | BibTeX @inproceedings{LeroyEXE2017,
title = {Create and Play your Pac-Man Game with the GEMOC Studio (Tool Demo)},
author = {Dorian Leroy and Manuel Wimmer and Erwan Bousse and Benoit Combemale and Wieland Schwinger},
url = {https://modeltransformation.net/tetrabox/wp-content/uploads/2017/10/exe-2017-pacman-slides.pdf, Slides},
year = {2017},
date = {2017-09-18},
booktitle = {Proceedings of the 3rd International Workshop on Executable Modeling (EXE 2017) colocated at MODELS 2017},
publisher = {CEUR},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Erwan Bousse; Tanja Mayerhofer; Manuel Wimmer Domain-Level Debugging for Compiled DSLs with the GEMOC Studio (Tool Demo) Inproceedings Proceedings of the 1rst International Workshop on Debugging in Model-Driven Engineering (MDEbug 2017) colocated at MODELS 2017, CEUR, 2017. Links | BibTeX @inproceedings{BousseMDEbug2017,
title = {Domain-Level Debugging for Compiled DSLs with the GEMOC Studio (Tool Demo)},
author = {Erwan Bousse and Tanja Mayerhofer and Manuel Wimmer},
url = {https://modeltransformation.net/tetrabox/wp-content/uploads/2017/10/slides-mdebug17.pdf, Slides},
year = {2017},
date = {2017-09-17},
booktitle = {Proceedings of the 1rst International Workshop on Debugging in Model-Driven Engineering (MDEbug 2017) colocated at MODELS 2017},
publisher = {CEUR},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Erwan Bousse; Tanja Mayerhofer; Benoit Combemale; Benoit Baudry Advanced and efficient execution trace management for executable domain-specific modeling languages Journal Article Software & Systems Modeling (SoSym), 2017, ISSN: 1619-1374. Links | BibTeX @article{Bousse2017,
title = {Advanced and efficient execution trace management for executable domain-specific modeling languages},
author = {Erwan Bousse and Tanja Mayerhofer and Benoit Combemale and Benoit Baudry},
url = {https://hal.inria.fr/hal-01614377/document, Paper},
doi = {10.1007/s10270-017-0598-5},
issn = {1619-1374},
year = {2017},
date = {2017-05-16},
journal = {Software & Systems Modeling (SoSym)},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
2016
|
Erwan Bousse; Thomas Degueule; Didier Vojtisek; Tanja Mayerhofer; Julien Deantoni; Benoit Combemale Execution Framework of the GEMOC Studio (Tool Demo) Inproceedings Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, pp. 8, ACM New York, Amsterdam, Netherlands, 2016. Links | BibTeX @inproceedings{BousseSLE16,
title = {Execution Framework of the GEMOC Studio (Tool Demo)},
author = {Erwan Bousse and Thomas Degueule and Didier Vojtisek and Tanja Mayerhofer and Julien Deantoni and Benoit Combemale},
url = {https://hal.inria.fr/hal-01355391v2/document, Preprint
https://modeltransformation.net/tetrabox/wp-content/uploads/2017/10/slides-sle16.pdf, Slides},
doi = {10.1145/2997364.2997384},
year = {2016},
date = {2016-11-01},
booktitle = {Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering},
pages = {8},
publisher = {ACM New York},
address = {Amsterdam, Netherlands},
series = {SLE 2016},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Erwan Bousse; Manuel Wimmer; Wieland Schwinger; Elisabeth Kapsammer On Leveraging Executable Language Engineering for Domain- Specific Transformation Languages Inproceedings Proceedings of the 2nd International Workshop on Executable Modeling (EXE 2016) colocated at MODELS 2016, CEUR, 2016. Links | BibTeX @inproceedings{BousseEXE2016,
title = {On Leveraging Executable Language Engineering for Domain- Specific Transformation Languages},
author = {Erwan Bousse and Manuel Wimmer and Wieland Schwinger and Elisabeth Kapsammer},
url = {http://ceur-ws.org/Vol-1760/paper7.pdf, Paper
https://modeltransformation.net/tetrabox/wp-content/uploads/2017/10/exe16-slides-dstl-ebousse.pdf, Slides},
year = {2016},
date = {2016-10-03},
booktitle = {Proceedings of the 2nd International Workshop on Executable Modeling (EXE 2016) colocated at MODELS 2016},
publisher = {CEUR},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
