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...

Full description

Saved in:

Bibliographic Details
Main Author:	Anding, Anak Nyuak
Format:	Thesis
Language:	English
Published:	2010
Subjects:	T Technology (General)
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

Validate object-oriented models using VDM++

Similar Items