Webseite von Achim D. Brucker
[Deutsch]
[English]
Achim D. Brucker und Jürgen Doser und Burkhart Wolff
We present an MDA framework, developed in the functional programming language SML, that tries to bridge the gap between formal software development and the needs of industrial software development, e.g., code generation. Overall, our tool-chain provides support for software modeling using UML/OCL and guides the user from type-checking and model transformations to code generation and formal analysis of the UML/OCL model. We conclude with a report on our experiences in using a functional language for implementing MDA tools.
Schlüsselwörter: MDE , MDA , OCL, model transformation, code-generation, verification
Kategorien: 
, 
, 
Bitte zitieren sie diesen Artikel wie folgt:
Achim D. Brucker und Jürgen Doser und Burkhart Wolff.
An MDA Framework Supporting OCL.
In Electronic Communications of the EASST, 5, 2006.
Schlüsselwörter: MDE , MDA , OCL, model transformation, code-generation, verification
(PDF) (BibTeX) (Endnote) (RIS) (Word 2007) (ECEASST) (
| abstract | = | {We present an MDA framework, developed in the functional programming language SML, that tries to bridge the gap between formal software development and the needs of industrial software development, e.g., code generation. Overall, our tool-chain provides support for software modeling using UML/OCL and guides the user from type-checking and model transformations to code generation and formal analysis of the UML/OCL model. We conclude with a report on our experiences in using a functional language for implementing MDA tools.}, | |
| author | = | {Achim D. Brucker and J\"urgen Doser and Burkhart Wolff}, | |
| copyright | = | {ECEASST}, | |
| copyrighturl | = | {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/45}, | |
| editor | = | {Birgith Demuth and Dan Chiorean and Martin Gogolla and Jos Warmer}, | |
| issn | = | {1863-2122}, | |
| journal | = | {Electronic Communications of the EASST}, | |
| keywords | = | {MDE , MDA , OCL, model transformation, code-generation, verification}, | |
| language | = | {USenglish}, | |
| = | {http://www.brucker.ch/bibliography/download/2006/brucker.ea-mda-2006-b.pdf}, | ||
| title | = | {An {MDA} Framework Supporting{ OCL}}, | |
| url | = | {http://www.brucker.ch/bibliography/abstract/brucker.ea-mda-2006-b}, | |
| volume | = | {5}, | |
| year | = | {2006}, |