Simulizar: Design-time modeling and performance analysis of self-adaptive systems
Modern software systems adapt themselves to changing environments in order to meet
quality-of-service requirements, such as response time limits. The engineering of the …
quality-of-service requirements, such as response time limits. The engineering of the …
[HTML][HTML] A survey and comparison of transformation tools based on the transformation tool contest
E Jakumeit, S Buchwald, D Wagelaar, L Dan… - Science of computer …, 2014 - Elsevier
Abstract Model transformation is one of the key tasks in model-driven engineering and relies
on the efficient matching and modification of graph-based data structures; its sibling graph …
on the efficient matching and modification of graph-based data structures; its sibling graph …
Performance analysis of self-adaptive systems for requirements validation at design-time
Self-adaptation allows continuously running software systems to operate in changing and
uncertain contexts while meeting their requirements in a broad range of contexts, eg, from …
uncertain contexts while meeting their requirements in a broad range of contexts, eg, from …
GP 2: efficient implementation of a graph programming language
C Bak - 2015 - etheses.whiterose.ac.uk
The graph programming language GP (Graph Programs) 2 and its implementation is the
subject of this thesis. The language allows programmers to write visual graph programs at a …
subject of this thesis. The language allows programmers to write visual graph programs at a …
Visual simple transformations: empowering end-users to wire internet of things objects
Empowering end-users to wire Internet of Things (IoT) objects (things and services) together
would allow them to more easily conceive and realize interesting IoT solutions. A challenge …
would allow them to more easily conceive and realize interesting IoT solutions. A challenge …
A multi-paradigm approach for modelling service interactions in model-driven engineering processes
S Van Mierlo, Y Van Tendeloo… - MODEL-DRIVEN …, 2018 - repository.uantwerpen.be
To tackle the growing complexity of engineered systems, Model-Driven Engineering (MDE)
proposes to promote models to first-class citizens in the development process. Within MDE …
proposes to promote models to first-class citizens in the development process. Within MDE …
[图书][B] Modelling event-based interactions in component-based architectures for quantitative system evaluation
C Rathfelder - 2014 - books.google.com
This dissertation thesis presents an approach enabling the modelling and quality-of-service
prediction of event-based systems at the architecture-level. Applying a two-step model …
prediction of event-based systems at the architecture-level. Applying a two-step model …
Reengineering component-based software systems with archimetrix
M von Detten, MC Platenius, S Becker - Software & Systems Modeling, 2014 - Springer
Many software development, planning, or analysis tasks require an up-to-date software
architecture documentation. However, this documentation is often outdated, unavailable, or …
architecture documentation. However, this documentation is often outdated, unavailable, or …
Safety optimization: A combination of fault tree analysis and optimization techniques
F Ortmeier, W Reif - International Conference on Dependable …, 2004 - ieeexplore.ieee.org
We present a new form of quantitative safety analysis-safety optimization. This method is a
combination of fault tree analysis (FTA) and mathematical optimization techniques. With the …
combination of fault tree analysis (FTA) and mathematical optimization techniques. With the …
Considering transient effects of self-adaptations in model-driven performance analyses
C Stier, A Koziolek - … ACM SIGSOFT Conference on Quality of …, 2016 - ieeexplore.ieee.org
Model-driven performance engineering allows software architects to reason on performance
characteristics of a software system in early design phases. In recent years, model-driven …
characteristics of a software system in early design phases. In recent years, model-driven …