Verification of functional models of chemical manufacturing

A generalized algorithm for the verification of functional models and the rules for the verification of diagrams related by levels of detail were developed in this paper. The algorithm is based on the analysis of a tree which describes the decompose relations in functional diagrams. At each step of the algorithm, a pair consisting of a parent diagram and a functional diagram is selected, and the correlation of the arrows and their roles is checked for both. The formalization of the verification rules was based on the set-theoretic representation of functional diagrams in the form of labeled oriented graphs. The rules make it possible to map the position and roles of the arrows associated with the detailed function block of the parent diagram to the arrows of the child diagram. The following rules for each of the possible arrow roles were established: “input”, “output”, “control”, “mechanism”. The use of the logic programming language PROLOG was proposed for the implementation of the algorithm. A knowledge base structure comprised of 3 interrelated predicates to describe the tree of diagrams, nodes and edges of the graphs was suggested. A query to check the verification rules was formed, and methods of binding variables and fixing roles were considered. The analysis and verification of a fragment of a functional model for the production of vinyl acetate from ethylene was conducted as an example. The functional diagrams for the processes “Condensate separation” and “Vinyl acetate isolation” connected by a decompose relation were developed, their set-theoretic models were constructed, and the use of rules for the verification of each type of arrow were considered.

1. Markov V.N. Modern logical programming in Visual Prolog 7.5. Saint Petersburg: BHV-Peterburg Publ., 2016. 544 p. (in Russ.).

2. Cheremnyh S.V., Semenov I.O., Ruchkin V.S. Modelling and system analysis. IDEF technology. Moscow: Finansy i statistika Publ., 2006. 192 p. (in Russ.).

3. Timofeev V.S., Serafimov L.A., Timoshenko A.V. Principles of technology of basic organic and petrochemical synthesis. Moscow: Vysshaya shkola Publ., 2010. 408 p. (in Russ.).

4. Myshenkov K.S. Justification technique of a choice of CASE-tools for the analysis and design of management systems by enterprise. Innovatsii [Innovations]. 2013;10(180):12-122 (in Russ.).

5.

6. Erusheva K., Kolybanov K., Tishaeva I. Functional modeling of the process of choosing the best available technique. Tonkie Khimicheskie Tekhnologii = Fine Chemical Technologies. 2017;12(4):98-105 (in Russ.). https://doi.org/10.32362/2410-6593-2017-12-4-98-105

7. Vichugova A.A. Methods and tools for conceptual design of information systems: comparative analysis of structural and object-oriented approaches. Prikladnaya informatika [Journal of Applied Informatics]. 2014;1(49):56-65 (in Russ.).

8. Burlyaeva E., Burlyaev V., Frolkova A. Functional simulation of basic organic synthesis production by vinyl acetate manufacturing. Khimicheskaya tekhnologiya [Journal of Chemical Technology]. 2016;9:418-423 (in Russ.).

9. Jeong K.-Y., Wu L., Hong J.-D. IDEF method-based simulation model design and development framework. Journal of Industrial Engineering and Management. 2009;2(2):337-359. http://dx.doi.org/10.3926/jiem..v2n2.p337-359

10. Repin V., Eliferov V. Process approach to management. Business process modeling. Moscow: Mann, Ivanov and Ferber Publ., 2013. 544 p. (in Russ.).

11. Maklakov S.V. Business process modeling with All Fusion Process Modeler (BPwin 4.1). Moscow: Dialog-MIFI Publ., 2002. 240 p. (in Russ.).

12. Recommendations for standardization. Information technology support the life cycle of product. Methodology of functional modeling. Moscow: Gosstandart Publ., 2001. 19 p. (in Russ.).

13. Burlyaeva E.V., Burlyaev V.V., Tsekhanovich V.S. Set-theoretic description of functional models of chemical manufacturing. Tonkie Khimicheskie Tekhnologii = Fine Chemical Technologies. 2017;12(5):71-78 (in Russ.). https://doi.org/10.32362/2410-6593-2017-12-5-71-78

14. Alekseev V., Talanov V. Graphs and algorithms. Data structures. Calculation models. Moscow: Intuit, Binom Publ., 2012. 320 p. (in Russ.).

15. Markov V.N. Modern logical programming in Visual Prolog 7.5. Saint Petersburg: BHV-Peterburg Publ., 2016. 544 p. (in Russ.).

16. Timofeev V.S., Serafimov L.A., Timoshenko A.V. Principles of technology of basic organic and petrochemical synthesis. Moscow: Vysshaya shkola Publ., 2010. 408 p. (in Russ.).

17.