SET-THEORETIC DESCRITPION OF FUNCTIONAL MODELS OF CHEMICAL MANUFACTURING

The technique for the formalized description of functional models of chemical manufacturing is developed. The technique is based on graph theory. The model is described as a set of oriented labeled graphs that are hierarchically organized by the decompose relationship. First we describe the conversion of a single diagram to a labeled graph, including adding new nodes and edges. The nodes of the graph correspond to boxes, borders and branching points of the arrows at the diagram. The edges of the graph correspond to the arrows at the diagram. The graph descriptions of the model of base functional relationships such as output-input, output-control, output-mechanism are represented. We develop procedures to convert the border arrows and branch arrows. Conversion of branch arrows is performed depending on changes of the labels of branches. Branching of each arrow corresponds to a subgraph including several edges and perhaps additional nodes. Oriented labeled graphs are described by set-theoretic notation that contains the labels of the edges and the roles of nodes. The hierarchy of diagrams is specified by a decompose relationship, which includes the parent chart, the child chart and the decomposed box. As an example, we present the set-theoretic description of the functional model of vinyl acetate manufacturing. The application of mathematical apparatus built within the framework of graph theory for verification and analysis of functional diagrams based on the proposed formal description is an area for further research.

functional modeling, verification of functional model, set theory, graph theory, vinyl acetate production

1. Bayer B., Marquardt W. A comparison of data models in chemical engineering // Concurrent Engineering. 2003. V. 11. Iss. 2. P. 129–138.

2. Fuchino T., Miyazawa M., Naka Y. Business model of plant maintenance for lifecycle safety // Computer Aided Chemical Engineering. 2007. V. 24. P. 1175–1180.

3. Jeong K.-Y., Wu L., Hong J.-D. IDEF methodbased simulation model design and development framework // J. Industrial Engineering and Management. 2009. V. 2. № 2. P. 337–359.

4. Repin V., Eliferov V. Processnyj podhod k upravleniju. Modelirovanie biznes-processov (Process approach to control. Business processes modeling). Moscow: Mann, Ivanov and Ferber Publ., 2013. 544 p. (in Russ.).

5. Sugiyama H., Fischer U., Antonijuan E., Hoffmann V. H., Hirao M., Hungerbühler K. How do different process options and evaluation settings affect economic and environmental assessments? A case study on methyl methacrylate (MMA) production processes // Process Safety and Environmental Protection. 2009. V. 87(6). P. 361–370.

6. Aifaoui N., Deneux D., Soenen R. Feature based interoperability between design and analysis processes // J. Intelligent Manufacturing. 2006. V. 17 (1). P. 13–27.

7. Burlyaeva E.V., Kolybanov K.Yu., Panova S.A. Informacionnaya podderzhka sistem prinyatiya reshenij na proizvodstvennuh predprijatiyah himicheskogo profilya (Informational support of decision-making systems at chemical plants). Moscow: MITHT Publ., 2013. 196 p. (in Russ.).

8. Informacionnye tehnologii podderzhki zhiznennogo cikla produkcii. Metodologiya funkcionalnogo modelirovaniya (Recommendations for standardization. Information technology support of the product life cycle. Functional modling methodology). Moscow, Gosstandart Publ., 2001. 19 p. (in Russ.).

9. Burlyaeva E., Burlyaev V., Frolkova A. Functional modeling of basic organic synthesis manufacturing by the example of vinyl acetate production // Khimicheskaya tekhnologiya (J. Chem. Technol). 2016. № 9. P. 418–423 (in Russ.).

10. https://www.ca.com/us.html (Data of access: June 30, 2017)

11. Maklakov S.V. Modelirovanie biznes-processov s AllFusion Process Modeler (BPwin 4.1). (Business processes modeling by AllFusion Process Modeler (BPwin 4.1)). Moscow: Dialog-MIFI Publ., 2002. 240 p. (in Russ.).

12. https://www.edrawsoft.com/IDEF0-flowcharts. php (Data of access: June 30, 2017)

13. Alekseev V., Talanov V. Grafy i algoritmy. Struktury dannyh. Modeli vychislenij (Graphs and algorithms. Data structures. Calculation models). Moscow: Intuit, Binom Publ., 2012. 320 p. (in Russ.).

14. Timofeev V.S., Serafimov L.A., Timoshenko A.V. Princypy tehnologii osnovnogo organicheskogo i neftehimicheskogo sintesa (Principles of technology of basic organic and petrochemical synthesis). Moscow: Vysshaya shkola Publ., 2010. 408 p. (in Russ.).

15. Burlyaeva E., Razlivinskaya S., Tregubov A. Development and application of the generalized functional model of one-stage chemical manufacturing // Prikladnaya informatika (J. Appl. Informatics). 2016. V. 11. № 1 (61). P. 64–70. (in Russ.).