Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Fensel, D.: Formal specification languages in knowledge and software engineering. Knowl. Eng. Rev. 10(4), 361–404 (1995)
Tse, T.H., Pong, L.: An examination of requirements specification languages. Comput. J. 34(2), 143–152 (1991)
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)
Harmelen, F.V., Aben, M.: Structure-preserving specification languages for knowledge-based systems. Int. J. Hum Comput Stud. 44(2), 187–212 (1996)
Bjørner, D., Henson, M.C.: Logics of Specification Languages, vol. 18. Springer, Berlin (2008)
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)
Tan, Y.M.: Introduction. In: Tan, Y.M. (ed.) Formal Specification Techniques for Engineering Modular C Programs, pp. 1–15. Springer, New York (1996)
Overstreet, C.M., Nance, R.E., Balci, O., Barger, L.F.: Specification languages: understanding their role in simulation model development (1987)
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)
Gruninger, M., Menzel, C.: The process specification language (PSL) theory and applications. AI Mag. 24(3), 63 (2003)
Catron, B.A., Ray, S.R.: ALPS: a language for process specification. Int. J. Comput. Integr. Manuf. 4(2), 105–113 (1991)
Schlenoff, C., Knutilla, A., Ray, S.: Unified process specification language: requirements for modeling process. Interagency Report, 5910 (1996)
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)
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)
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)
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)
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)
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)
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)
Glott, R., Meiszner, A., Sowe, S.K.: FLOSSCom Phase 1 Report: Analysis of the Informal Learning Environment of FLOSS Communities. FLOSSCom Project (2007)
Cerone, A.K., Sowe, S.K.: Using Free/Libre Open Source Software Projects as E-learning Tools. Electronic Communications of the EASST, 33 (2010)
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)
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)
Cerone, A.: Learning and Activity Patterns in OSS Communities and their Impact on Software Quality. ECEASST, 48 (2011)
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)
Rozinat, A., van der Aalst, W.M.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64–95 (2008)
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)
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)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Mukala, P., Cerone, A., Turini, F. (2015). An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities. In: Canal, C., Idani, A. (eds) Software Engineering and Formal Methods. SEFM 2014. Lecture Notes in Computer Science(), vol 8938. Springer, Cham. https://doi.org/10.1007/978-3-319-15201-1_15
Download citation
DOI: https://doi.org/10.1007/978-3-319-15201-1_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-15200-4
Online ISBN: 978-3-319-15201-1
eBook Packages: Computer ScienceComputer Science (R0)