ISSN 1991-2927
 

ACP № 1 (59) 2020

Author: "Segrei Iurevich Kirillov"

Nikolai Nikolaevich Voit, Candidate of Science in Engineering, Associate Professor; graduated from the Faculty of Information Systems and Technologies of Ulyanovsk State Technical University; Associate Professor of the Department of Computer Engineering of Ulyanovsk State Technical University; an author of more than 150 scientific articles in the field of intelligent CAD, Case- and Cals-Technologies; research interests are in the field of workflow design automation, formal languages and grammars, automata, control and analysis of business processes, intelligent workflow processing systems, ontologies, automated learning environments. e-mail: n.voit@ulstu.ru.N. Voit,

Dmitrii Sergeevich Kanev, Candidate of Science in Engineering; graduated from the Faculty of Information Systems and Technologies of Ulyanovsk State Technical University; an author of more than 80 articles in the field of CAD; research interests are in the field of development and implementation of software and hardware platforms that support, intensify and increase the involvement of students in the educational process with the help of information technologies. e-mail: dima.kanev@gmail.com.D. Kanev,

Sergei Iurevich Kirillov, graduated from the Faculty of Information Systems and Technologies of Ulyanovsk State Technical University, Postgraduate Student at the Department of Computer Engineering of Ulyanovsk State Technical University; an author of more than 20 articles in the field of CAD; research interests are in the field of visual languages of business processes and workflows, analysis of graphic diagrams for syntactic and semantic errors, development and implementation of software and hardware platforms that support, intensify and increase the involvement of students in the educational process. e-mail: kirillovsyu@gmail.com.S. Kirillov

The Method of Translation of the Diagram With One Type Directed Link Into the Inhibitor Petri Net 57_5.pdf

The fundamental scientific problem of the theory of business process management is to improve the efficiency of synthesis and processing of workflows of automated systems in order to reduce the time spent on their development and improve the quality of diagram models in terms of error control, reduce the semantic gap between analysis and execution of business processes.
One of the approaches for their verification is the use of the Petri nets formalism, which allows to carry out the semantic and syntactic analysis of models. In particular, to get all possible scenarios of the business process, to determine neverrunning functions and deadlocks of the system, which is especially important in the analysis of cyclic processes. At the same time, the existing methods of translation of graphic diagrams of business process management into the Petri net are specialized and are aimed at working with one / two graphic languages.
The paper proposes a method of transferring charts from one type of directed connections in the inhibitor Petri net. The application of this method for the translation of the control flow of the EPC diagram is shown.

Business processes; graphical language analysis; EPC; Petri net.

2019_ 3

Sections: Information systems

Subjects: Information systems.



Aleksandr Nikolaevich Afanasev, Ulyanovsk State Technical University, Doctor of Science in Engineering, Professor; graduated from the Radioengineering Faculty at Ulyanovsk Polytechnic Institute; First Vice-Rector, Vice-Rector for Distance and Extended Education at Ulyanovsk State Technical University; an author of more than 250 articles in the field of CAD; interested in automated training systems, computational process and computer structure organization, intelligent system design, CAD, composite workflow control, graphic language diagrammatics. [e-mail: a.afanasev@ulstu.ru]A. Afanasev,

Nikolai Nikolaevich Voit, Ulyanovsk State Technical University, Candidate of Science in Engineering; graduated from the Faculty of Information Systems and Technologies at Ulyanovsk State Technical University; Associate Professor at the Department of Computer Science of Ulyanovsk State Technical University, Deputy Director for Distance and Extended Education at Ulyanovsk State Technical University; an author of more than 180 articles in the field of intelligent CAD systems, CASE and CALS Technologies; interested in intelligent development systems of complex computer-aided systems, automated training systems, graphical languages and grammatics. [e-mail: n.voit@ulstu.ru]N. Voit,

Segrei Iurevich Kirillov, Ulyanovsk State Technical University, graduated from the Faculty of Information Systems and Technologies at Ulyanovsk State Technical University; Postgraduate Student at the Department of Computer Science at Ulyanovsk State Technical University, Head of the Scientific Research Department of the Institute of Distance and Extended Education; an author of more than 20 articles in the field of CAD; interested in graphical languages diagrammatics, models and methods of workflow analysis and control, development and introduction of hardware and software of support, intensification and improvement of trainee involvement in educational process. [e-mail: kirillovsyu@gmail.com]S. Kirillov

Automation of Workflow Design in an Industrial Enterprise 55_7.pdf

Increasing of the automated workflow synthesis systems efficiency is the fundamental scientific problem of the business process management theory. The problem includes such subtasks as processing in order to reduce the time spent on their development, increasing the success of processing diagram models, namely the implementation of the requirements for resource constraints, functionality, financial component and deadlines, as well as improving the diagram models quality in terms of error control, narrowing the semantic gap between business process analysis and execution.In the article, an approach to the analysis of workflow diagram models on the basis of temporal automatic grammar with linear analysis time is proposed. The approach allows to control and analyze structural-semantic and temporal errors. The results of the research represent that the approach has significant advantages over similar methods of analysis. The effectiveness of this analytical approach is proved by concrete real and relevant examples.

Workflows, business-process, grammar, visual language.

2019_ 1

Sections: Computer-aided engineering

Subjects: Computer-aided engineering.



© FRPC JSC 'RPA 'Mars', 2009-2018 The web-site runs on Joomla!