Methods for Formalizing Cognitive Graphics and Visual Models using XML Schemas

The paper analyses methods of formalising cognitive graphics and visual models using promising data storage formats. We describe the primary visual design techniques and note that they appear to be rather disconnected. We show that ensuring the coupling of data and knowledge in visual models featuring various levels of detail is the main problem in integrated usage of visual modelling tools. We analyse approaches to solving the semantic discontinuity problem, that is, provided we meet the condition under which the properties of objects, systems and processes under consideration are only input once, it is necessary to ensure that data from models corresponding to different levels of abstraction (expertise) is interconnected. One should assume that the main drawback of existing approaches to visualising complex systems is that these approaches are fragmented and isolated, which means that they will only be effective locally. The paper proposes several approaches to formalising visual models employing XML schemas, which ensures that development processes concerning visual models of various levels of abstraction are synchronised and interconnected. We use a BPMN (Business, Process, Model and Notation) visual model as an example that shows the principles of representing visual model elements by means of XML schemas. The paper provides a detailed analysis of the principles behind layer interaction in the BPMN model through flexible XML description. We show that the BPMN data structure boasts its own XML schema containing all the parameters of a class or an element. The paper presents several examples and a technique of applying an XML schema to a BPMN model, including a further generalisation aimed at formally representing the process models of complex systems

Specific results were obtained due to support received from the Ministry of Education and Science of Russian Federation as part of the project titled "Theoretical studies of digital transformation methods concerning core components of micro- and nanosystems" (project no. 0705-2020-0041)

References

[1] Zvonkin A.K., Levin L.A. The complexity of finite objects and the development of the concepts of information and randomness by means of the theory of algorithms. Russ. Math. Surv., 1970, vol. 25, no. 6, pp. 83--124. DOI: http://dx.doi.org/10.1070/RM1970v025n06ABEH001269

[2] Machol R.E. System engineering handbook. McGraw Hill, 1965.

[3] Beer S. Cybernetics and management. English Univ. Press, 1959.

[4] Peregudov F.I., Tarasenko F.L. Vvedenie v sistemnyy analiz [Introduction to system analysis]. Moscow, Vysshaya shkola Publ., 1989.

[5] Quade E.S. Analysis for military decisions. Rand McNally, 1964.

[6] Denisov A.A., Kolesnikov D.M. Teoriya bol’shikh sistem upravleniya [Theory of large control systems]. Leningrad, Energoizdat Publ., 1982.

[7] Vlasov A.I. The concept of the visual analysis of difficult systems in the conditions of synchronous technologies of designing. Datchiki i sistemy [Sensors & Systems], 2016, no. 8-9, pp. 19--25 (in Russ.).

[8] Vlasov A.I. [Application of methods of visual modeling for formalization of design-technology information]. Informatizatsiya obrazovaniya--2012. Mat. Mezhdunar. nauch.-prakt. konf. [Informatization of Education-2012. Proc. Int. Sc.-Pract. Conf.]. Orel, Orel State Univ. Publ., 2012, pp. 70--78 (in Russ.).

[9] Koznov D.V. Yazyki vizual’nogo modelirovaniya: proektirovanie i vizualizatsiya programmnogo obespecheniya [Visual modeling languages: software design and visualization]. St. Petersburg, SPbU Publ., 2004.

[10] White S.A., Bock C. BPMN 2.0 handbook second edition. Future Strategies Inc., 2011.

[11] Jacobson I., Booch C., Rumbaugh J. Unified software development process. Addison-Wesley, 1999.

[12] Maklakov S.V. Sozdanie informatsionnykh sistem s AllFusion Modeling Suite [Building information systems with ALLFusion Modeling Suite]. Moscow, Dialog-MIFI Publ., 2003.

[13] Ivanova G.S. Tekhnologiya programmirovaniya [Programming technology]. Moscow, BMSTU Publ., 2002.

[14] Vlasov A.I., Zhuravleva L.V., Timofeev G.G. Methods of generation visual synthesis of technical solutions in the sphere of micro-nano-electronic mechanic systems. Nauchnoe obozrenie, 2013, no. 1, pp. 107--111 (in Russ.).

[15] Kalyanov G.N. CASE tekhnologii. Konsalting pri avtomatizatsii biznes-protsessov [CASE technologies. Business process automation consulting]. Moscow, Goryachaya liniya-Telekom Publ., 2000.

[16] Repin V.V., Eliferov V.G. Protsessnyy podkhod k upravleniyu. Modelirovanie biznes-protsessov [Process approach to management. Modeling of business processes]. Moscow, Standarty i kachestvo Publ., 2004.

[17] Nechaev V.V., Nechaeva N.V. Cognitive-mental information activity of a person. Informatsionnye i telekommunikatsionnye tekhnologii [Information and Telecommunication Technologies], 2013, no. 17, pp. 61--74 (in Russ.).

[18] Vlasov A.I. System analysis of the technological processes of the complex technical systems with visual models. Mezhdunarodnyy nauchno-issledovatel’skiy zhurnal [International Research Journal], 2013, no. 10-2, pp. 17--26 (in Russ.).

[19] Vlasov A.I. Spatial model assessment of evolution methods of visual design of complex systems. Datchiki i sistemy [Sensors & Systems], 2013, no. 9, pp. 10--28 (in Russ.).

[20] Shakhnov V.A., Vlasov A.I., Zhuravleva L.V. [Visual methods in the conditions of synchronous technologies of transfer of knowledge]. Upravlenie kachestvom inzhenernogo obrazovaniya. Vozmozhnosti vuzov i potrebnosti promyshlennosti. Tez. dokl. mezhdunar. nauch.-prakt. konf. [Quality Management in Engineering Education. Capabilities of Universities and Needs of Industry. Abs. Int. Sc.-Pract. Conf.]. Moscow, BMSTU Publ., 2016, pp. 153--154 (in Russ.).

[21] Vlasov A.I., Demin A.A. Visual methods of formalization of knowledge in the conditions of the synchronous technologies of system engineering. Proc. CEE-SECR, St. Petersburg, 2017, art. no. 4, pp. 1--7. DOI: https://doi.org/10.1145/3166094.3166098

[22] Vlasov A.I., Zhuravleva L.V., Kazakov V.V. Application of BPMN visual instruments in modeling technological preparation of production (review). Informatsionnye tekhnologii v proektirovanii i proizvodstve [Information Technologies of CAD/CAM/CAE], 2020, no. 1, pp. 14--26 (in Russ.).

[23] Grosskopf A., Decker G., Weske M. The process. Meghan Kiffer Press, 2009.

[24] Ryan K.L. Ko, Lee S.S.G., Lee E.W. Business process management (BPM) standards: a survey. Bus. Process Manag. J., 2009, vol. 15, iss. 5. DOI: https://doi.org/10.1108/14637150910987937

[25] Vlasov A.I., Gonoshilov D.S. Simulation of manufacturing systems using BPMN visual tools. J. Phys.: Conf. Ser., 2019, vol. 1353, art. 012043. DOI: https://doi.org/10.1088/1742-6596/1353/1/012043

[26] Conforti R., Dumas M., Garcia-Banuelos L., et al. BPMN miner: automated discovery of BPMN process models with hierarchical structure. Inf. Syst. J., 2016, vol. 56, pp. 284--303. DOI: https://doi.org/10.1016/j.is.2015.07.004

[27] Matveev A.S., Rudenko A.Yu., Prochukhan V.V. Development of recommendations for transition from IDEF0 notation of business processes modeling to BPMN notation. Biznes. Obrazovanie. Pravo, 2016, no. 3, pp. 176--182 (in Russ.).

[28] Potryasaev S.A. Integrated modeling of complex processes based on BPMN notation. Izvestiya vysshikh uchebnykh zavedeniy. Priborostroenie [Journal of Instrument Engineering], 2016, vol. 59, no. 11, pp. 913--920 (in Russ.).

[29] Fedorov I.G. Modelirovanie biznes-protsessov v notatsii BPMN 2.0 [Modelling business processes in the BPMN 2.0 notation]. Moscow, MESI Publ., 2013.

[30] Business process model and notation (BPMN). Available at: https://www.omg.org/spec/BPMN/2.0/PDF (accessed: 28.01.2020).

[31] Vlasov A.I., Zhuravleva L.V., Kazakov V.V. Application of BPMN visual instruments in modeling technological preparation of production. Dinamika slozhnykh sistem --- XXI vek [Dynamics of Complex Systems --- XXI Century], 2020, vol. 14, no. 1, pp. 5--22 (in Russ.). DOI: https://doi.org/10.18127/j19997493-202001-01