A plant documentation information system design

Wang, Bing; Feicheng, Ma

Abstract

Traditional systems do not have the descriptive ability to represent the complex, multi-faceted nature of complex documentation structures such as engineering systems descriptions. This has led to significant information management difficulties in maintaining documentation which reflects, in a consistent and up-to-date way, the current state of the documentation systems. The formal method has been widely recognized as a precise way to define the structure of a complex documentation system. In this paper, a formal approach to model petrochemical plan information is presented. The motivations of 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.

Citation

Wang, B., & Feicheng, M. (2010). A plant documentation information system design. International journal of computer science & information technology, 2(5), 134-148. https://doi.org/10.5121/ijcsit.2010.2510

• Journal Article Type: Article
• Publication Date: 2010-10
• Deposit Date: Nov 13, 2014
• Journal: International Journal Of Computer Science & Information Technology (Ijcsit)
• Print ISSN: 0975-4660
• Peer Reviewed: Peer Reviewed
• Volume: 2
• Issue: 5
• Pages: 134-148
• DOI: https://doi.org/10.5121/ijcsit.2010.2510
• Public URL: https://hull-repository.worktribe.com/output/470400
• Publisher URL: http://airccse.org/journal/jcsit/1010ijcsit10.pdf
• Contract Date: Nov 13, 2014