{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T10:51:20Z","timestamp":1761562280072},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319673820"},{"type":"electronic","value":"9783319673837"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67383-7_17","type":"book-chapter","created":{"date-parts":[[2017,9,11]],"date-time":"2017-09-11T19:25:59Z","timestamp":1505157959000},"page":"226-240","source":"Crossref","is-referenced-by-count":7,"title":["An Axiom Based Metamodel for Software Process Formalisation: An Ontology Approach"],"prefix":"10.1007","author":[{"given":"Edward","family":"Kabaale","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lian","family":"Wen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhe","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Terry","family":"Rout","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,9]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Fuggetta, A.: Software process: a roadmap. In: ICSE 2000: Proceedings of the International Conference on Software Engineering (ICSE)(2000)","DOI":"10.1145\/336512.336521"},{"key":"17_CR2","unstructured":"ISO\/IEC FDIS 12207:2017. Systems and software engineering - Software life cycle processes (2017)"},{"key":"17_CR3","unstructured":"ISO\/IEC TR 29110-5-1-2:2011, Software engineering Lifecycle profiles for VSEs: Management and engineering guide: Generic profile group: Basic profile (2011)"},{"key":"17_CR4","unstructured":"ISO, ISO\/IEC 33061:2015 Information technology - Process capability assessment model for software life cycle processes (2015)"},{"key":"17_CR5","unstructured":"CMMI Product Team, CMMI for Development, Version 1.3, Software Engineering Institute, Carnegie Mellon University (2010)"},{"key":"17_CR6","unstructured":"OOSPICE, Software Process Improvement and Capability Determination for Object-Oriented\/Component-Based Software Development (2002)"},{"key":"17_CR7","unstructured":"Object Management Group: Software and Systems Process Engineering MetaModel 2.0, formal\/2008-04-01. Object Management Group, USA (2008)"},{"key":"17_CR8","unstructured":"ISO\/IEC, 2007. ISO\/IEC 24744. Software Engineering Metamodel for Development Methodologies. ISO, Geneva (2007)"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Henderson-Sellers, B., Gonzalez-Perez, C.: A comparison of four process metamodels and the creation of a new generic standard Inform. Softw. Technol. (2005)","DOI":"10.1016\/j.infsof.2004.06.001"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-319-26844-6_13","volume-title":"Product-Focused Software Process Improvement","author":"B Gallina","year":"2015","unstructured":"Gallina, B., Szatm\u00e1ri, 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\u2013189. Springer, Cham (2015). doi: 10.1007\/978-3-319-26844-6_13"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Diebold, P., Scherr, S.: Software process models vs. descriptions: What do practitioners use and need? J. Softw. Maint. Evol. Res. Pract. (2017)","DOI":"10.1145\/2904354.2904356"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Tarhan, A., Giray, G.: On the use of ontologies in software process assessment: a systematic literature review. In: EASE (2017)","DOI":"10.1145\/3084226.3084261"},{"key":"17_CR13","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-319-38980-6_26","volume-title":"Software Process Improvement and Capability Determination","author":"E Kabaale","year":"2016","unstructured":"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\u2019Connor, R.V., Rout, T., Dorling, A. (eds.) SPICE 2016. CCIS, vol. 609, pp. 362\u2013376. Springer, Cham (2016). doi: 10.1007\/978-3-319-38980-6_26"},{"key":"17_CR14","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-21233-8_1","volume-title":"Software Process Improvement and Capability Determination","author":"L Wen","year":"2011","unstructured":"Wen, L., Tuffley, D., Rout, T.: Using composition trees to model and compare software process. In: O\u2019Connor, R.V., Rout, T., McCaffery, F., Dorling, A. (eds.) SPICE 2011. CCIS, vol. 155, pp. 1\u201315. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-21233-8_1"},{"key":"17_CR15","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-642-30439-2_4","volume-title":"Software Process Improvement and Capability Determination","author":"L Wen","year":"2012","unstructured":"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\u2019Connor, R.V., Dorling, A. (eds.) SPICE 2012. CCIS, vol. 290, pp. 38\u201350. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-30439-2_4"},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/978-3-319-46547-0_30","volume-title":"The Semantic Web \u2013 ISWC 2016","author":"E Kharlamov","year":"2016","unstructured":"Kharlamov, E., Grau, B.C., Jim\u00e9nez-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\u00f6tzsch, M., Lecue, F., Fl\u00f6ck, F., Gil, Y. (eds.) ISWC 2016. LNCS, vol. 9982, pp. 325\u2013343. Springer, Cham (2016). doi: 10.1007\/978-3-319-46547-0_30"},{"key":"17_CR17","unstructured":"Liao, L., Qu, Y., Leung, H.K.N.: A Software Process Ontology and its Application (2005)"},{"key":"17_CR18","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-319-44817-6_4","volume-title":"Systems, Software and Services Process Improvement","author":"PM Clarke","year":"2016","unstructured":"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\u2019Connor, A., O\u2019Connor, 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\u2019Connor, R.V., Poth, A., Messnarz, R. (eds.) EuroSPI 2016. CCIS, vol. 633, pp. 47\u201357. Springer, Cham (2016). doi: 10.1007\/978-3-319-44817-6_4"},{"key":"17_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-642-21843-9_21","volume-title":"Product-Focused Software Process Improvement","author":"E Kabaale","year":"2011","unstructured":"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\u2013275. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-21843-9_21"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/978-3-642-39179-8_15"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Garca, F., Serrano, M., Cruz-Lemus, J., Ruiz, F., Piattini, M.: Managing software process measurement: a metamodel-based approach. Inf. Sci. (2007)","DOI":"10.1016\/j.ins.2007.01.018"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Martins, P.V., da Silva, A.R.: PIT-ProcessM: a software process improvement meta-model. In: QUATIC, 7th International Conference (2010)","DOI":"10.1109\/QUATIC.2010.76"},{"key":"17_CR23","unstructured":"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)"},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"Gonzalez-Perez, C., Henderson-Sellers, B.: A powertype-based meta- modelling framework. Softw. Syst. Model. (2006)","DOI":"10.1007\/s10270-005-0099-9"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"Henderson-Sellers, B.: Bridging metamodels and ontologies in software engineering. J. Syst. Softw. 84 (2011)","DOI":"10.1016\/j.jss.2010.10.025"},{"key":"17_CR26","unstructured":"Saeki, M., Kaiya, H.: On relationships among models, meta models and ontologies. In: Proceedings of Workshop on Domain-Specific Modeling (2007)"},{"key":"17_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-642-15543-7_3","volume-title":"Reasoning Web. Semantic Technologies for Software Engineering","author":"S Staab","year":"2010","unstructured":"Staab, S., Walter, T., Gr\u00f6ner, G., Parreiras, F.S.: Model driven engineering with ontology technologies. In: A\u00dfmann, U., Bartho, A., Wende, C. (eds.) Reasoning Web 2010. LNCS, vol. 6325, pp. 62\u201398. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-15543-7_3"},{"key":"17_CR28","doi-asserted-by":"crossref","unstructured":"Lonchamp, J.: A structured conceptual and terminological framework for software process engineering. In: The ICSP 2. IEEE Computer (1993)","DOI":"10.1109\/SPCON.1993.236823"},{"key":"17_CR29","doi-asserted-by":"crossref","unstructured":"Gonzalez-Perez, C., McBride, T.M., Henderson-Sellers, B.: A metamodel for assessable software development methodologies. Softw. Qual. J. (2005)","DOI":"10.1007\/s11219-005-6217-7"},{"key":"17_CR30","unstructured":"Makinen, T., Varkoi, T.: Analyzing a Process Profile for Very Small Software Enterprises. In: SPICE (2008)"},{"key":"17_CR31","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1016\/j.csi.2016.04.007"},{"key":"17_CR32","doi-asserted-by":"crossref","unstructured":"Pardo-Calvache, C.J., Garca-Rubio, F.O., et al.: A reference ontology for harmonizing process-reference models (2014)","DOI":"10.17533\/udea.redin.14120"},{"key":"17_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-45441-1_3","volume-title":"<<UML>> 2001 \u2014 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"C Atkinson","year":"2001","unstructured":"Atkinson, C., K\u00fchne, T.: The essence of multilevel metamodeling. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 19\u201333. Springer, Heidelberg (2001). doi: 10.1007\/3-540-45441-1_3"},{"key":"17_CR34","doi-asserted-by":"crossref","unstructured":"Jekjantuk, N., Groner, G., Pan, J.Z.: Modeling and reasoning in metamodeling enabled ontologies. Int. J. Softw. Inf. (2010)","DOI":"10.1007\/978-3-642-15280-1_8"},{"key":"17_CR35","unstructured":"OWL 2 Web Ontology Language Primer, 2nd edn., https:\/\/www.w3.org\/TR\/2012\/REC-owl2-primer-20121211"},{"issue":"4","key":"17_CR36","doi-asserted-by":"crossref","first-page":"617637","DOI":"10.1093\/logcom\/exm027","volume":"17","author":"B Motik","year":"2007","unstructured":"Motik, B.: On the properties of metamodeling in OWL. J. Logic Comput. 17(4), 617637 (2007)","journal-title":"J. Logic Comput."},{"key":"17_CR37","volume-title":"Axiomatic Design: Advances and Applications","author":"NP Suh","year":"2001","unstructured":"Suh, N.P.: Axiomatic Design: Advances and Applications. Oxford University Press, New York (2001)"},{"key":"17_CR38","doi-asserted-by":"crossref","unstructured":"Kim, S.J., Suh, N.P., Kim, S.: Design of software systems based on AD. Ann. CIRP 40(1), 16570 (1991)","DOI":"10.1016\/S0007-8506(07)61959-3"},{"key":"17_CR39","doi-asserted-by":"crossref","unstructured":"Arsenyan, J., Bykzkan, G.: Modelling collaborative software development using axiomatic design principles. IAENG (2009)","DOI":"10.1109\/ITMC.2009.7461401"},{"key":"17_CR40","doi-asserted-by":"crossref","unstructured":"Varkoi, T.: Process assessment in very small entities-An ISO\/IEC 29110 based method. In: 7th International Conference QUATIC. IEEE (2010)","DOI":"10.1109\/QUATIC.2010.80"}],"container-title":["Communications in Computer and Information Science","Software Process Improvement and Capability Determination"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67383-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,26]],"date-time":"2024-06-26T21:26:20Z","timestamp":1719437180000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67383-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319673820","9783319673837"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67383-7_17","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]}}}