The ODL Operation Definition Language and the AutoFocus/Quest Application Framework AQuA Programming Processes

Using a model-based development process for embedded software systems, the process of developing descriptions of systems can be interpreted as performing operations on the model of the system. To increase efficiency of such a development process, general high-level operations can be defined manipulating these models, for instance copying a component including its behavior or refactoring a state-based description. In this report we introduce a language for the description of such operations on models called ODL (operation description language). Furthermore, a framework is introduced for the evaluation of ODL expressions.     «

Using a model-based development process for embedded software systems, the process of developing descriptions of systems can be interpreted as performing operations on the model of the system. To increase efficiency of such a development process, general high-level operations can be defined manipulating these models, for instance copying a component including its behavior or refactoring a state-based description. In this report we introduce a language for the description of such operations on mo...     »