Abstract
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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
