Skip to main content

Tipp

Weitere Kapitel dieses Buchs durch Wischen aufrufen

2017 | Supplement | Buchkapitel

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

verfasst von : Diogo Proença, José Borbinha

Erschienen in: Software Process Improvement and Capability Determination

Verlag: Springer International Publishing

share
TEILEN

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.

Sie möchten Zugang zu diesem Inhalt erhalten? Dann informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 69.000 Bücher
  • über 500 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt 90 Tage mit der neuen Mini-Lizenz testen!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 50.000 Bücher
  • über 380 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe



 


Jetzt 90 Tage mit der neuen Mini-Lizenz testen!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 58.000 Bücher
  • über 300 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko





Jetzt 90 Tage mit der neuen Mini-Lizenz testen!

Literatur
2.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat W3C, Semantic Web Activity, World Wide Web Consortium Recommendation (2006) W3C, Semantic Web Activity, World Wide Web Consortium Recommendation (2006)
10.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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
Metadaten
Titel
A Formalization of the ISO/IEC 15504: Enabling Automatic Inference of Capability Levels
verfasst von
Diogo Proença
José Borbinha
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-67383-7_15

Premium Partner