Formalising knowledge-intensive nuclear fuel process models using pattern theory

Abstract

In this paper we present a formalisation for a previously elaborated model-based approach for representing knowledge intensive processes in the domain of nuclear knowledge management. It is shown how a Nuclear Fuel Cycle Process Model can be formalised and represented visually by using the concepts of pattern theory. The formalisation is then applied to the configuration of acquisition paths and the analysis of the evolution of the models. Thereby a basis for the application of formal queries and advanced visual analyses can be established. © 2011 Springer-Verlag.