Skip to main content
Top

Hint

Swipe to navigate through the chapters of this book

2017 | Supplement | Chapter

A Formalization of the ISO/IEC 15504: Enabling Automatic Inference of Capability Levels

Authors : Diogo Proença, José Borbinha

Published in: Software Process Improvement and Capability Determination

Publisher: Springer International Publishing

share
SHARE

Abstract

This paper presents a formalization that captures definitions of a number of concepts of ISO/IEC 15504 and relations among the concepts. The formalization is expressed in a formal language, OWL. The two main objectives for this formalization was to be consistent with the ISO/IEC 15504-5 process assessment model and to be effective, i.e., to allow for an automatic determination of a process capability level based upon data about the process attributes and ratings. The formalization is presented in a number of levels, from more general concepts to more specific. To assess the validity of the formalization, a number of test cases for the scenario of automatic determination of the capability levels were developed. A set of OWL reasoners were then used to derive the capability levels for the acquisition process group. While the test results were all positive, the real value of this formalization comes from the fact that it faithfully captured the main aspects of ISO/IEC 15504, a well established and accepted model for the assessment of processes capability levels, and that an inference engine was able to support the assessment of processes capability levels of an organization.
Literature
2.
go back to reference ISO/IEC 15504-1:2004, Information technology - Process assessment – Concepts and Vocabulary, International Organization for Standardization and International Electrotechnical Commission Std. (2004) ISO/IEC 15504-1:2004, Information technology - Process assessment – Concepts and Vocabulary, International Organization for Standardization and International Electrotechnical Commission Std. (2004)
3.
go back to reference ISO/IEC 15504-5:2012, Information technology - Process assessment – An exemplar Process Assessment Model, International Organization for Standardization and International Electrotechnical Commission Std. (2012) ISO/IEC 15504-5:2012, Information technology - Process assessment – An exemplar Process Assessment Model, International Organization for Standardization and International Electrotechnical Commission Std. (2012)
4.
go back to reference W3C, OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax (Second Edition), World Wide Web Consortium Recommendation (2012) W3C, OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax (Second Edition), World Wide Web Consortium Recommendation (2012)
5.
go back to reference W3C, OWL Web Ontology Language Semantics and Abstract Syntax, World Wide Web Consortium Recommendation (2004) W3C, OWL Web Ontology Language Semantics and Abstract Syntax, World Wide Web Consortium Recommendation (2004)
6.
go back to reference Horridge, M.: A practical guide to building OWL ontologies using protégé 4 and CODE tools, technical report, The University Of Manchester (2011) Horridge, M.: A practical guide to building OWL ontologies using protégé 4 and CODE tools, technical report, The University Of Manchester (2011)
8.
go back to reference W3C, Semantic Web Activity, World Wide Web Consortium Recommendation (2006) W3C, Semantic Web Activity, World Wide Web Consortium Recommendation (2006)
10.
go back to reference Bunge, M.: Treatise on Basic Philosophy: Ontology I: The Furniture of the World. Springer, Dodrecht (1977) CrossRefMATH Bunge, M.: Treatise on Basic Philosophy: Ontology I: The Furniture of the World. Springer, Dodrecht (1977) CrossRefMATH
11.
go back to reference Glimm, B., Horrocks, I., Motik, B., Stoilos, G., Wang, Z.: HermiT: an OWL 2 reasoner. J. Autom. Reasoning 53, 245–269 (2014) CrossRefMATH Glimm, B., Horrocks, I., Motik, B., Stoilos, G., Wang, Z.: HermiT: an OWL 2 reasoner. J. Autom. Reasoning 53, 245–269 (2014) CrossRefMATH
12.
go back to reference Tsarkov, D., Horrocks, I.: FaCT++ Description logic reasoner: system description. In: Proceedings of the Third International Joint Conference, USA, pp. 292–297 (2006) Tsarkov, D., Horrocks, I.: FaCT++ Description logic reasoner: system description. In: Proceedings of the Third International Joint Conference, USA, pp. 292–297 (2006)
13.
go back to reference Sirin, E., Parsia, B., Grau, B., Kalyanpur, A., Katz, Y.: Pellet: a practical owl-dl reasoner. In: Web Semantics: Science, Services and Agents on the WWWs, vol. 5, pp. 51–53 (2007) Sirin, E., Parsia, B., Grau, B., Kalyanpur, A., Katz, Y.: Pellet: a practical owl-dl reasoner. In: Web Semantics: Science, Services and Agents on the WWWs, vol. 5, pp. 51–53 (2007)
14.
go back to reference Vaculin, R.: Process Mediation Framework for Semantic Web Services. Ph.D. thesis, Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University (2009) Vaculin, R.: Process Mediation Framework for Semantic Web Services. Ph.D. thesis, Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University (2009)
15.
go back to reference Lemaignan, S.: Grounding the Interaction: Knowledge Management for Interactive Robots. Ph.D. thesis, Universite de Toulouse (2012) Lemaignan, S.: Grounding the Interaction: Knowledge Management for Interactive Robots. Ph.D. thesis, Universite de Toulouse (2012)
16.
go back to reference Areces, C.: Logic Engineering. The Case of Description and Hybrid Logics. Ph.D. thesis, Institute for Logic, Language and Computation, University of Amsterdam (2000) Areces, C.: Logic Engineering. The Case of Description and Hybrid Logics. Ph.D. thesis, Institute for Logic, Language and Computation, University of Amsterdam (2000)
17.
go back to reference Baader, F., Horrocks, I., Sattler, U.: Description logics. Found. Artif. Intell. 3, 135–179 (2008) CrossRefMATH Baader, F., Horrocks, I., Sattler, U.: Description logics. Found. Artif. Intell. 3, 135–179 (2008) CrossRefMATH
Metadata
Title
A Formalization of the ISO/IEC 15504: Enabling Automatic Inference of Capability Levels
Authors
Diogo Proença
José Borbinha
Copyright Year
2017
DOI
https://doi.org/10.1007/978-3-319-67383-7_15

Premium Partner