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 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.

Share and Cite:

Mit, E. , Ding, N. and Shiang, C. (2014) FOTool: Modelling Indigenous Community Cultures in Sarawak. Journal of Software Engineering and Applications, 7, 720-729. doi: 10.4236/jsea.2014.78067.

Conflicts of Interest

The authors declare no conflicts of interest.


[1] Iglewski, M. and Müldnerü, T. (1997) Comparison of Formal Specification Methods and Object-Oriented Paradigms. Journal of Networks and Computer Applications, 20, 355-377.
[2] Warmer, J. and Kleppe, A. (1999) The Object Constraint Language Precise Modeling with UML. Addison-Wesley, Boston.
[3] Kim, S. and Carrington, D. (2000) An Integrated Framework with UML and Object-Z for Developing a Precise and Understandable Specification: The Light Control Case Study. 7th Asia-Pacific Software Engineering Conference, 240-248.
[4] Ledang, H. and Souquieres, J. (2002) Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. Proceedings of the Ninth Asia-Pasific Software Engineering Conference (APSEC’02), Australia, 4-6 December 2002, 495-503.
[5] Edwin, M. (2008) Developing VDM++ Operation Operations from UML Diagrams. PhD Thesis, University of Salford, Salford.
[6] CSK Corp (2005) VDMTools: The VDM++ Language, Ver6.8.1.
[7] OMG Group (2003) The OMG Unified Modeling Language Specification, Version 1.5. Technical Report, The OMG Group, Inc.
[8] Fitzgerald, J., Larsen, P.G., Mukherjee, P., Plat, N. and Verhoef, M. (2005) Validated Designs for Object-Oriented Systems. Springer-Verlag, Heidelberg.
[9] Yeo, A.W., Mit, E., Chiu, P.-C., Labadin, J. and Tan, P.-P. (2010) Cultural Modelling of Remote Communities. 3rd International Conference on Applied Human Factors and Ergonomics 2010 (AHFE 2010), Miami, 17-20 July 2010, 620-628.
[10] Mit, E., WaiShiang, C., Asyraf, M. and Hazlini, N. (2011) Integrate Cultures and Beliefs into Genealogy for Remote communities in Borneo. 2nd International Conference on User Science and Enginering (I-USEr 2011), Shah Alam, 29 November-01 December 2011, 222-227.
[11] Mit, E. and Ding, N.B. (2014) Framework of Indigenous Knowledge Representation. Proceedings of 5th International Conference on Intelligent Systems, Modelling and Simulation, Langkawi, 26-29 January 2014, 18-22.

Copyright © 2023 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.