An MDA Framework Supporting OCL

By Achim D. Brucker, Jürgen Doser, and Burkhart Wolff.

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 tool-chain 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.

Keywords:
MDE , MDA , OCL, Model Transformation, Code-Generation, Verification

Please cite this work as follows:
A. D. Brucker, J. Doser, and B. Wolff, “An MDA framework supporting OCL,” Electronic Communications of the EASST, vol. 5, 2006, doi: 10.14279/tuj.eceasst.5.45. Author copy: https://logicalhacking.com/publications/brucker.ea-mda-2006-b/

BibTeX
@Article{ brucker.ea:mda:2006-b,
  abstract = {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
              tool-chain 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.},
  author   = {Achim D. Brucker and J\"urgen Doser and Burkhart Wolff},
  language = {USenglish},
  areas    = {security, formal methods, software},
  keywords = {MDE , MDA , OCL, Model Transformation, Code-Generation,
              Verification},
  title    = {An {MDA} Framework Supporting OCL},
  editor   = {Birgith Demuth and Dan Chiorean and Martin Gogolla and Jos
              Warmer},
  issn     = {1863-2122},
  volume   = {5},
  year     = {2006},
  journal  = {Electronic Communications of the EASST },
  doi      = {10.14279/tuj.eceasst.5.45},
  note     = {Author copy: \url{https://logicalhacking.com/publications/brucker.ea-mda-2006-b/}},
  pdf      = {https://logicalhacking.com/publications/brucker.ea-mda-2006-b/brucker.ea-mda-2006-b.pdf},
}