Mapping activity decision structure (Activity diagram) to XML representation
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 b...
Saved in:
| Main Author: | |
|---|---|
| Format: | Final Year Project Report |
| Language: | English English |
| Published: |
Universiti Malaysia Sarawak, (UNIMAS)
2015
|
| Subjects: | |
| 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/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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. |
|---|