Validate object-oriented models using VDM++
The goal of this thesis is to generate Formal Method (FM) specifications using the Unified Modeling Language (UML), class diagram models. In this context, we use the Vienna Development Method for modeling object-oriented models (VDM++) as a formal specification language. We studied the syntax and se...
Saved in:
Main Author: | |
---|---|
Format: | Thesis |
Language: | English |
Published: |
2010
|
Subjects: | |
Online Access: | http://ir.unimas.my/id/eprint/12075/3/Anding%20Anak%20Nyuak%20ft.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
my-unimas-ir.12075 |
---|---|
record_format |
uketd_dc |
spelling |
my-unimas-ir.120752023-03-29T02:20:59Z Validate object-oriented models using VDM++ 2010 Anding, Anak Nyuak T Technology (General) The goal of this thesis is to generate Formal Method (FM) specifications using the Unified Modeling Language (UML), class diagram models. In this context, we use the Vienna Development Method for modeling object-oriented models (VDM++) as a formal specification language. We studied the syntax and semantic of UML and VDM++ models and then defined the mapping rules that were used to transform UML models into VDM++ specifications. To achieve this purpose, we present a framework of the prototype that, automatically generates UML models into VDM++ specifications. .lrhe prototype derives UML properties of a class diagram and uses the translation rules to construct VDM++ class, types, values, instance variables and operation signatures. We proposed a rule-based to construct Set and Sequence in VDM++ based on Multiplicity and Ordered/Unordered properties of UML model. We also developed an interactive interface to construct composite data type to model structured data such as record. A transformed model from UML into VDM++ specification then validated and checked using VDMTool Lite vS.l. Universiti Malaysia Sarawak, (UNIMAS) 2010 Thesis http://ir.unimas.my/id/eprint/12075/ http://ir.unimas.my/id/eprint/12075/3/Anding%20Anak%20Nyuak%20ft.pdf text en validuser masters Universiti Malaysia Sarawak, (UNIMAS) Faculty of Computer Science and Information Technology. |
institution |
Universiti Malaysia Sarawak |
collection |
UNIMAS Institutional Repository |
language |
English |
topic |
T Technology (General) |
spellingShingle |
T Technology (General) Anding, Anak Nyuak Validate object-oriented models using VDM++ |
description |
The goal of this thesis is to generate Formal Method (FM) specifications using the Unified Modeling Language (UML), class diagram models. In this context, we use the Vienna Development Method for modeling object-oriented models (VDM++) as a formal specification language. We studied the syntax and semantic of UML and VDM++ models and then defined the mapping rules that were used to transform UML models into VDM++ specifications. To achieve this purpose, we present a framework of the prototype that,
automatically generates UML models into VDM++ specifications. .lrhe prototype derives UML properties of a class diagram and uses the translation rules to construct VDM++ class, types, values, instance variables and operation signatures. We proposed a rule-based to construct Set and Sequence in VDM++ based on Multiplicity and Ordered/Unordered properties of UML model. We also developed an interactive interface to construct composite data type to model structured data such as record. A transformed model from UML into VDM++ specification then validated and checked using VDMTool Lite vS.l. |
format |
Thesis |
qualification_level |
Master's degree |
author |
Anding, Anak Nyuak |
author_facet |
Anding, Anak Nyuak |
author_sort |
Anding, Anak Nyuak |
title |
Validate object-oriented models using VDM++ |
title_short |
Validate object-oriented models using VDM++ |
title_full |
Validate object-oriented models using VDM++ |
title_fullStr |
Validate object-oriented models using VDM++ |
title_full_unstemmed |
Validate object-oriented models using VDM++ |
title_sort |
validate object-oriented models using vdm++ |
granting_institution |
Universiti Malaysia Sarawak, (UNIMAS) |
granting_department |
Faculty of Computer Science and Information Technology. |
publishDate |
2010 |
url |
http://ir.unimas.my/id/eprint/12075/3/Anding%20Anak%20Nyuak%20ft.pdf |
_version_ |
1783728103346929664 |