A Semantic Part Generated Java Statement from a CafeOBJ Specification

A computer program is developed in order to satisfy what a customer wants. Therefore, a developed program must conform to its design which is corresponded to user requirements. Source code must be consistently implemented with the design. One approach to solve this problem is to apply source code generation technique from a software design. There are many approaches for source code generation; such as source code generation from UML sequence diagrams or from formal languages. In our previous work, we proposed a technique to generate Java skeleton code from CafeOBJ specification. A formal language, CafeOBJ, is used as a design document because of its unambiguity and provability. Furthermore, formal languages comprise of two parts; a syntactic part and a semantic part. The syntactic part defines operations which can be occurred in the specification while the semantic part defines behaviors of a system after operations are invoked. In the preceding work, we proposed an approach for generating source code from the syntactic part. In this paper, an approach for generating source code from the semantic part is proposed to generate more complete code. Because a specification itself does not contain sufficient data to generate source code, the proposed approach also need information from the approach for transforming syntactic part