Michiel Helvensteijn

Learn More
The Abstract Behavioral Specification (ABS) language is a formal, executable, object-oriented, concurrent modeling language intended for behavioral modeling of complex software systems that exhibit a high degree of variation, such as software product lines. We give an overview of the architectural aspects of ABS: a feature-driven development workflow, a(More)
In previous work we show how abstract delta modeling can be used to model product lines. The formalism assigns a functional meaning to features from a feature model and provides a novel mechanism for resolving implementation conflicts without code duplication or overspecification. But in the vast expressive space of delta modeling, it may not be clear to a(More)
Delta modeling is a method for modeling software product lines (SPL), which supports the automated derivation of products. ABS is a recent modeling language and accompanying toolset that implements delta modeling as its core paradigm for developing variable systems. Due to its novelty, delta modeling has so far seen little practical application. However,(More)
Abstract Delta Modeling (ADM) offers an algebraic description of how a (software) product line may be built so that every product can be automatically derived by structured reuse of code. In traditional application engineering a single valid feature configuration is chosen, which does not change during the lifetime of the product. However, there are many(More)