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
 BibTeX