Better Model Driven Architecture through Constructive Type Theory

Photograph of Iman Poernomo

Iman Poernomo

(London)

Model Driven Architecture (MDA) is a methodology based on the Meta Object Framework (MOF) to develop software by means of successive refinements from abstract platform-independent models to concrete platform-specific models. The purpose is to promote a clear demarcation of abstract architecture and implementation-specific issues. Central to MDA is the ability to define transformations as mappings between metamodels. Such transformations are powerful, providing a systematic means of model refinement. They are also dangerous: a single error in a transformation mapping can result in the systematic introduction of a range of errors in a resulting model. This talk explores a way of solving this problem through a formalisation of metamodel transformations within constructive type theory.
Tuesday 6th December 2005, 14:00
Robert Recorde Room
Department of Computer Science