Integration of Use Case Formal Template Using Mapping Rules

Swee, Yin Wong and Edwin, Mit and Jonathan, Sidi (2016) Integration of Use Case Formal Template Using Mapping Rules. In: 3rd International Conference on Information Retrieval And Knowledge Management (CAMP'16), 23-24 August 2016, Hatten Hotel Melaka, Melaka.

[img]
Preview
PDF
Integration of Use Case Formal Template using Mapping Rules (abstract).pdf

Download (122kB) | Preview
Official URL: DOI: 10.1109/INFRKM.2016.7806329

Abstract

The integration of use case and formal specification plays an essential role in addressing the issue of gaining the rigor and reliable software model such as formal model via easy and economic model such as object model. Although extensive research has been carried out on this Integration, however there is a huge challenge on bridging the gaps between natural language used In use case scenario and the mathematics model used in formal model. This Is mainly because of the differences In syntax and semantic of these two models. Natural language requirement is well documented that it is being inconsistent, inherently ambiguous, and incomplete even though natural language Is universal, widespread, and flexible. As a consequence, It may lead to misunderstanding and produce an incorrect and inaccurate analysis and design model. Therefore, this paper aims to propose a use case formal template and define a new set of mapping rules that Is used for formalizing UML use case by transforming use case scenarios which are written In natural language Into VDM++ formal specification. The formal verification for the generated VDM++ formal specification can be further conducted by adopting the existing support tool of VDM++ (i. e. VDM++ ToolBox) to verify the correctness of the specification.

Item Type: Proceeding (Paper)
Uncontrolled Keywords: integration, use case, Vienna Development Method, formal specillcation, formal template, mapping rules, unimas, university, universiti, Borneo, Malaysia, Sarawak, Kuching, Samarahan, ipta, education, 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: 04 Oct 2016 02:46
Last Modified: 17 Feb 2017 08:07
URI: http://ir.unimas.my/id/eprint/13658

Actions (For repository members only: login required)

View Item View Item