FP6 IST Programme

1
FP6 IST Programme
UBB Proposal

• Tools and technologies supporting MDA

2
State of the art

• The technology is in place to proceed in this
  direction. The main barrier is that there is a
  gap in knowledge of how to use the technology,
  and there is a lack of universal availability of
  appropriate tools.
• In the MDA, a specification that is not formal
  is not a model. Thus a diagram with boxes and
  lines and arrows that does not have behind it a
  definition of the meaning of a box, and the
  meaning of a line and of an arrow is not a
  modelit is just an informal diagram. An MDA
  model must be paired unambiguously with a
  definition of the modeling language syntax and
  semantics, as provide by the MOF.

Model Driven Architecture ormsc/2001-07-01
3
Main targets research directions

• MDA support including
• Checking model well-formedness, ,
• Rules for mappings of models (including mapping
  from UML to code),
• Checking and validating XML documents ,
• Components specification and checking ,
• Testing and simulating support,
• Real Time support,
• Support for learning OCL

4
Results obtained at UBB on this topic