FOTool: Modelling Indigenous Community Cultures in Sarawak

Mit, Edwin and Ng, Bong Ding and Cheah, Wai Shiang (2014) FOTool: Modelling Indigenous Community Cultures in Sarawak. Journal of Software Engineering and Applications, 7. pp. 720-729.

[img]
Preview
PDF
Fotool modelling indignous community cultures in sarawak (abstract).pdf

Download (154kB) | Preview

Abstract

Formal-Object Tool (FOTool) is a software modelling approach that integrates formal specification and object oriented model. FOTool integrates the rigour of formal methods and the ease of use of OO techniques. The idea of FOTool is to provide an easy interface by allowing the application developer to develop the software model by using the object-models, while the verification of the models is carried out by using formal models. Before the verification process, the object static and dynamic models need to be transformed into formal models based on the transformation rules defined in FOTool. This paper presents the FOTool architecture, the transformation rules from object to formal models, and discusses the application of FOTool in our continuous research in modeling, the indigenous communities’ knowledge in Sarawak, and also the challenges of modelling the complex cultural, taboos and beliefs of indigenous communities. The knowledge is generated from the heterogeneous cultural, taboos and beliefs of various ethnic groups in Sarawak. The traditional knowledge is then mapped to a logical explanation in relation to modern life style

Item Type: Article
Uncontrolled Keywords: Software Modelling, Formal Method, Object Model, Model Integration,FOTool, Formal-Object Tool, Universiti Malaysia Sarawak, UNIMAS, IPTA, education, sarawak, malaysia, kuching, samarahan, universiti, university
Subjects: H Social Sciences > HM Sociology
T Technology > T Technology (General)
Divisions: Academic Faculties, Institutes and Centres > Faculty of Computer Science and Information Technology
Depositing User: Karen Kornalius
Date Deposited: 24 Oct 2014 07:37
Last Modified: 23 Mar 2015 06:16
URI: http://ir.unimas.my/id/eprint/5206

Actions (For repository members only: login required)

View Item View Item