User: Guest  Login
Document type:
Technical Report 
Author(s):
Bernhard Schaetz 
Title:
The ODL Operation Definition Language and the AutoFocus/Quest Application Framework AQuA Programming Processes 
Abstract:
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...    »
 
Keywords:
Model-based; constraint language; meta model; evaluation; modification; AutoFocus; formal methods; description techniques; conceptual model; high-level operation; application 
Year:
2001 
Year / month:
2001-12-01 00:00:00 
Pages:
23 
versions