• Publications
  • Influence
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap
The goal of this roadmap paper is to summarize the state-of-the-art and identify research challenges when developing, deploying and managing self-adaptive software systems. Instead of dealing with aExpand
ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications
The presented ClassSheet approach links spreadsheet applications to the object-oriented modeling world and advocates an automatic model-driven development process for spreadsheet applications of high quality. Expand
Graph Transformation for Specification and Programming
The concept of a transformation unit is presented, which allows systematic and structured specification and programming based on graph transformation, and a selection of applications are discussed, including the evaluation of functional expressions and the specification of an interactive graphical tool. Expand
A methodology for specifying and analyzing consistency of object-oriented behavioral models
This paper discusses the issue of consistency of behavioral models in the UML and presents a general methodology how consistency problems can be dealt with and shows the applicability of the methodology by giving an example of a concrete consistency problem of concurrent object-oriented models. Expand
Detecting and Resolving Process Model Differences in the Absence of a Change Log
The approach to detecting and resolving differences between process models, in the absence of a change log is presented, based on computing differences and deriving change operations for resolving differences, thereby providing a foundation for variant and version management in these cases. Expand
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
Using meta-model rules, elements of UML models are transformed into a semantic domain and consistency constraints can be specified and validated using the language and the tools of the semantic domain. Expand
Verification of Business Process Quality Constraints Based on Visual Process Patterns
This paper describes how model checking can be employed for formal verification of business processes against such patterns and presents an automated transformation of the business process and the corresponding patterns into a transition system and temporal logic, respectively. Expand
A Survey of Model-Based Software Product Lines Testing
High-quality specification of self-adaptive software systems
This paper presents a method for the specification of self-adaptive software systems using a UML based concern-specific modeling language called Adapt Case Modeling Language (ACML) that allows the separated and explicit specification ofSelf-adaptivity concerns. Expand