Abstract
An organisation’s competitive advantage depends on its ability to transfer knowledge effectively. Research suggests that knowledge transfer (KT) remains a problem for many organisations, particularly those in developing countries with emerging knowledge economies. Analysis of organisational KT problems in this context could be helpful in diagnosing particular challenges for sustainable development. In this paper, we apply a formal modelling approach to represent the KT processes within organisations. Communicating Sequential Processes (CSP) are used to model human interactions during the transfer and model-checking techniques are used to analyse obstacles to effective KT. The application of CSP in analysing KT models in such a way is a novel idea. To demonstrate our approach we present a case study of a Chinese company and show how cultural attitudes in organisations, widely prevalent in some developing countries, could lead to problems in effective KT.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cerone, A., Connelly, S., Lindsay, P.: Formal analysis of human operator behavioural patterns in interactive surveillance systems. Software and System Modeling 7, 273–286 (2008)
Cerone, A., Shaikh, S.A.: Formal Analysis of Security in Interactive Systems. In: Handbook of Research on Social and Organizational Liabilities in Information Security, ch. 25, pp. 415–432. Information Science Reference (2008)
Davenport, T., Prusak, L.: Working Knowledge: How Organizations Manage What They Know. Harvard Business School Press, Boston (1998)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1986)
Okunoye, A.: Towards a framework for sustainable knowledge management in organisations in developing countries. In: Brunnstein, K., Berleur, J. (eds.) Human Choice and Computers: Issues of Choice and Quality of Life in Developing Countries, pp. 225–237. Springer, Heidelberg (2002)
Schneider, S.: Concurrent and Real-time Systems: The CSP Approach. John Wiley and Sons, Ltd., Chichester (2000)
Shaikh, S., Krishnan, P., Cerone, A.: Formal approach to human error recovery. In: The Pre-proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007), pp. 101–135 (2007)
Tong, J., Ayres, R.: A low-level model for knowledge transfer. In: Proceeding of the IADIS International Conference on Information Systems, Barcelona, Spain, pp. 169–176 (2009)
Tong, J., Shaikh, S.: ICT driven knowledge management in developing countries: A case study in a chinese organisation. In: Pont, A., Pujolle, G., Raghavan, S.V. (eds.) WCITD 2010. IFIP AICT, vol. 327, pp. 60–71. Springer, Heidelberg (2010)
Tong, J., Shaikh, S., James, A.: A formal approach to modelling knowledge transfer processes. In: Tome, E. (ed.) Proceedings of the 11th European Conference on Knowledge Management, Famalicao, Portugal, pp. 1012–1021 (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tong, J., Shaikh, S.A., James, A.E. (2011). A Formal Approach to Analysing Knowledge Transfer Processes in Developing Countries. In: Barthe, G., Pardo, A., Schneider, G. (eds) Software Engineering and Formal Methods. SEFM 2011. Lecture Notes in Computer Science, vol 7041. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24690-6_34
Download citation
DOI: https://doi.org/10.1007/978-3-642-24690-6_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24689-0
Online ISBN: 978-3-642-24690-6
eBook Packages: Computer ScienceComputer Science (R0)