From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community

  • Jonathan P. Bowen
  • Steve Reeves
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6664)


A Body of Knowledge (BoK) is an ontology for a particular professional domain. A Community of Practice (CoP) is the collection of people developing such knowledge. In the paper we explore these concepts in the context of the formal methods community in general and the Z notation community, as has been supported by the Z User Group, in particular. The existing SWEBOK Software Engineering Body of Knowledge is considered with respect to formal methods and a high-level model for the possible structure of of a BoK is provided using the Z notation.


Software Engineering Software Engineer Formal Method Accreditation Body Legitimate Peripheral Participation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bjørner, D.: Software Engineering. In: Texts in Theoretical Computer Science. An EATCS Series, vol. 3, Springer, Heidelberg (2005–6)Google Scholar
  2. 2.
    Black, S.E., Boca, P.P., Bowen, J.P., Gorman, J., Hinchey, M.G.: Formal versus agile: Survival of the fittest. IEEE Computer 42(9), 37–45 (2009)CrossRefGoogle Scholar
  3. 3.
    Boca, P.P., Bowen, J.P., Siddiqi, J. (eds.): Formal Methods: State of the Art and New Directions. Springer, London (2010)zbMATHGoogle Scholar
  4. 4.
    Boute, R.: Formal Methods: Teaching and Practicing Computer Science at the University Level. In: Davies, J., et al. (eds.) Proceedings of the First International Workshop on Formal Methods Education and Training,Technical Report GRACE-TR-2008-03, GRACE Center, Japan (October 2008),
  5. 5.
    Bowen, J.P.Z.: A formal specification notation. In: Frappier, M., Habrias, H. (eds.) Software Specification Methods: An Overview Using a Case Study. FACIT series, ch. 1, pp. 3–19. Springer, London (2001)CrossRefGoogle Scholar
  6. 6.
    Bowen, J.P., Borda, A.: Communicating the public understanding of science: The Royal Society website. International Journal of Technology Management 46(1/2), 146–164 (2009)CrossRefGoogle Scholar
  7. 7.
    Bowen, J.P., Hinchey, M.G.: Ten commandments of formal methods … Ten years later. IEEE Computer 39(1), 40–48 (2006)CrossRefGoogle Scholar
  8. 8.
    Bowen, J.P., Hinchey, M.G.: Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net. In: Abrial, J.-R., Glässer, U. (eds.) Rigorous Methods for Software Construction and Analysis. LNCS, vol. 5115, pp. 219–233. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  9. 9.
    Derida, J.: Mal d’Archive: Une Impression Freudienne. Éditions Galilée, 1995. Translated by E. Prenowitz, Archive Fever: A Freudian Impression (1996)Google Scholar
  10. 10.
    Ebersbach, A., Glaser, M., Heigl, M.: Wiki: Web Collaboration. Springer, Heidelberg (2006)Google Scholar
  11. 11.
    FMET. Towards Formal Methods Body of Knowledge (FMBOK). GRACE Center, Japan, (accessed March 31, 2010)
  12. 12.
    Hara, N.: Communities of Practice: Fostering peer-to-peer learning and informal knowledge sharing in the work place, information science and knowledge management. Springer, Heidelberg (2009)Google Scholar
  13. 13.
    Henson, M.C., Reeves, S., Bowen, J.P.Z.: logic and its consequences. CAI: Computing and Informatics 22(4), 381–415 (2003)MathSciNetzbMATHGoogle Scholar
  14. 14.
    Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Luettgen, G., Simons, A.J.H., Vilkomir, S.A., Woodward, M.R., Zedan, H.: Using formal specification to support testing. ACM Computing Surveys 41(2), 1–76 (2009), doi:10.1145/1459352.1459354CrossRefGoogle Scholar
  15. 15.
    Hinchey, M.G., Bowen, J.P., Vassev, E.: Formal Methods. In: Laplante, P.A. (ed.) Encyclopedia of Software Engineering, pp. 308–320. Taylor & Francis, Abington (2010)Google Scholar
  16. 16.
    Hinchey, M.G., Jackson, M., Cousot, P., Cook, B., Bowen, J.P., Margaria, T.: Software engineering and formal methods. Communications of the ACM 51(9), 54–59 (2008), doi:10.1145/1378727.1378742CrossRefGoogle Scholar
  17. 17.
    Hughes, J., Jewson, N., Unwin, L. (eds.): Communities of Practice: Critical perspectives. Routledge, New York (2007)Google Scholar
  18. 18.
    Abran, A., Moore, J.W., Bourque, P., Dupuis, R.: SWEBOK: Guide to the Software Engineering Body of Knowledge. IEEE Computer Society, Los Alamitos (2004), Google Scholar
  19. 19.
    ISO. Information Technology – Z Formal Specification Notation – Syntax, Type System and Semantics. ISO/IEC 13568:2002, International Organization for Standardization (2002)Google Scholar
  20. 20.
    Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)Google Scholar
  21. 21.
    Joint Task Force on Computing Curricula. Software Engineering 2004: Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering. Computing Curricula Series, IEEE Computer Society and Association for Computing Machinery (August 23, 2004),
  22. 22.
    Kommers, P.: Creativity in web-based communities. International Journal of Web Based Communities 6(4), 410–418 (2010)CrossRefGoogle Scholar
  23. 23.
    Lave, J., Wenger, E.: Situated Learning: Legitimate peripheral participation. Cambridge University Press, New York (1991)CrossRefGoogle Scholar
  24. 24.
    Liu, A.H.-Y., McDaid, S., Bowen, J.P., Beazley, I.: Dulwich OnView: A museum blog run by the community for the community. In: Trant, J., Bearman, D. (eds.) Museums and the Web 2010: Proceedings, Archives & Museum Informatics, Toronto (2010), Google Scholar
  25. 25.
    Milne, D., Witten, I.H.: Learning to link with Wikipedia. In: Proc. ACM Conference on Information and Knowledge Management (CIKM 2008), pp. 509–518. ACM Publications, Napa Valley (2008), doi:10.1145/1458082.1458150Google Scholar
  26. 26.
    Milner, R.: Bigraphs and their algebra. In: Electronic Notes in Theoretical Computer Science, vol. 209, pp. 5–19 (2008); Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory (LIX 2006), doi:10.1016/j.entcs.2008.04.002Google Scholar
  27. 27.
    Nishihara, H., Shinozaki, K., Hayamizu, K., Aoki, T., Taguchi, K., Kumeno, F.: Model checking education for software engineers in Japan. ACM SIGCSE Bulletin 41(2) (June 2009), doi:10.1145/1595453.1595461Google Scholar
  28. 28.
    Oliveira, J.N.: A Survey of Formal Methods Courses in European Higher Education. In: Dean, C.N., Boute, R.T. (eds.) TFM 2004. LNCS, vol. 3294, pp. 235–248. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  29. 29.
    Spivey, J.M.: The Z Notation: A reference manual (2001) (Originally published by Prentice Hall, 1st edn. (1989) 2nd edn. (1992),
  30. 30.
    Van Doren, C.: A History of Knowledge: Past, present, and future. Ballantine Books, New York (1991)Google Scholar
  31. 31.
    Wenger, E.: Communities of Practice: Learning, Meaning, and Identity. Cambridge University Press, Cambridge (1998)CrossRefGoogle Scholar
  32. 32.
    Wenger, E., McDermott, R.A., Snyder, W.: Cultivating Communities of Practice: A guide to managing knowledge. Harvard Business School Press, Boston (2002)Google Scholar
  33. 33.
    Wikipedia. Body of Knowledge, Wikimedia Foundation, (accessed March 31, 2010)
  34. 34.
    Wikipedia. Ontology (information science), Wikimedia Foundation, (accessed March 31, 2010)

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Jonathan P. Bowen
    • 1
  • Steve Reeves
    • 2
  1. 1.Faculty of BusinessLondon South Bank UniversityLondonUnited Kingdom
  2. 2.Department of Computer ScienceThe University of WaikatoHamiltonNew Zealand

Personalised recommendations