Integration of Use Case Formal Template Using Mapping Rules
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, howe...
| Main Authors: | , , |
|---|---|
| Format: | Proceeding |
| Language: | English |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://ir.unimas.my/id/eprint/13658/ http://ir.unimas.my/id/eprint/13658/1/Integration%20of%20Use%20Case%20Formal%20Template%20using%20Mapping%20Rules%20%28abstract%29.pdf |
| _version_ | 1848837453595541504 |
|---|---|
| author | Swee, Yin Wong Edwin, Mit Jonathan, Sidi |
| author_facet | Swee, Yin Wong Edwin, Mit Jonathan, Sidi |
| author_sort | Swee, Yin Wong |
| building | UNIMAS Institutional Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-15T06:39:54Z |
| format | Proceeding |
| id | unimas-13658 |
| institution | Universiti Malaysia Sarawak |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-15T06:39:54Z |
| publishDate | 2016 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | unimas-136582017-02-17T08:07:44Z http://ir.unimas.my/id/eprint/13658/ Integration of Use Case Formal Template Using Mapping Rules Swee, Yin Wong Edwin, Mit Jonathan, Sidi T Technology (General) 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. 2016 Proceeding NonPeerReviewed text en http://ir.unimas.my/id/eprint/13658/1/Integration%20of%20Use%20Case%20Formal%20Template%20using%20Mapping%20Rules%20%28abstract%29.pdf 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. DOI: 10.1109/INFRKM.2016.7806329 |
| spellingShingle | T Technology (General) Swee, Yin Wong Edwin, Mit Jonathan, Sidi Integration of Use Case Formal Template Using Mapping Rules |
| title | Integration of Use Case Formal Template Using Mapping Rules |
| title_full | Integration of Use Case Formal Template Using Mapping Rules |
| title_fullStr | Integration of Use Case Formal Template Using Mapping Rules |
| title_full_unstemmed | Integration of Use Case Formal Template Using Mapping Rules |
| title_short | Integration of Use Case Formal Template Using Mapping Rules |
| title_sort | integration of use case formal template using mapping rules |
| topic | T Technology (General) |
| url | http://ir.unimas.my/id/eprint/13658/ http://ir.unimas.my/id/eprint/13658/ http://ir.unimas.my/id/eprint/13658/1/Integration%20of%20Use%20Case%20Formal%20Template%20using%20Mapping%20Rules%20%28abstract%29.pdf |