Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

ECEASST
2006

favoriteEmaildiscussreport

92views more ECEASST 2006»

An MDA Framework Supporting OCL

13 years 4 months ago

An MDA Framework Supporting OCL

Download kisogawa.inf.ethz.ch

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.

Achim D. Brucker, Jürgen Doser, Burkhart Wolf

Real-time Traffic

ECEASST 2006 | Formal Software Development | Programming Language Sml | Software Development |

claim paper

Related Content

» Integrating Natural Language Oriented Requirements Models into MDA

» Toward an Integrated Tool Environment for Static Analysis of UML Class and Sequence Models

» XMI2USE A Tool for Transforming XMI to USE Specifications

» Exploiting the ASM method within the Modeldriven Engineering paradigm

» Model Driven and Service Oriented Enterprise IntegrationThe Method Framework and Platform

» Designing Data Warehouses for Geographic OLAP Querying by Using MDA

» MQL a Powerful Extension to OCL for MOF Queries

» Supporting Collaborative Development in an Open MDA Environment

» Towards a SubjectOriented ModelDriven Framework

Post Info
More Details (n/a)

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2006
Where	ECEASST
Authors	Achim D. Brucker, Jürgen Doser, Burkhart Wolff

Comments (0)