Validate object-oriented models using VDM++

Anding, Anak Nyuak (2010) Validate object-oriented models using VDM++. Masters thesis, Universiti Malaysia Sarawak, (UNIMAS).

[img]
Preview
PDF
Validate Object-Oriented Models Using VDM++ (24pgs).pdf

Download (8MB) | Preview
[img] PDF (Please get the password from Digital Collection Development Unit, ext: 3932 / 3914)
Validate Object-Oriented Models Using VDM++ (fulltext).pdf
Restricted to Registered users only

Download (43MB)

Abstract

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.

Item Type: Thesis (Masters)
Additional Information: Thesis (M.Sc.) -- Universiti Malaysia Sarawak, 2010.
Uncontrolled Keywords: Object-oriented programming (Computer science), Formal Method (FM), VDM++ specifications, unimas, university, universiti, Borneo, Malaysia, Sarawak, Kuching, Samarahan, ipta, education, Postgraduate, research, Universiti Malaysia Sarawak
Subjects: T Technology > T Technology (General)
Divisions: Academic Faculties, Institutes and Centres > Faculty of Computer Science and Information Technology
Depositing User: Karen Kornalius
Date Deposited: 18 May 2016 03:25
Last Modified: 18 May 2016 03:25
URI: http://ir.unimas.my/id/eprint/12075

Actions (For repository members only: login required)

View Item View Item