Skip to main content
SpringerLink
Log in
Book cover

International Conference on Software Engineering and Formal Methods

SEFM 2014: Software Engineering and Formal Methods pp 227–242Cite as

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

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 8938))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Fensel, D.: Formal specification languages in knowledge and software engineering. Knowl. Eng. Rev. 10(4), 361–404 (1995)

    Article  Google Scholar 

  2. Tse, T.H., Pong, L.: An examination of requirements specification languages. Comput. J. 34(2), 143–152 (1991)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  4. Harmelen, F.V., Aben, M.: Structure-preserving specification languages for knowledge-based systems. Int. J. Hum Comput Stud. 44(2), 187–212 (1996)

    Article  Google Scholar 

  5. Bjørner, D., Henson, M.C.: Logics of Specification Languages, vol. 18. Springer, Berlin (2008)

    Book  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. Gruninger, M., Menzel, C.: The process specification language (PSL) theory and applications. AI Mag. 24(3), 63 (2003)

    Google Scholar 

  11. Catron, B.A., Ray, S.R.: ALPS: a language for process specification. Int. J. Comput. Integr. Manuf. 4(2), 105–113 (1991)

    Article  Google Scholar 

  12. Schlenoff, C., Knutilla, A., Ray, S.: Unified process specification language: requirements for modeling process. Interagency Report, 5910 (1996)

    Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Book  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. 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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  24. Cerone, A.: Learning and Activity Patterns in OSS Communities and their Impact on Software Quality. ECEASST, 48 (2011)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  26. Rozinat, A., van der Aalst, W.M.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64–95 (2008)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Pisa, Pisa, Italy

    Patrick Mukala, Antonio Cerone & Franco Turini

Authors
  1. Patrick Mukala
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antonio Cerone
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Franco Turini
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Patrick Mukala .

Editor information

Editors and Affiliations

  1. University of Malaga, Malaga, Spain

    Carlos Canal

  2. LIG Lab, Saint Martin d'Hères Cedex, France

    Akram Idani

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation