Generación del cuerpo de los métodos a partir de la semántica de las operaciones del diagrama de clases Generating the body of the methods from class diagram operation semantics

2 ABSTRACT Well-known CASE tools only generate the heading of the methods to automatically generate source code from UML diagrams. Some proposals partially generate the body of the methods; however they use non-standard modeling elements or hand-made source code elements. This paper proposes a process for generating the body of the methods from class diagram operations in an attempt to overcome such constraints. "Semantics of class operations" was thus defined as a way of linking class diagram o- perations to development platform implemented methods. These kinds of semantics use pre- and post-conditions belonging to the operations and the development platform library meta-model. This process is also exemplified by giving a case study. An UML instance of the java.sql package meta-model was created for developing the case study.

[1]  Amel Mammar,et al.  From a B formal specification to an executable code: application to the relational database domain , 2006, Inf. Softw. Technol..

[2]  Albert Zündorf,et al.  Statechart Modeling with Fujaba , 2005, Electron. Notes Theor. Comput. Sci..

[3]  Jifeng He,et al.  Towards a Rigorous Approach to UML-Based Development , 2005, SBMF.

[4]  Albert Zündorf,et al.  Tool Modeling with Fujaba , 2006, Electron. Notes Theor. Comput. Sci..

[5]  Richard V. McCarthy,et al.  Does UML make the grade? Insights from the software development community , 2005, Inf. Softw. Technol..