An MDA Framework Supporting OCL

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 toolchain 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.

• Type: Journal
• Year: 2006
• Where: ECEASST
• Authors: Achim D. Brucker, Jürgen Doser, Burkhart Wolff
• Keywords: ECEASST 2006, Formal Software Development, Programming Language Sml, Software Development