Detailansicht

Knowledge-based inspection
modelling complex processes - integrated Safeguards Modelling Method (iSMM)
Florin Abazi
Art der Arbeit
Dissertation
Universität
Universität Wien
Fakultät
Fakultät für Informatik
Betreuer*in
Dimitris Karagiannis
Volltext herunterladen
Volltext in Browser öffnen
Alle Rechte vorbehalten / All rights reserved
DOI
10.25365/thesis.16940
URN
urn:nbn:at:at-ubw:1-29586.76076.519662-2
Link zu u:search
(Print-Exemplar eventuell in Bibliothek verfügbar)

Abstracts

Abstract
(Deutsch)
Increased level of complexity in almost every discipline and operation today raises the demand for knowledge in order to successfully run an organization whether to generate profit or to attain a non-profit mission. Traditional way of transferring knowledge to information systems rich in data structures and complex algorithms continue to hinder the ability to swiftly turnover concepts into operations. Diagrammatic modelling commonly applied in engineering in order to represent concepts or reality remains to be an excellent way of converging knowledge from domain experts. The nuclear verification domain represents ever more a matter which has great importance to the World safety and security. Demand for knowledge about nuclear processes and verification activities used to offset potential misuse of nuclear technology will intensify with the growth of the subject technology. This Doctoral thesis contributes with a model-based approach for representing complex process such as nuclear inspections. The work presented contributes to other domains characterized with knowledge intensive and complex processes. Based on characteristics of a complex process a conceptual framework was established as the theoretical basis for creating a number of modelling languages to represent the domain. The integrated Safeguards Modelling Method (iSMM) is formalized through an integrated meta-model. The diagrammatic modelling languages represent the verification domain and relevant nuclear verification aspects. Such a meta-model conceptualizes the relation between practices of process management, knowledge management and domain specific verification principles. This fusion is considered as necessary in order to create quality processes. The study also extends the formalization achieved through a meta-model by contributing with a formalization language based on Pattern Theory. Through the use of graphical and mathematical constructs of the theory, process structures are formalized enhancing the ability to analyse, compare and transform models. In the example domain all possible connections between critical nuclear processes were formalized providing also for probability-based analysis of weapons acquisition paths that will help design objective-based inspection processes.
Abstract
(Englisch)
Increased level of complexity in almost every discipline and operation today raises the demand for knowledge in order to successfully run an organization whether to generate profit or to attain a non-profit mission. Traditional way of transferring knowledge to information systems rich in data structures and complex algorithms continue to hinder the ability to swiftly turnover concepts into operations. Diagrammatic modelling commonly applied in engineering in order to represent concepts or reality remains to be an excellent way of converging knowledge from domain experts. The nuclear verification domain represents ever more a matter which has great importance to the World safety and security. Demand for knowledge about nuclear processes and verification activities used to offset potential misuse of nuclear technology will intensify with the growth of the subject technology. This Doctoral thesis contributes with a model-based approach for representing complex process such as nuclear inspections. The work presented contributes to other domains characterized with knowledge intensive and complex processes. Based on characteristics of a complex process a conceptual framework was established as the theoretical basis for creating a number of modelling languages to represent the domain. The integrated Safeguards Modelling Method (iSMM) is formalized through an integrated meta-model. The diagrammatic modelling languages represent the verification domain and relevant nuclear verification aspects. Such a meta-model conceptualizes the relation between practices of process management, knowledge management and domain specific verification principles. This fusion is considered as necessary in order to create quality processes. The study also extends the formalization achieved through a meta-model by contributing with a formalization language based on Pattern Theory. Through the use of graphical and mathematical constructs of the theory, process structures are formalized enhancing the ability to analyse, compare and transform models. In the example domain all possible connections between critical nuclear processes were formalized providing also for probability-based analysis of weapons acquisition paths that will help design objective-based inspection processes.

Schlagwörter

Schlagwörter
(Englisch)
knowledge-based modelling modelling language formalization process-oriented knowledge management
Schlagwörter
(Deutsch)
knowledge-based modelling nuclear inspection process Pattern Theory modelling language formalization process-oriented knowledge management
Autor*innen
Florin Abazi
Haupttitel (Englisch)
Knowledge-based inspection
Hauptuntertitel (Englisch)
modelling complex processes - integrated Safeguards Modelling Method (iSMM)
Publikationsjahr
2011
Umfangsangabe
215 S. : graph. Darst.
Sprache
Englisch
Beurteiler*innen
Dimitris Karagiannis ,
Wilfried Grossmann
Klassifikation
54 Informatik > 54.00 Informatik: Allgemeines
AC Nummer
AC08818468
Utheses ID
15183
Studienkennzahl
UA | 786 | 175 | |
Universität Wien, Universitätsbibliothek, 1010 Wien, Universitätsring 1