Skip to main content
SpringerLink
Log in

An Axiom Based Metamodel for Software Process Formalisation: An Ontology Approach

  • Conference paper
  • First Online:
Software Process Improvement and Capability Determination (SPICE 2017)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 770))

Abstract

Software development usually follows well known process models and standards for development processes. However, these are usually diverse and described in natural language which complicates their automation, adaptivity and verification. The need for process formalisation has long been highlighted, and we have provided a formalisation and translation algorithm to that effect in earlier work. However, to systematically and faithfully formalise heterogeneous processes from different standards and process models, there is a need to utilise uniform concepts to underpin the formalisation process. Metamodels and ontologies have been explored recently to lay a foundation for structuring and expressing additional rigour to process formalisation. In this study, we develop an axiom based metamodel utilising powertype patterns as a conceptual framework to underpin homogeneous process formalisation. The advantage of an axiomatic and powertype based metamodel approach lies in its potential to determine the metamodel basic constituents and formalism as well as its extensibility and adaptability. We formalise the metamodel using ontologies while adopting use cases from ISO/IEC 29110 and ISO/IEC 24744 standards for metamodel illustrations. Ontology based process descriptions enable process automated verification and adaptivity capability through the use of ontology reasoning support engines.

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

Access this chapter

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

Institutional subscriptions

Notes

  1. 1.

    https://www.w3.org/OWL/.

  2. 2.

    https://www.w3.org/TR/owl2-overview/.

  3. 3.

    http://owl.cs.manchester.ac.uk/tools/list-of-reasoners/.

References

  1. Fuggetta, A.: Software process: a roadmap. In: ICSE 2000: Proceedings of the International Conference on Software Engineering (ICSE)(2000)

    Google Scholar 

  2. ISO/IEC FDIS 12207:2017. Systems and software engineering - Software life cycle processes (2017)

    Google Scholar 

  3. ISO/IEC TR 29110-5-1-2:2011, Software engineering Lifecycle profiles for VSEs: Management and engineering guide: Generic profile group: Basic profile (2011)

    Google Scholar 

  4. ISO, ISO/IEC 33061:2015 Information technology - Process capability assessment model for software life cycle processes (2015)

    Google Scholar 

  5. CMMI Product Team, CMMI for Development, Version 1.3, Software Engineering Institute, Carnegie Mellon University (2010)

    Google Scholar 

  6. OOSPICE, Software Process Improvement and Capability Determination for Object-Oriented/Component-Based Software Development (2002)

    Google Scholar 

  7. Object Management Group: Software and Systems Process Engineering MetaModel 2.0, formal/2008-04-01. Object Management Group, USA (2008)

    Google Scholar 

  8. ISO/IEC, 2007. ISO/IEC 24744. Software Engineering Metamodel for Development Methodologies. ISO, Geneva (2007)

    Google Scholar 

  9. Henderson-Sellers, B., Gonzalez-Perez, C.: A comparison of four process metamodels and the creation of a new generic standard Inform. Softw. Technol. (2005)

    Google Scholar 

  10. Gallina, B., Szatmári, Z.: Ontology-based identification of commonalities and variabilities among safety processes. In: Abrahamsson, P., Corral, L., Oivo, M., Russo, B. (eds.) PROFES 2015. LNCS, vol. 9459, pp. 182–189. Springer, Cham (2015). doi:10.1007/978-3-319-26844-6_13

    Google Scholar 

  11. Diebold, P., Scherr, S.: Software process models vs. descriptions: What do practitioners use and need? J. Softw. Maint. Evol. Res. Pract. (2017)

    Google Scholar 

  12. Tarhan, A., Giray, G.: On the use of ontologies in software process assessment: a systematic literature review. In: EASE (2017)

    Google Scholar 

  13. Kabaale, E., Wen, L., Wang, Z., Rout, T.: Representing software process in description logics: an ontology approach for software process reasoning and verification. In: Clarke, P.M., O’Connor, R.V., Rout, T., Dorling, A. (eds.) SPICE 2016. CCIS, vol. 609, pp. 362–376. Springer, Cham (2016). doi:10.1007/978-3-319-38980-6_26

    Google Scholar 

  14. Wen, L., Tuffley, D., Rout, T.: Using composition trees to model and compare software process. In: O’Connor, R.V., Rout, T., McCaffery, F., Dorling, A. (eds.) SPICE 2011. CCIS, vol. 155, pp. 1–15. Springer, Heidelberg (2011). doi:10.1007/978-3-642-21233-8_1

    Chapter  Google Scholar 

  15. Wen, L., Rout, T.: Using composition trees to validate an entry profile of software engineering lifecycle profiles for very small entities (VSEs). In: Mas, A., Mesquida, A., Rout, T., O’Connor, R.V., Dorling, A. (eds.) SPICE 2012. CCIS, vol. 290, pp. 38–50. Springer, Heidelberg (2012). doi:10.1007/978-3-642-30439-2_4

    Chapter  Google Scholar 

  16. Kharlamov, E., Grau, B.C., Jiménez-Ruiz, E., Lamparter, S., Mehdi, G., Ringsquandl, M., Nenov, Y., Grimm, S., Roshchin, M., Horrocks, I.: Capturing industrial information models with ontologies and constraints. In: Groth, P., Simperl, E., Gray, A., Sabou, M., Krötzsch, M., Lecue, F., Flöck, F., Gil, Y. (eds.) ISWC 2016. LNCS, vol. 9982, pp. 325–343. Springer, Cham (2016). doi:10.1007/978-3-319-46547-0_30

    Chapter  Google Scholar 

  17. Liao, L., Qu, Y., Leung, H.K.N.: A Software Process Ontology and its Application (2005)

    Google Scholar 

  18. Clarke, P.M., Calafat, A.L.M., Ekert, D., Ekstrom, J.J., Gornostaja, T., Jovanovic, M., Johansen, J., Mas, A., Messnarz, R., Villar, B.N., O’Connor, A., O’Connor, R.V., Reiner, M., Sauberer, G., Schmitz, K.-D., Yilmaz, M.: Refactoring software development process terminology through the use of ontology. In: Kreiner, C., O’Connor, R.V., Poth, A., Messnarz, R. (eds.) EuroSPI 2016. CCIS, vol. 633, pp. 47–57. Springer, Cham (2016). doi:10.1007/978-3-319-44817-6_4

    Chapter  Google Scholar 

  19. Kabaale, E., Nabukenya, J.: A systematic approach to requirements engineering process improvement in small and medium enterprises: an exploratory study. In: Caivano, D., Oivo, M., Baldassarre, M.T., Visaggio, G. (eds.) PROFES 2011. LNCS, vol. 6759, pp. 262–275. Springer, Heidelberg (2011). doi:10.1007/978-3-642-21843-9_21

    Chapter  Google Scholar 

  20. Jeners, S., P. Clarke, P., OConnor, R.V., Buglione, L., Lepmets, M.: Harmonizing software development processes with software development settingsA systematic approach. Commun. Comput. (2013)

    Google Scholar 

  21. Garca, F., Serrano, M., Cruz-Lemus, J., Ruiz, F., Piattini, M.: Managing software process measurement: a metamodel-based approach. Inf. Sci. (2007)

    Google Scholar 

  22. Martins, P.V., da Silva, A.R.: PIT-ProcessM: a software process improvement meta-model. In: QUATIC, 7th International Conference (2010)

    Google Scholar 

  23. Pereira, E., Bastos R., da C. Mra, M., Oliveira T.: Improving the consistency of SPEM based software processes. In: Proceedings of the 13th ICEIS (2011)

    Google Scholar 

  24. Gonzalez-Perez, C., Henderson-Sellers, B.: A powertype-based meta- modelling framework. Softw. Syst. Model. (2006)

    Google Scholar 

  25. Henderson-Sellers, B.: Bridging metamodels and ontologies in software engineering. J. Syst. Softw. 84 (2011)

    Google Scholar 

  26. Saeki, M., Kaiya, H.: On relationships among models, meta models and ontologies. In: Proceedings of Workshop on Domain-Specific Modeling (2007)

    Google Scholar 

  27. Staab, S., Walter, T., Gröner, G., Parreiras, F.S.: Model driven engineering with ontology technologies. In: Aßmann, U., Bartho, A., Wende, C. (eds.) Reasoning Web 2010. LNCS, vol. 6325, pp. 62–98. Springer, Heidelberg (2010). doi:10.1007/978-3-642-15543-7_3

    Chapter  Google Scholar 

  28. Lonchamp, J.: A structured conceptual and terminological framework for software process engineering. In: The ICSP 2. IEEE Computer (1993)

    Google Scholar 

  29. Gonzalez-Perez, C., McBride, T.M., Henderson-Sellers, B.: A metamodel for assessable software development methodologies. Softw. Qual. J. (2005)

    Google Scholar 

  30. Makinen, T., Varkoi, T.: Analyzing a Process Profile for Very Small Software Enterprises. In: SPICE (2008)

    Google Scholar 

  31. Gonzalez-Perez, C., Henderson-Sellers, B., McBride, T., Low, G.C., Larrucea, X.: An Ontology for ISO software engineering standards: 2) Proof of concept and application. Comput. Stand. Interfaces (2016)

    Google Scholar 

  32. Pardo-Calvache, C.J., Garca-Rubio, F.O., et al.: A reference ontology for harmonizing process-reference models (2014)

    Google Scholar 

  33. Atkinson, C., Kühne, T.: The essence of multilevel metamodeling. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 19–33. Springer, Heidelberg (2001). doi:10.1007/3-540-45441-1_3

    Chapter  Google Scholar 

  34. Jekjantuk, N., Groner, G., Pan, J.Z.: Modeling and reasoning in metamodeling enabled ontologies. Int. J. Softw. Inf. (2010)

    Google Scholar 

  35. OWL 2 Web Ontology Language Primer, 2nd edn., https://www.w3.org/TR/2012/REC-owl2-primer-20121211

  36. Motik, B.: On the properties of metamodeling in OWL. J. Logic Comput. 17(4), 617637 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  37. Suh, N.P.: Axiomatic Design: Advances and Applications. Oxford University Press, New York (2001)

    Google Scholar 

  38. Kim, S.J., Suh, N.P., Kim, S.: Design of software systems based on AD. Ann. CIRP 40(1), 16570 (1991)

    Google Scholar 

  39. Arsenyan, J., Bykzkan, G.: Modelling collaborative software development using axiomatic design principles. IAENG (2009)

    Google Scholar 

  40. Varkoi, T.: Process assessment in very small entities-An ISO/IEC 29110 based method. In: 7th International Conference QUATIC. IEEE (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Integrated and Intelligent Systems, Griffith University, 170 Kessels Road, Brisbane, QLD, 4111, Australia

    Lian Wen, Zhe Wang & Terry Rout

  2. School of Information and Communication Technology, Griffith University, 170 Kessels Rd, Brisbane, QLD, 4111, Australia

    Edward Kabaale, Lian Wen & Zhe Wang

Authors
  1. Edward Kabaale
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lian Wen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Zhe Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Terry Rout
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Edward Kabaale .

Editor information

Editors and Affiliations

  1. University of the Balearic Islands, Palma, Spain

    Antonia Mas

  2. University of the Balearic Islands, Palma, Baleares, Spain

    Antoni Mesquida

  3. Dublin University, Dublin, Ireland

    Rory V. O'Connor

  4. Software Quality Institute, Griffith University, Brisbane, Queensland, Australia

    Terry Rout

  5. Impronova AB, Askim, Sweden

    Alec Dorling

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Kabaale, E., Wen, L., Wang, Z., Rout, T. (2017). An Axiom Based Metamodel for Software Process Formalisation: An Ontology Approach. In: Mas, A., Mesquida, A., O'Connor, R., Rout, T., Dorling, A. (eds) Software Process Improvement and Capability Determination. SPICE 2017. Communications in Computer and Information Science, vol 770. Springer, Cham. https://doi.org/10.1007/978-3-319-67383-7_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-67383-7_17

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-67382-0

  • Online ISBN: 978-3-319-67383-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation