Output details
11 - Computer Science and Informatics
University of Hull
A Plant Documentation Information System Design
<15>. This paper presents a formal approach to modelling petrochemical plan information. The motivations for using formal methods in the design of a heterogeneous documentation management system are described. The paper focuses on the issue of using formal specification to clarify our understanding of the problem and as a basis for the design of a multipurpose documentation supporting tool, which can link different databases and provide users different modelling methods to support the operations of complex document structures. The work is under the catalogue of information system design which is related to the departmental research theme of Intelligent Systems.