An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities

  • Patrick MukalaEmail author
  • Antonio Cerone
  • Franco Turini
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8938)


Free/Libre Open Source Software (FLOSS) communities as collaborative environments enable the occurrence of learning between participants in these groups. With the increasing interest research on understanding the mechanisms and processes through which learning occurs in FLOSS, there is an imperative to describe these processes. One successful way of doing this is through specification methods. In this paper, we describe the adoption of Abstract States Machines (ASMs) as a specification methodology for the description of learning processes in FLOSS. The goal of this endeavor is to represent the many possible steps and/or activities FLOSS participants go through during interactions that can be categorized as learning processes. Through ASMs, we express learning phases as states while activities that take place before moving from one state to another are expressed as transitions.


Process modeling Abstract State Machines (ASMs) FLOSS communities Learning processes 


  1. 1.
    Fensel, D.: Formal specification languages in knowledge and software engineering. Knowl. Eng. Rev. 10(4), 361–404 (1995)CrossRefGoogle Scholar
  2. 2.
    Tse, T.H., Pong, L.: An examination of requirements specification languages. Comput. J. 34(2), 143–152 (1991)CrossRefGoogle Scholar
  3. 3.
    Shaw, A.C.: Software specification languages based on regular expressions. In: Riddle, W.E., Fairley, R.E. (eds.) Software Development Tools, pp. 148–175. Springer, Heidelberg (1980)CrossRefGoogle Scholar
  4. 4.
    Harmelen, F.V., Aben, M.: Structure-preserving specification languages for knowledge-based systems. Int. J. Hum Comput Stud. 44(2), 187–212 (1996)CrossRefGoogle Scholar
  5. 5.
    Bjørner, D., Henson, M.C.: Logics of Specification Languages, vol. 18. Springer, Berlin (2008)CrossRefGoogle Scholar
  6. 6.
    Cooke, D., Gates, A., Demirörs, E., Demirörs, O., Tanik, M.M., Krämer, B.: Languages for the specification of software. J. Syst. Softw. 32(3), 269–308 (1996)CrossRefGoogle Scholar
  7. 7.
    Tan, Y.M.: Introduction. In: Tan, Y.M. (ed.) Formal Specification Techniques for Engineering Modular C Programs, pp. 1–15. Springer, New York (1996)CrossRefGoogle Scholar
  8. 8.
    Overstreet, C.M., Nance, R.E., Balci, O., Barger, L.F.: Specification languages: understanding their role in simulation model development (1987)Google Scholar
  9. 9.
    Gruninger, M., Tissot, F., Valois, J., Lubell, J., Lee, J.: The process specification language (PSL) overview and version 1.0 specification. US Department of Commerce, Technology Administration, National Institute of Standards and Technology (2000)Google Scholar
  10. 10.
    Gruninger, M., Menzel, C.: The process specification language (PSL) theory and applications. AI Mag. 24(3), 63 (2003)Google Scholar
  11. 11.
    Catron, B.A., Ray, S.R.: ALPS: a language for process specification. Int. J. Comput. Integr. Manuf. 4(2), 105–113 (1991)CrossRefGoogle Scholar
  12. 12.
    Schlenoff, C., Knutilla, A., Ray, S.: Unified process specification language: requirements for modeling process. Interagency Report, 5910 (1996)Google Scholar
  13. 13.
    Schlenoff, C., Ray, S., Polyak, S.T., Tate, A., Cheah, S.C., Anderson, R.C.: Process specification language: an analysis of existing representations. US Department of Commerce, Technology Administration, National Institute of Standards and Technology (1998)Google Scholar
  14. 14.
    Farahbod, R., Glässer, U., Vajihollahi, M.: Specification and validation of the business process execution language for web services. In: Zimmermann, W., Thalheim, B. (eds.) ASM 2004. LNCS, vol. 3052, pp. 78–94. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  15. 15.
    Börger, E., Stärk, R.F.: Abstract State Machines: A Method for High-level System Design and Analysis (with 19 Tables). Springer, Heidelberg (2003)CrossRefGoogle Scholar
  16. 16.
    Börger, E.: The origins and the development of the ASM method for high level system design and analysis. J. Univ. Comput. Sci. 8(1), 2–74 (2002)Google Scholar
  17. 17.
    Börger, E.: High level system design and analysis using abstract state machines. In: Hutter, D., Stephan, W., Traverso, P., Ullmann, M. (eds.) FM-Trends 1998. LNCS, vol. 1641, pp. 1–43. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  18. 18.
    Börger, E.: The ASM Method for system design and analysis. a tutorial introduction. In: Gramlich, B. (ed.) FroCos 2005. LNCS (LNAI), vol. 3717, pp. 264–283. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  19. 19.
    Glott, R., SPI, A.M., Sowe, S.K., Conolly, T., Healy, A., Ghosh, R., West, D.: FLOSSCom - Using the Principles of Informal Learning Environments of FLOSS Communities to Improve ICT Supported Formal Education (2011)Google Scholar
  20. 20.
    Glott, R., Meiszner, A., Sowe, S.K.: FLOSSCom Phase 1 Report: Analysis of the Informal Learning Environment of FLOSS Communities. FLOSSCom Project (2007)Google Scholar
  21. 21.
    Cerone, A.K., Sowe, S.K.: Using Free/Libre Open Source Software Projects as E-learning Tools. Electronic Communications of the EASST, 33 (2010)Google Scholar
  22. 22.
    Fernandes, S., Cerone, A., Barbosa, L.S.: Analysis of FLOSS communities as learning contexts. In: Counsell, S., Núñez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 405–416. Springer, Heidelberg (2014)CrossRefGoogle Scholar
  23. 23.
    Rubin, V., Günther, C.W., van der Aalst, W.M., Kindler, E., van Dongen, B.F., Schäfer, W.: Process mining framework for software processes. In: Wang, Q., Pfahl, D., Raffo, D.M. (eds.) ICSP 2007. LNCS, vol. 4470, pp. 169–181. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  24. 24.
    Cerone, A.: Learning and Activity Patterns in OSS Communities and their Impact on Software Quality. ECEASST, 48 (2011)Google Scholar
  25. 25.
    Sowe, S.K., Stamelos, I.: Reflection on Knowledge Sharing in F/OSS Projects. In: Russo, B., Damiani, E., Hissam, S., Lundell, B., Succi, G. (eds.) Open Source Development, Communities and Quality. LNCS, vol. 275, pp. 351–358. Springer, New York (2008)CrossRefGoogle Scholar
  26. 26.
    Rozinat, A., van der Aalst, W.M.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64–95 (2008)CrossRefGoogle Scholar
  27. 27.
    van der Aalst, W.M.: Business alignment: using process mining as a tool for Delta analysis and conformance testing. Requir. Eng. 10(3), 198–211 (2005)CrossRefGoogle Scholar
  28. 28.
    van der Aalst, W.M., Rubin, V., Verbeek, H.M.W., van Dongen, B.F., Kindler, E., Günther, C.W.: Process mining: a two-step approach to balance between underfitting and overfitting. Softw. Syst. Model. 9(1), 87–111 (2010)CrossRefGoogle Scholar
  29. 29.
    De Weerdt, J., Schupp, A., Vanderloock, A., Baesens, B.: Process mining for the multi-faceted analysis of business processes—a case study in a financial services organization. Comput. Ind. 64, 57–67 (2012)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversity of PisaPisaItaly

Personalised recommendations