Mapping activity decision structure (Activity diagram) to XML representation

• Main Author: Soh, Han Siang
• Format: Final Year Project Report
• Language: English; English
• Published: Universiti Malaysia Sarawak, (UNIMAS) 2015
• Subjects: T Technology (General)
• Online Access: http://ir.unimas.my/id/eprint/36726/1/SOH%20HAN%20SIANG%20%2824%20pgs%29.pdf; http://ir.unimas.my/id/eprint/36726/4/SOH%20HAN%20SIANG%20%28fulltext%29.pdf; http://ir.unimas.my/id/eprint/36726/

UML and VDM++ both are specification language use to design system/software structure. Both specifications languages have their own advantages and disadvantages. UML is easy to understand but lack of formal semantics and lack of precise; and VDM++ is precise and useful in developing the real-time behavior system, but it need long learning curve. In order to have the advantages of formal model, we want to convert the semi formal(UML diagram) model with formal method (VDM++). Therefore this project is to integrate this two specification language. By integrating of this semi formal model (UML diagram) with formal method (VDM++), semi formal model can be represented and converted to formal model Therefore the learning cycle of formal method can be reduced and attract more developer using formal method in their development process. This paper discuss the implementation of this converter prototype and is limit to only dynamic model of UML which is the activity diagram, and the output will be the intermediate representation in the form of XML. The mapping from XML to VDM++ formal model is not covered in this paper.