Definition of a semantic platform for automated code generation based on uml class diagrams and dsl semantic annotations

In this paper, we propose a semantic service platform for implementing the steps of a semantic- and MDA (Model-driven Architecture)-based method for automated code generation. The code generation is achieved by semantically relating operations in UML (Unified Modeling Language) class diagrams with implemented operations. Relationship among operations is achieved by finding implemented operations with the same post-condition of the operation under implementation. The resultant code is a sequence of invocations to the implemented operations which, acting as a whole, achieve the post-condition of the operation under implementation. Semantics is specified by means of a DSL (Domain-Specific Language), also defined in this paper. Services of the platform and the method are showed in execution in a case study