Sciweavers

MODELS
2015
Springer

Towards a Generic Modeling Language for Contract-Based Design

8 years 7 months ago
Towards a Generic Modeling Language for Contract-Based Design
—Component-based and model-driven engineering are key paradigms for handling the ever-increasing complexity of technical systems. Surprisingly few component models consider extra-functional properties as first class entities. Contract-based design is a promising paradigm, which has the potential to fill this shortage of methods for dealing with extra-functional properties. By defining the concept of using assumptions in order to determine the environment, and by using the concept of guarantees to state what a component provides to the environment, it enables the analyzability of components and compositions in advance and during system execution. With this work, we aim to create the base for a pragmatic model-driven method that provides reusable modeling concepts for contracts targeting arbitrary extra-functional properties. Furthermore, we expand the current state-of-the-art of contractbased design by introducing the concept of a finite state machine, where single states consist ...
Johannes Iber, Andrea Höller, Tobias Rauter,
Added 15 Apr 2016
Updated 15 Apr 2016
Type Journal
Year 2015
Where MODELS
Authors Johannes Iber, Andrea Höller, Tobias Rauter, Christian Kreiner
Comments (0)