Scope of project

The project is in the domain of model driven engineering.

• complete the formalization of the URDAD method including the formalization of
  • the URDAD model structure,
  • the definition of both, a concrete text syntax through which an URDAD model can be specified,
  • the definition of a graphical syntax and IEEE1471 compliant URDAD views,
  • proving model qualities like completeness, consistency, testability and traceability,
  • the verifiability of an URDAD model through an OCL based validation suite, and
  • to compare the URDAD methodoloy with other formal and semi-formal approaches.
• assess the viability of using model-driven engineering and MDA technologies like QVT in particular to perform perform model transformation tasks including
  • implementation mapping onto widely used reference architectures like Java EE and SOA,
  • documentation generation including UML-to-English mapping,
  • test generation from URDAD contracts including functional and quality testing.
• Develop tool support for URDAD including
  • URDAD editor enabling the definition of an URDAD model through the concrete text syntax
  • URDAD diagramming tool allowing the definition of an URDAD model through diagrams similar to UML tool
  • Model Validation tools
  • Code generation tools
  • Documentation generation tools
  • Test generation tools