Andy Schürr
YOU?
Author Swipe
View article: Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description) Open
Software engineers are faced with the challenge of creating control algorithms for increasingly complex dynamic systems, such as the management of communication network topologies. To support rapid prototyping for these increasingly comple…
View article: Checking Timed Bisimilarity with Virtual Clocks
Checking Timed Bisimilarity with Virtual Clocks Open
Timed automata are a widely used formalism for specifying the discrete-state/continuous-time behavior of time-critical reactive systems. For the fundamental verification problem of comparing two timed automata, it has been shown that timed…
View article: Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules
Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules Open
Sequential model synchronisation is the task of propagating changes from one model to another correlated one to restore consistency. It is challenging to perform this propagation in a least-changing way that avoids unnecessary deletions (w…
View article: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games
Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games Open
In many recent application domains, software systems must repeatedly reconfigure themselves at runtime to satisfy changing contextual requirements. To decide which next configuration is presumably best suited is a very challenging task as …
View article: D4M, a Self-Adapting Decentralized Derived Data Collection and Monitoring Framework
D4M, a Self-Adapting Decentralized Derived Data Collection and Monitoring Framework Open
Peer-to-peer systems are evolving as a viable distributed resource sharing paradigm on the Internet. The trend is growing towards the usage of such decentralized systems because they are more scalable and resource efficient than centralize…
View article: Gray Box Coverage Criteria for Testing Graph Pattern Matching
Gray Box Coverage Criteria for Testing Graph Pattern Matching Open
Model transformations (MT) are a core building block of Model-Driven Engineering. The quality of MT specifications and implementations is vital to their success. The well-researched formal underpinning of graph transformation (GT) theory a…
View article: Optimizing Model-Based Software Product Line Testing with Graph Transformations
Optimizing Model-Based Software Product Line Testing with Graph Transformations Open
Software Product Lines (SPLs) are increasing in relevance and importance as various domains strive to cope with the challenges of supporting a high degree of variability in modern software systems. Especially the systematic testing of SPLs…
View article: A Comparison of Incremental Triple Graph Grammar Tools
A Comparison of Incremental Triple Graph Grammar Tools Open
Triple Graph Grammars (TGGs) are a graph-based and visual technique for specifying bidirectional model transformation. TGGs can be used to transform models from scratch (in the batch mode), but the real potential of TGGs lies in propagatin…
View article: A Survey of Triple Graph Grammar Tools
A Survey of Triple Graph Grammar Tools Open
Model transformation plays a central role in Model-Driven Engineering (MDE) and supporting bidirectionality is a current challenge with important applications. Triple Graph Grammars (TGGs) are a formally founded, bidirectional model transf…
View article: Rapid Prototyping of Topology Control Algorithms by Graph Transformation
Rapid Prototyping of Topology Control Algorithms by Graph Transformation Open
Topology control algorithms are used to improve the energy efficiency (or other quality parameters) of wireless sensor networks. In this paper, we propose a model-driven rapid prototyping approach for the kTC topology control algorithm to …
View article: Incremental Graph Pattern Matching: Data Structures and Initial Experiments
Incremental Graph Pattern Matching: Data Structures and Initial Experiments Open
Despite the large variety of existing graph transformation tools, the implementation of their pattern matching engine typically follows the same principle. First a matching occurrence of the left-hand side of the graph transformation rule …
View article: Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules
Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules Open
Sequential model synchronisation is the task of propagating changes from one model to another correlated one to restore consistency. It is challenging to perform this propagation in a least-changing way that avoids unnecessary deletions (w…
View article: Graph-Based Specification and Automated Construction of ILP Problems
Graph-Based Specification and Automated Construction of ILP Problems Open
In the Model-Driven Software Engineering (MDSE) community, the combination of\ntechniques operating on graph-based models (e.g., Pattern Matching (PM) and\nGraph Transformation (GT)) and Integer Linear Programming (ILP) is a common\noccurr…
View article: REACT-ION: A Model-based Runtime Environment for Situation-aware Adaptations
REACT-ION: A Model-based Runtime Environment for Situation-aware Adaptations Open
Trends such as the Internet of Things lead to a growing number of networked devices and to a variety of communication systems. Adding self-adaptive capabilities to these communication systems is one approach to reducing administrative effo…
View article: Real-time-aware reconfiguration decisions for dynamic software product lines
Real-time-aware reconfiguration decisions for dynamic software product lines Open
Dynamic Software Product Lines (DSPL) have recently shown promising potentials as integrated engineering methodology for (self-)adaptive software systems. Based on the software-configuration principles of software product lines, DSPL addit…
View article: CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation
CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation Open
Software model checkers can be used to generate high-quality test cases from counterexamples of a reachability analysis. However, naïvely invoking a software model checker for each test goal in isolation does not scale to large programs as…
View article: Avoiding Unnecessary Information Loss: Correct and Efficient Model\n Synchronization Based on Triple Graph Grammars
Avoiding Unnecessary Information Loss: Correct and Efficient Model\n Synchronization Based on Triple Graph Grammars Open
Model synchronization, i.e., the task of restoring consistency between two\ninterrelated models after a model change, is a challenging task. Triple Graph\nGrammars (TGGs) specify model consistency by means of rules that describe how\nto cr…
View article: Dynamic Virtual Network Embedding: Using Incremental Model Transformation and Integer Linear Programming Techniques.
Dynamic Virtual Network Embedding: Using Incremental Model Transformation and Integer Linear Programming Techniques. Open
Network virtualization enables flexible placement, migration, and execution of virtual networks and machines on physical hardware.This results in an NPhard optimization problem called virtual network embedding (VNE).Ensuring hardware and (…
View article: Towards a Circular Economy of Industrial Software
Towards a Circular Economy of Industrial Software Open
Software has become an indispensable part of industrial production and thus influences the life cycle of manufacturing systems, as many of these systems have to be replaced or evolved due to changing requirements. Software adaptation throu…
View article: Transitions: A Protocol-Independent View of the Future Internet
Transitions: A Protocol-Independent View of the Future Internet Open
Countless novel approaches to communication protocols, overlay networks, and distributed middleware are published every year, yet the adoption of such novel findings in the global Internet landscape progresses at a slow pace. Many of such …
View article: Model-Based Round-Trip Engineering and Testing of Evolving Software Product Lines
Model-Based Round-Trip Engineering and Testing of Evolving Software Product Lines Open
This chapter describes a model-based framework for systematic round-trip engineering of continuously evolving software product line implementations. The product-line architecture consists of a feature diagram as configuration model and a p…
View article: Efficient Model Synchronization by Automatically Constructed Repair Processes
Efficient Model Synchronization by Automatically Constructed Repair Processes Open
Model synchronization, i.e., the task of restoring consistency between two interrelated models after a model change, is a challenging task. Triple Graph Grammars (TGGs) specify model consistency by means of rules. They can be used to autom…
View article: The Nature of Software Evolution
The Nature of Software Evolution Open
This chapter considers the nature of software evolution: What kinds of software systems are evolved? Which quality aspects of software systems play a role throughout evolution? What kinds of software changes exist and which evolution proce…
View article: SimSG: Rule-based Simulation using Stochastic Graph Transformation.
SimSG: Rule-based Simulation using Stochastic Graph Transformation. Open
Stochastic models can be found in various domains.For example, biochemical processes such as molecular interactions or the dynamics of wireless network topologies, where changes occur with certain probabilities.Having the ability to simula…
View article: A Systematic Approach to Constructing Families of Incremental Topology Control Algorithms Using Graph Transformation
A Systematic Approach to Constructing Families of Incremental Topology Control Algorithms Using Graph Transformation Open
In the communication systems domain, constructing and maintaining network topologies via topology control (TC) algorithms is an important cross-cutting research area. Network topologies are usually modeled using attributed graphs whose nod…