(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 .
Cite this paper
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.
 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.
 Warmer, J. and Kleppe, A. (1999) The Object Constraint Language Precise Modeling with UML. Addison-Wesley, Boston.
 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.
 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.
 Edwin, M. (2008) Developing VDM++ Operation Operations from UML Diagrams. PhD Thesis, University of Salford, Salford.
 CSK Corp (2005) VDMTools: The VDM++ Language, Ver6.8.1.
 OMG Group (2003) The OMG Unified Modeling Language Specification, Version 1.5. Technical Report, The OMG Group, Inc.
 Fitzgerald, J., Larsen, P.G., Mukherjee, P., Plat, N. and Verhoef, M. (2005) Validated Designs for Object-Oriented Systems. Springer-Verlag, Heidelberg.
 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.
 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.
 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.