Mapping activity decision structure (Activity diagram) to XML representation

Soh, Han Siang (2015) Mapping activity decision structure (Activity diagram) to XML representation. [Final Year Project Report] (Unpublished)

	PDF SOH HAN SIANG (24 pgs).pdf Download (9MB)
	PDF (Please get the password by email to repository@unimas.my , or call ext: 3914 / 3942 / 3933) SOH HAN SIANG (fulltext).pdf Restricted to Registered users only Download (74MB)

Abstract

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.

Actions (For repository members only: login required)

View Item