FOTool: Modelling Indigenous Community Cultures in Sarawak
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 t...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Scientific Research Publishing Inc.
2014
|
| Subjects: | |
| Online Access: | http://ir.unimas.my/id/eprint/5206/ http://ir.unimas.my/id/eprint/5206/1/Fotool%20modelling%20indignous%20community%20cultures%20in%20sarawak%20%28abstract%29.pdf |
| _version_ | 1848835609320226816 |
|---|---|
| author | Mit, Edwin Ng, Bong Ding Cheah, Wai Shiang |
| author_facet | Mit, Edwin Ng, Bong Ding Cheah, Wai Shiang |
| author_sort | Mit, Edwin |
| building | UNIMAS Institutional Repository |
| collection | Online Access |
| description | 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 |
| first_indexed | 2025-11-15T06:10:35Z |
| format | Article |
| id | unimas-5206 |
| institution | Universiti Malaysia Sarawak |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-15T06:10:35Z |
| publishDate | 2014 |
| publisher | Scientific Research Publishing Inc. |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | unimas-52062015-03-23T06:16:39Z http://ir.unimas.my/id/eprint/5206/ FOTool: Modelling Indigenous Community Cultures in Sarawak Mit, Edwin Ng, Bong Ding Cheah, Wai Shiang HM Sociology T Technology (General) 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 Scientific Research Publishing Inc. 2014 Article PeerReviewed text en http://ir.unimas.my/id/eprint/5206/1/Fotool%20modelling%20indignous%20community%20cultures%20in%20sarawak%20%28abstract%29.pdf 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. |
| spellingShingle | HM Sociology T Technology (General) Mit, Edwin Ng, Bong Ding Cheah, Wai Shiang FOTool: Modelling Indigenous Community Cultures in Sarawak |
| title | FOTool: Modelling Indigenous Community Cultures in Sarawak |
| title_full | FOTool: Modelling Indigenous Community Cultures in Sarawak |
| title_fullStr | FOTool: Modelling Indigenous Community Cultures in Sarawak |
| title_full_unstemmed | FOTool: Modelling Indigenous Community Cultures in Sarawak |
| title_short | FOTool: Modelling Indigenous Community Cultures in Sarawak |
| title_sort | fotool: modelling indigenous community cultures in sarawak |
| topic | HM Sociology T Technology (General) |
| url | http://ir.unimas.my/id/eprint/5206/ http://ir.unimas.my/id/eprint/5206/1/Fotool%20modelling%20indignous%20community%20cultures%20in%20sarawak%20%28abstract%29.pdf |