A Formal Approach to Analysing Knowledge Transfer Processes in Developing Countries

  • Jin Tong
  • Siraj A. Shaikh
  • Anne E. James
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7041)


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.


Knowledge transfer Formal modelling Communicating Sequential Processes (CSPModel-checking Emerging economies 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    Davenport, T., Prusak, L.: Working Knowledge: How Organizations Manage What They Know. Harvard Business School Press, Boston (1998)Google Scholar
  4. 4.
    Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1986)zbMATHGoogle Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Schneider, S.: Concurrent and Real-time Systems: The CSP Approach. John Wiley and Sons, Ltd., Chichester (2000)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Jin Tong
    • 1
  • Siraj A. Shaikh
    • 1
  • Anne E. James
    • 1
  1. 1.Department of Computing, Faculty of Engineering and ComputingCoventry UniversityCoventryUnited Kingdom

Personalised recommendations