Talks

@misc{edoc2020,
title = {Modeling Language Engineering 4.0: From Design-Time to Runtime and Back Again - EDOC 2020 Keynote Speaker},
author = {Manuel Wimmer},
url = {https://www.jku.at/forschung/forschungs-dokumentation/vortrag/32145},
year = {2020},
date = {2020-10-07},
abstract = {Modeling languages started as key elements for sketching and documenting software-intensive systems. Today, we often recognize a discrepancy between design models concentrating on the desired behaviour of a system and its real world correspondents reflecting deviations taking place at runtime. In order to close this gap, design models must not be static elements, but evolutionary ones. However, this requires a new generation of modeling languages equipped with an explicit runtime perspective incorporating operational data. Efficiently developing such modeling languages with novel language engineering methods is our quest in the research laboratory CDL-MINT (https://cdl-mint.se.jku.at). In particular, we focus the model-driven continuous evolution of Industry 4.0 systems based on operational data gathered and analysed at runtime. In my talk, I will present some initial results of this project, in particular a novel language engineering method for linking design models with operational data. I will also elaborate on the proposed technologies for the respective architectural layers for realizing such modeling languages and identify the research challenges ahead.},
keywords = {},
pubstate = {published},
tppubtype = {presentation}
}

@misc{ASE2020,
title = {Multi-criteria test cases selection for model transformations (Journal First Paper Presentation)},
author = {Bader Alkhazi and Chaima Abid and Marouane Kessentini and Dorian Leroy and Manuel Wimmer},
url = {https://conf.researchr.org/track/ase-2020/ase-2020-journal-first-papers?#event-overview},
doi = {10.1007/s10515-020-00271-w},
year = {2020},
date = {2020-09-22},
abstract = {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 been proposed to generate test cases for model transformations based on different coverage criteria (e.g., statements, rules, metamodel elements, etc.). However, the execution of a large number of test cases during the evolution of transformation programs is time-consuming and may include a lot of overlap between the test cases. In this paper, we propose a test case selection approach for model transformations based on multi-objective search. We use the non-dominated sorting genetic algorithm (NSGA-II) to find the best trade-offs between two conflicting objectives: (1) maximize the coverage of rules and (2) minimize the execution time of the selected test cases. We validated our approach on several evolution cases of medium and large ATLAS Transformation Language (ATL) programs.},
keywords = {},
pubstate = {published},
tppubtype = {presentation}
}

@misc{ISSTA2020,
title = {Uncertainty Modeling and Evaluation for Dependable IoT Cloud Systems Design},
author = {Luca Berardinelli and Hong-Linh Truong},
url = {https://conf.researchr.org/program/issta-2020/program-issta-2020?date=Sun%2019%20Jul%202020&track=ISSTA%20TAV-CPS%2FIoT#detailed-table},
year = {2020},
date = {2020-07-19},
abstract = {Developing dependable complex applications using IoT and cloud services is very challenging. Using service APIs and client libraries the developer can glue various software capabilities to build complex IoT Cloud applications but the developer also needs to arbitrarily extend and model functional and quality aspects of new components, connectors, and their interactions. Hence, knowledge about existing IoT Cloud and modeling is crucial. However, due to the lack of knowledge and the complexity of IoT Cloud Systems, the developer might introduce or might not be able to detect various types of uncertainties, which strongly influence the application. In this talk we aim at detecting such uncertainties and recommend software design to deal with such uncertainties as early as possible. We model and evaluate potential uncertainties on design artifacts representing structural and/or behavioral information about the system under study. We propose a rule-based Uncertainty Modeling and Evaluation methodology (UME) and tool (T4UME) to help users in detecting potential uncertainties on design artifacts and to decide whether or not refactoring strategies should be applied to uncertain system design artifacts. In particular, our framework deals with uncertainty as a crosscutting, multidisciplinary concept by providing proper extension and customisation mechanism to suitably tailor its adoption to different domains.},
keywords = {},
pubstate = {published},
tppubtype = {presentation}
}

@misc{FlexMDE19,
title = {Flexible Modeling by Prototype-based Languages and Inconsistency Management: Two Experiences from the Production System Domain},
author = {Manuel Wimmer },
editor = {ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems},
year = {2019},
date = {2019-09-17},
abstract = {FlexMDE 2019 - 5th Flexible MDE Workshop
Tuesday, September 17th - Munich (Germany)
ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019)
http://www.modelsconference.org/ },
keywords = {},
pubstate = {published},
tppubtype = {presentation}
}

@misc{MULTI2018,
title = {Multi-Level Modeling in the Wild with AutomationML},
author = {Manuel Wimmer },
url = {https://www.wi-inf.uni-duisburg-essen.de/MULTI2018/},
year = {2018},
date = {2018-10-16},
keywords = {},
pubstate = {published},
tppubtype = {presentation}
}

@misc{pnse18-1,
title = {On the Interplay between Model-Driven Engineering, Domain-Specific Languages, and Petri Nets},
author = {Manuel Wimmer},
url = {http://ceur-ws.org/Vol-2138/paper0.pdf},
year = {2018},
date = {2018-06-24},
pages = {11--12},
crossref = {|PNSE18},
keywords = {},
pubstate = {published},
tppubtype = {presentation}
}

@misc{authorauthor2017,
title = {A Generic White-Box Model Transformation Testing Framework},
author = {Dorian Leroy},
url = {https://modeltransformation.net/tetrabox/wp-content/uploads/2017/10/diverse-coffee.pdf, Slides},
year = {2017},
date = {2017-10-19},
address = {IRISA (Rennes, France)},
howpublished = {DiverSE Coffee Seminar},
keywords = {},
pubstate = {published},
tppubtype = {presentation}
}