A formal representation of process model equations

Computers and Chemical Engineering

Volumn 21, Issue 10, 1997, Pages 1105-1115

  Bogusch, R ^a   Marquardt, W ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

Computer aided modeling, explicit conceptualization; Formal ontology; Mathematical process models; Object oriented representation

Indexed keywords

CHEMICAL REACTIONS; COMPUTATIONAL METHODS; COMPUTER AIDED ANALYSIS; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SYSTEM THEORY;

EXPLICIT CONCEPTUALIZATION; FORMAL ONTOLOGY; MATHEMATICAL PROCESS MODELS;

PROCESS ENGINEERING;

EID: 0031186595     PISSN: 00981354     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0098-1354(96)00321-3     Document Type: Article

References (44)

1. Alberts, L. K. (1993) YMIR: an ontology for engineering design. Doctoral dissertation. University of Twente, Enschede, The Netherlands.
2. AspenTech (1993) SPEEDUP User Manual. Aspen Technology, Inc., Cambridge, MA.
3. AspenTech (1994a) ASPEN PLUS User Guide. Aspen Technology, Inc., Cambridge, MA.
4. AspenTech (1994b) ASPEN PLUS Model Manager Reference Manual. Aspen Technology, Inc., Cambridge, MA.
5. Batory, G. and Kim, W. (1985) Modeling concepts for VLSI CAD objects. ACM Trans. Database Systems 10, 322-426.
6. Bogusch, R., Lohmann, B. and Marquardt, W. (1996) Rechnergestützte Modellierung in der Verfahrenstechnik. GVC-Jahrestagung 1996, Dortmund, September 1996. To be published in Chem.-Ing.-Tech.
7. Borst P., Pos, A., Top, J. L. and Akkermans, J. M. (1994) Physical systems ontology. Proc. European Conference on Artificial Intelligence ECAI '94. Workshop on comparison of implemented ontologies, Amsterdam, pp. 47-80.
8. Borst, P., Akkermans, J. M., Pos, A. and Top, J. L. (1995) The PhysSys ontology for physical systems. Ninth International Workshop on Qualitative Reasoning, Amsterdam, pp. 11-21.
9. Bunge, M. (1977) Treatise on Basic Philosophy. Vol. 3: Ontology I: The Furniture of the World. Reidel, Dordrecht, The Netherlands.
10. Bunge, M. (1979) Treatise on Basic Philosophy. Vol. 4: Ontology II: A World of Systems. Reidel, Dordrecht, The Netherlands.
11. Dömges, R., Pohl, K., Jarke, M., Lohmann, B. and Marquardt, W. (1996) PRO-ART/CE - An environment for managing the evolution of chemical process simulation models. Proc. 10th European Simulation Multiconference ESM '96, Budapest, Hungary, pp. 1012-1017.
12. Falkenhainer, B., Farquhar, A., Brobow, D., Fikes, R., Forbus, K., Gruber, T. Iwasaki, Y. and Kuipers, B. (1994) CML: a compositional modeling language. Technical report KSL-94-16. Knowledge Systems Laboratory, Stanford University.
13. Gawthrop, P. and Smith, L. (1996) Metamodelling: Bond graphs and dynamic systems. Prentice Hall, Englewood Cliffs, NJ.
14. Genesereth, M. R. and Nilsson, N. J. (1987) Logical foundations of artificial intelligence. Morgan Kauffmann, Los Altos.
15. Genesereth, M. R. and Fikes, R. E. (1992) Knowledge Interchange Format, Version 3.0, Reference Manual. Report Logic-92-1. Computer Science Department, Stanford University.
16. Gruber, T. R. (1992) Ontolingua: a mechanism to support portable ontologies. Internal report. Knowledge Systems Laboratory, Stanford University.
17. Gruber, T. R. (1993) A translation approach to portable ontology specifications. Knowledge Acquisition 5, 3 199-220.
18. Gruber T. R. and Olsen, G. R. (1994) An ontology for engineering mathematics. In Fourth International Conference on Principles of Knowledge Representation and Reasoning (J. Doyle, P. Torasso, and E. Sandewall, Eds), Morgan Kaufmann, San Mateo, CA, pp. 258-269
19. Hangos, K. (1991) Qualitative process modeling. In Chemical Process Control CPC-IV (Y. Arkun and W. H. Ray, Eds), CACHE, Austin, AIChE, New York, pp. 209-236.
20. Harmon, P. (1993) G2: Gensym's real-time expert system. Intelligent Software Strategies 9, No. 3 Cutter Information Corp., Arlington, MA, pp. 1-16.
21. Jarke, M. and Marquardt, W. (1995) Design and evaluation of computer-aided modeling tools. ISPE '95, Snowmass, Colorado. To be published in AIChE Symp. Ser.
22. Kim, W. (1990) Introduction to object-oriented data bases. MIT Press, Cambridge.
23. King, R. and Hull, R. (1987) Semantic database modeling: survey, applications, and research issues. ACM Comput. Surv. 19, 201-260.
24. Klir, G. J. (1985) Architecture of Problem Solving. Plenum Press, New York.
25. Lohmann, B. and Marquardt, W. (1996) On the systematization of the process of model development. Computers chem. Engng 20 Suppl., 213-218.
26. Mariño, O., Rechenmann, F. and Uvietta, P. (1990) Multiple perspectives and classification mechanism in object-oriented representation. European Conf. on Artificial Intelligence, pp. 425-430.
27. Marquardt, W. (1991) Dynamic process simulation - recent progress and future challenges. In Chemical Process Control CPC-IV (Y. Arkun and W. H. Ray, Eds), CACHE, Austin, AIChE, New York, pp. 131-180.
28. Marquardt, W. (1994) Rechnergestützte Erstellung verfahrenstechnischer Prozeßmodelle. Chem.-Ing.-Techn. 64, 25-40
29. (1992). English translation in Int. chem. Engng 34, 28-46.
30. Marquardt, W. et al. (1993a) Objekt-orientierte Datenmo dellierung für die Repräsentation von verfah renstechnischen Prozeßmodellen. Internal draft report, University of Stuttgart and RWTH Aachen University of Technology.
31. Marquardt, W., Gerstlauer, A. and Gilles, E. D. (1993b) Modeling and representation of complex objects: A chemical engineering perspective. Proc. of 6th Int. Conf. on IEA/AIE, Edinburgh, Scotland, pp. 219-228.
32. Marquardt, W. (1996a) Towards a process modeling methodology. In Model-based Process Control (R. Berber, Ed.). NATO-ASI Series, Kluwer Press, The Netherlands, pp. 3-40.
33. Marquardt, W. (1996b) Trends in computer-aided process modeling. Computers chem. Engng 20, 591-609.
34. Newell, A. (1982) The knowledge level. Artifl Intell. 18, 87-127.
35. Nilsson, B. (1993) Object-oriented modeling of chemical processes. Doctoral dissertation. Department of Automatic Control, Lund Institute of Technology, Sweden.
36. Oh, M. and Pantelides, C. C. (1996) A modelling and simulation language for combined lumped and distributed parameter systems. Computers chem. Engng 20, 611-633.
37. Piela, P. C., McKelvey, R. D. and Westerberg, A. W. (1992) An introduction to Ascend: its language and interactive environment. J. Man. Info. Sci. 9, 91-121.
38. Rathke, C. (1991) Implementing frames in an object-oriented programming language. Proc. of 1st European Conf. on Object-Oriented Programming, Bratislave, pp. 88-94.
39. Sörlie, C. F. (1990) A computer environment for process modeling. Doctoral dissertation. Laboratory of Chemical Engineering, Norwegian Institute of Technology, Trondheim.
40. Stephanopoulos, G., Johnston, J., Kriticos, T., Lakshmanan, R., Mavrovouniotis, M. and Siletti, M. (1987) Design-Kit : An object-oriented environment for process engineering. Computers chem. Engng 11, 655-674.
41. Stephanopoulos, G., Henning, G. and Leone, H. (1990) Model.La. A language for process engineering. Part I and II. Computers chem. Engng 14, 813-869.
42. Telnes, K. (1992) Computer-aided modeling of dynamic processes based on elementary physics. Doctoral dissertation. Division of Engineering Cybernetics, Norwegian Institute of Technology, Trondheim.
43. Wand, Y. (1989) A proposal for a formal model of objects. In Object-Oriented Concepts, Databases, and Applications (W. Kim and F. H. Lochovsky, Eds), pp. 537-559. Addison-Wesley, Reading, MA.
44. Zeigler, B. P. (1984) Multifacetted Modelling and Discrete Event Simulation. Academic Press, London.