Computer-aided process modeling with MODKIT

Abstract Tight time and cost constraints force chemical process industries to continuously reduce their experimental effort during chemical process development and to facilitate the application of model-based process technology. Nevertheless, the effort of setting up a detailed mathematical model for a chemical process remains still high due to the large variety of chemical process units and physical phenomena as well as increasing requirements on the sophistication of models. To overcome this modeling bottleneck considerable effort has to be spent with the systematization of process models, the formalization of their representation, and the development of knowledge-based software tools. This contribution deals with the modeling environment M od K it , which supports the systematic development, maintenance, and reuse of chemical process models. It will be shown, how informal textual or graphical information defining requirements on models can be specified by use of M od K it . Furthermore, computer-aided means for the structural and behavioural description of chemical processes, as well as an approach for the support of the workflow of model development will be described.

[1]  Ulrike Sattler,et al.  Terminological knowledge representation systems in a process engineering application , 1998 .

[2]  Ernst Dieter Gilles,et al.  PROMOT: A Modeling Tool for Chemical Processes , 2000 .

[3]  Peter Piela.  Ascend: an object-oriented computer environment for modeling and analysis , 1989 .

[4]  Wolfgang Marquardt,et al.  A formal representation of process model equations , 1995 .

[5]  Stefan Jablonski,et al.  Workflow-Management-Systeme: Motivation, Modellierung, Architektur , 1995, Inform. Spektrum.

[6]  René Bañares-Alcántara.  Design support systems for process engineering. I: Requirements and proposed solutions for a design process representation , 1995 .

[7]  Wolfgang Marquardt,et al.  Von der Proze?simulation zur Lebenszyklusmodellierung , 1999 .

[8]  Henry Lieberman,et al.  Using prototypical objects to implement shared behavior in object-oriented systems , 1986, OOPLSA '86.

[9]  Michael L. Mavrovouniotis,et al.  Design-kit: An object-oriented environment for process engineering , 1987 .

[10]  Roger King,et al.  Semantic database modeling: survey, applications, and research issues , 1987, CSUR.

[11]  Arthur M. Geoffrion.  Computer-Based Modeling Environments , 1989 .

[12]  Ian T. Cameron,et al.  The formal representation of process system modelling assumptions and their implications , 1997 .

[13]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[14]  Jeff Conklin,et al.  Hypertext: An Introduction and Survey , 1987, Computer.

[15]  Richard M. Adler,et al.  Emerging Standards for Component Software , 1995, Computer.

[16]  S. E. Mattsson,et al.  The ideas behind Omola , 1992, IEEE Symposium on Computer-Aided Control System Design.

[17]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[18]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[19]  René Bañares-Alcántara,et al.  Design support systems for process engineering—II. KBDS: An experimental prototype , 1995 .

[20]  Kuntz Werner,et al.  Issues as Elements of Information Systems , 1970 .

[21]  Michael L. Begeman,et al.  gIBIS: a hypertext tool for exploratory policy discussion , 1988, CSCW '88.

[22]  Bjarne A. Foss,et al.  A field study of the industrial modeling process , 1997 .

[23]  Janis A. Bubenko,et al.  Requirements Engineering: An Integrated View of Representation, Process, and Domain , 1993, ESEC.

[24]  R.W.H. Sargent,et al.  Computer generation of process models , 1996 .

[25]  Matthias Jarke,et al.  DESIGN AND EVALUATION OF COMPUTER-AIDED PROCESS MODELING TOOLS , 1996 .

[26]  Bernard P. Zeigler,et al.  Multifacetted Modelling and Discrete Event Simulation , 1984 .

[27]  Won Kim,et al.  Introduction to Object-Oriented Databases , 1991, Computer systems.

[28]  Won Kim,et al.  Object-Oriented Concepts, Databases, and Applications , 1989 .

[29]  Susan Darling Urban.  ALICE: an assertion language for integrity constraint expression , 1989, [1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference.

[30]  Osman Balci,et al.  Requirements for model development environments , 1986, Comput. Oper. Res..

[31]  W. Marquardt,et al.  Structural analysis of differential-algebraic equation systems—theory and applications , 1995 .

[32]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[33]  Mark Dowson,et al.  Software process themes and issues , 1993, [1993] Proceedings of the Second International Conference on the Software Process-Continuous Software Process Improvement.

[34]  Saul I. Gass,et al.  Documenting a Computer-Based Model , 1984 .

[35]  Rafiqul Gani,et al.  A computer aided modeling system , 1999 .

[36]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[37]  René Bañares-Alcántara,et al.  Design support systems for process engineering—III. Design rationale as a requirement for effective support , 1997 .

[38]  A. C. Hoffmann,et al.  AIChE Symposium Series , 1999 .

[39]  M. Bunge.  A Systemic World View , 1979 .

[40]  Gabriela P. Henning,et al.  MODEL.LA. A modeling language for process engineering—I. The formal framework , 1990 .

[41]  Gerhard Fischer,et al.  Construction Kits and Design Environments: Steps Toward Human Problem-Domain Communication , 1987, SGCH.

[42]  Gabriela P. Henning,et al.  MODEL. LA A MODELING LANGUAGE FOR PROCESS ENGINEERING. PART I AND II. THE FORMAL FRAMEWORK , 1990 .

[43]  A. Gerstlauer,et al.  Modeling and representation of complex objects: a chemical engineering perspective , 1993 .

[44]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[45]  George J. Klir,et al.  Architecture of Systems Problem Solving , 1985, Springer US.

[46]  Henry Lieberman,et al.  Using Prototypical Objects to Implement Shared Behavior in Object Oriented Systems , 1986, OOPSLA.

[47]  W. Marquardt,et al.  Towards a Process Modeling Methodolgy , 1995 .

[48]  Nicola Guarino,et al.  The Ontological Level , 1994 .

[49]  Bernd Lohmann.  Ansätze zur Unterstützung des Arbeitsablaufes bei der rechnerbasierten Modellierung verfahrenstechnischer Prozesse , 1998, Fortschritt-Berichte VDI Reihe 3: Verfahrenstechnik.

[50]  M. Bunge.  Treatise on basic philosophy , 1974 .

[51]  Wolfgang Marquardt,et al.  On the systematization of the process of model development , 1996 .

[52]  Klaus Pohl.  A process centered requirements engineering environment , 1994 .