Models@ run. time: a guided tour of the state of the art and research challenges

N Bencomo, S Götz, H Song - Software & Systems Modeling, 2019 - Springer
More than a decade ago, the research topic models@ run. time was coined. Since then, the
research area has received increasing attention. Given the prolific results during these …

Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime

M Szvetits, U Zdun - Software & Systems Modeling, 2016 - Springer
In the context of software development, models provide an abstract representation of a
software system or a part of it. In the software development process, they are primarily used …

ADDiff: semantic differencing for activity diagrams

S Maoz, JO Ringert, B Rumpe - Proceedings of the 19th ACM SIGSOFT …, 2011 - dl.acm.org
Activity diagrams (ADs) have recently become widely used in the modeling of workflows,
business processes, and web-services, where they serve various purposes, from …

Bridging models and systems at runtime to build adaptive user interfaces

M Blumendorf, G Lehmann, S Albayrak - Proceedings of the 2nd ACM …, 2010 - dl.acm.org
Adapting applications and user interfaces at runtime requires a deeper understanding of the
underlying design. Models formalize this design, express the underlying concepts and make …

Model execution tracing: a systematic map** study

F Hojaji, T Mayerhofer, B Zamani… - Software and Systems …, 2019 - Springer
Abstract Model-Driven Engineering is a development paradigm that uses models instead of
code as primary development artifacts. In this paper, we focus on executable models, which …

Lotus@ runtime: A tool for runtime monitoring and verification of self-adaptive systems

DM Barbosa, RGDM Lima, PHM Maia… - 2017 IEEE/ACM 12th …, 2017 - ieeexplore.ieee.org
This paper presents Lotus@ Runtime, an extensible tool that uses models@ runtime to
monitor and verify self-adaptive systems. The tool monitors the execution traces generated …

[PDF][PDF] Model-driven engineering of self-adaptive software

T Vogel - 2018 - researchgate.net
The development of self-adaptive software requires the engineering of an adaptation engine
that controls the underlying adaptable software by a feedback loop. State-of-the-art …

Runtime model-based privacy checks of big data cloud services

E Schmieders, A Metzger, K Pohl - … ICSOC 2015, Goa, India, November 16 …, 2015 - Springer
Cloud services have to comply with privacy policies when storing or processing data. As
cloud services become increasingly data-intensive, eg, in the case of big data analytics, data …

Using run time traces in automated programming tutoring

M Striewe, M Goedicke - Proceedings of the 16th annual joint conference …, 2011 - dl.acm.org
Running test cases against a student's solution of a programming assignment is one of the
easiest ways to generate feedback. If black-box tests are used, students may have difficulties …

Optimizing the symbolic execution of evolving rhapsody statecharts

A Khalil, J Dingel - Advances in Computers, 2018 - Elsevier
Abstract Model-driven engineering (MDE) is an iterative and incremental software
development process. Supporting the analysis and the verification of software systems …