Skip to main content
Top

Hint

Swipe to navigate through the chapters of this book

2017 | Supplement | Chapter

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

Authors : Edward Kabaale, Lian Wen, Zhe Wang, Terry Rout

Published in: Software Process Improvement and Capability Determination

Publisher: Springer International Publishing

share
SHARE

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.
Literature
1.
go back to reference Fuggetta, A.: Software process: a roadmap. In: ICSE 2000: Proceedings of the International Conference on Software Engineering (ICSE)(2000) Fuggetta, A.: Software process: a roadmap. In: ICSE 2000: Proceedings of the International Conference on Software Engineering (ICSE)(2000)
2.
go back to reference ISO/IEC FDIS 12207:2017. Systems and software engineering - Software life cycle processes (2017) ISO/IEC FDIS 12207:2017. Systems and software engineering - Software life cycle processes (2017)
3.
go back to reference ISO/IEC TR 29110-5-1-2:2011, Software engineering Lifecycle profiles for VSEs: Management and engineering guide: Generic profile group: Basic profile (2011) ISO/IEC TR 29110-5-1-2:2011, Software engineering Lifecycle profiles for VSEs: Management and engineering guide: Generic profile group: Basic profile (2011)
4.
go back to reference ISO, ISO/IEC 33061:2015 Information technology - Process capability assessment model for software life cycle processes (2015) ISO, ISO/IEC 33061:2015 Information technology - Process capability assessment model for software life cycle processes (2015)
5.
go back to reference CMMI Product Team, CMMI for Development, Version 1.3, Software Engineering Institute, Carnegie Mellon University (2010) CMMI Product Team, CMMI for Development, Version 1.3, Software Engineering Institute, Carnegie Mellon University (2010)
6.
go back to reference OOSPICE, Software Process Improvement and Capability Determination for Object-Oriented/Component-Based Software Development (2002) OOSPICE, Software Process Improvement and Capability Determination for Object-Oriented/Component-Based Software Development (2002)
7.
go back to reference Object Management Group: Software and Systems Process Engineering MetaModel 2.0, formal/2008-04-01. Object Management Group, USA (2008) Object Management Group: Software and Systems Process Engineering MetaModel 2.0, formal/2008-04-01. Object Management Group, USA (2008)
8.
go back to reference ISO/IEC, 2007. ISO/IEC 24744. Software Engineering Metamodel for Development Methodologies. ISO, Geneva (2007) ISO/IEC, 2007. ISO/IEC 24744. Software Engineering Metamodel for Development Methodologies. ISO, Geneva (2007)
9.
go back to reference Henderson-Sellers, B., Gonzalez-Perez, C.: A comparison of four process metamodels and the creation of a new generic standard Inform. Softw. Technol. (2005) Henderson-Sellers, B., Gonzalez-Perez, C.: A comparison of four process metamodels and the creation of a new generic standard Inform. Softw. Technol. (2005)
10.
go back to reference 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 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
11.
go back to reference Diebold, P., Scherr, S.: Software process models vs. descriptions: What do practitioners use and need? J. Softw. Maint. Evol. Res. Pract. (2017) Diebold, P., Scherr, S.: Software process models vs. descriptions: What do practitioners use and need? J. Softw. Maint. Evol. Res. Pract. (2017)
12.
go back to reference Tarhan, A., Giray, G.: On the use of ontologies in software process assessment: a systematic literature review. In: EASE (2017) Tarhan, A., Giray, G.: On the use of ontologies in software process assessment: a systematic literature review. In: EASE (2017)
13.
go back to reference 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 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
14.
go back to reference 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 CrossRef 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 CrossRef
15.
go back to reference 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 CrossRef 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 CrossRef
16.
go back to reference 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 CrossRef 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 CrossRef
17.
go back to reference Liao, L., Qu, Y., Leung, H.K.N.: A Software Process Ontology and its Application (2005) Liao, L., Qu, Y., Leung, H.K.N.: A Software Process Ontology and its Application (2005)
18.
go back to reference 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 CrossRef 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 CrossRef
19.
go back to reference 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 CrossRef 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 CrossRef
20.
go back to reference 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) 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)
21.
go back to reference Garca, F., Serrano, M., Cruz-Lemus, J., Ruiz, F., Piattini, M.: Managing software process measurement: a metamodel-based approach. Inf. Sci. (2007) Garca, F., Serrano, M., Cruz-Lemus, J., Ruiz, F., Piattini, M.: Managing software process measurement: a metamodel-based approach. Inf. Sci. (2007)
22.
go back to reference Martins, P.V., da Silva, A.R.: PIT-ProcessM: a software process improvement meta-model. In: QUATIC, 7th International Conference (2010) Martins, P.V., da Silva, A.R.: PIT-ProcessM: a software process improvement meta-model. In: QUATIC, 7th International Conference (2010)
23.
go back to reference 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) 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)
24.
go back to reference Gonzalez-Perez, C., Henderson-Sellers, B.: A powertype-based meta- modelling framework. Softw. Syst. Model. (2006) Gonzalez-Perez, C., Henderson-Sellers, B.: A powertype-based meta- modelling framework. Softw. Syst. Model. (2006)
25.
go back to reference Henderson-Sellers, B.: Bridging metamodels and ontologies in software engineering. J. Syst. Softw. 84 (2011) Henderson-Sellers, B.: Bridging metamodels and ontologies in software engineering. J. Syst. Softw. 84 (2011)
26.
go back to reference Saeki, M., Kaiya, H.: On relationships among models, meta models and ontologies. In: Proceedings of Workshop on Domain-Specific Modeling (2007) Saeki, M., Kaiya, H.: On relationships among models, meta models and ontologies. In: Proceedings of Workshop on Domain-Specific Modeling (2007)
27.
go back to reference 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 CrossRef 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 CrossRef
28.
go back to reference Lonchamp, J.: A structured conceptual and terminological framework for software process engineering. In: The ICSP 2. IEEE Computer (1993) Lonchamp, J.: A structured conceptual and terminological framework for software process engineering. In: The ICSP 2. IEEE Computer (1993)
29.
go back to reference Gonzalez-Perez, C., McBride, T.M., Henderson-Sellers, B.: A metamodel for assessable software development methodologies. Softw. Qual. J. (2005) Gonzalez-Perez, C., McBride, T.M., Henderson-Sellers, B.: A metamodel for assessable software development methodologies. Softw. Qual. J. (2005)
30.
go back to reference Makinen, T., Varkoi, T.: Analyzing a Process Profile for Very Small Software Enterprises. In: SPICE (2008) Makinen, T., Varkoi, T.: Analyzing a Process Profile for Very Small Software Enterprises. In: SPICE (2008)
31.
go back to reference 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) 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)
32.
go back to reference Pardo-Calvache, C.J., Garca-Rubio, F.O., et al.: A reference ontology for harmonizing process-reference models (2014) Pardo-Calvache, C.J., Garca-Rubio, F.O., et al.: A reference ontology for harmonizing process-reference models (2014)
34.
go back to reference Jekjantuk, N., Groner, G., Pan, J.Z.: Modeling and reasoning in metamodeling enabled ontologies. Int. J. Softw. Inf. (2010) Jekjantuk, N., Groner, G., Pan, J.Z.: Modeling and reasoning in metamodeling enabled ontologies. Int. J. Softw. Inf. (2010)
37.
go back to reference Suh, N.P.: Axiomatic Design: Advances and Applications. Oxford University Press, New York (2001) Suh, N.P.: Axiomatic Design: Advances and Applications. Oxford University Press, New York (2001)
38.
go back to reference Kim, S.J., Suh, N.P., Kim, S.: Design of software systems based on AD. Ann. CIRP 40(1), 16570 (1991) Kim, S.J., Suh, N.P., Kim, S.: Design of software systems based on AD. Ann. CIRP 40(1), 16570 (1991)
39.
go back to reference Arsenyan, J., Bykzkan, G.: Modelling collaborative software development using axiomatic design principles. IAENG (2009) Arsenyan, J., Bykzkan, G.: Modelling collaborative software development using axiomatic design principles. IAENG (2009)
40.
go back to reference Varkoi, T.: Process assessment in very small entities-An ISO/IEC 29110 based method. In: 7th International Conference QUATIC. IEEE (2010) Varkoi, T.: Process assessment in very small entities-An ISO/IEC 29110 based method. In: 7th International Conference QUATIC. IEEE (2010)
Metadata
Title
An Axiom Based Metamodel for Software Process Formalisation: An Ontology Approach
Authors
Edward Kabaale
Lian Wen
Zhe Wang
Terry Rout
Copyright Year
2017
DOI
https://doi.org/10.1007/978-3-319-67383-7_17

Premium Partner