A formal representation of assumptions in process modelling

Hangos, K. M. and Cameron, I. T. (2001) A formal representation of assumptions in process modelling. Computers & Chemical Engineering, 25 2-3: 237-255. doi:10.1016/S0098-1354(00)00649-9

Author Hangos, K. M.
Cameron, I. T.
Title A formal representation of assumptions in process modelling
Journal name Computers & Chemical Engineering   Check publisher's open access policy
ISSN 0098-1354
Publication date 2001-01-01
Sub-type Article (original research)
DOI 10.1016/S0098-1354(00)00649-9
Open Access Status Not yet assessed
Volume 25
Issue 2-3
Start page 237
End page 255
Total pages 19
Editor G.V. Reklaitis
Place of publication Oxford, United Kingdom
Publisher Pergamon-Elsevier Science Ltd
Language eng
Subject C1
670700 Industrial Chemicals and Related Products
290600 Chemical Engineering
Abstract In this work, we present a systematic approach to the representation of modelling assumptions. Modelling assumptions form the fundamental basis for the mathematical description of a process system. These assumptions can be translated into either additional mathematical relationships or constraints between model variables, equations, balance volumes or parameters. In order to analyse the effect of modelling assumptions in a formal, rigorous way, a syntax of modelling assumptions has been defined. The smallest indivisible syntactical element, the so called assumption atom has been identified as a triplet. With this syntax a modelling assumption can be described as an elementary assumption, i.e. an assumption consisting of only an assumption atom or a composite assumption consisting of a conjunction of elementary assumptions. The above syntax of modelling assumptions enables us to represent modelling assumptions as transformations acting on the set of model equations. The notion of syntactical correctness and semantical consistency of sets of modelling assumptions is defined and necessary conditions for checking them are given. These transformations can be used in several ways and their implications can be analysed by formal methods. The modelling assumptions define model hierarchies. That is, a series of model families each belonging to a particular equivalence class. These model equivalence classes can be related to primal assumptions regarding the definition of mass, energy and momentum balance volumes and to secondary and tiertinary assumptions regarding the presence or absence and the form of mechanisms within the system. Within equivalence classes, there are many model members, these being related to algebraic model transformations for the particular model. We show how these model hierarchies are driven by the underlying assumption structure and indicate some implications on system dynamics and complexity issues. (C) 2001 Elsevier Science Ltd. All rights reserved.
Keyword Computer Science, Interdisciplinary Applications
Engineering, Chemical
Modeling Language
Q-Index Code C1
Institutional Status UQ

Document type: Journal Article
Sub-type: Article (original research)
Collection: School of Chemical Engineering Publications
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 12 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 18 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Wed, 15 Aug 2007, 01:19:25 EST