Grammar-Algebraic Approach to Analyze Workflows

Improving the lifecycle of automated systems and reducing their development time are an important production problem in a large enterprise. We have created a new approach to the analysis and transformation of their processes on the basis of author’s principles, grammar, method of the design process for narrowing the semantic gap between business process analysis and business process execution. This approach allows designers to improve the quality and reduce the time spent on the lifecycle of automated systems.

[1]  A. N. Afanasyev,et al.  Development of RYT-grammar for analysis and control dynamic workflows , 2017, 2017 International Conference on Computing Networking and Informatics (ICCNI).

[2]  Gwen Salaün,et al.  Checking the realizability of BPMN 2.0 choreographies , 2012, SAC '12.

[3]  Ilia Bider,et al.  Agile business process development: why, how and when—applying Nonaka’s theory of knowledge transformation to business process development , 2014, Information Systems and e-Business Management.

[4]  N.N. Voit,et al.  Diagrammatic models processing in designing the complex automated systems , 2016, 2016 IEEE 10th International Conference on Application of Information and Communication Technologies (AICT).

[5]  Nancy A. Lynch,et al.  The generalized railroad crossing: a case study in formal verification of real-time systems , 1994, 1994 Proceedings Real-Time Systems Symposium.

[6]  Ilia Bider.  Analysis of Agile Software Development from the Knowledge Transformation Perspective , 2014, BIR.

[7]  Alexander Afanasyev,et al.  Intelligent Agent System to Analysis Manufacturing Process Models , 2016 .

[8]  Steffen Staab,et al.  Neurons, Viscose Fluids, Freshwater Polyp Hydra-and Self-Organizing Information Systems , 2003, IEEE Intell. Syst..

[9]  David A. Marca,et al.  SADT: structured analysis and design technique , 1987 .

[10]  Waldemar Karwowski,et al.  A review of enterprise agility: Concepts, frameworks, and attributes , 2007 .

[11]  N. N. Voit.  Development of timed RT-grammars for analysis of business process at manufacturing and in cyber-physical systems , 2017, 2017 International Conference on Computing Networking and Informatics (ICCNI).

[12]  Alexander Afanasyev,et al.  The Analysis of Diagrammatic Models of Workflows in Design of the Complex Automated Systems , 2016 .

[13]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[14]  Niels Lohmann,et al.  Realizability is controllability , 2009, ZEUS.

[15]  Steffen Staab,et al.  Web Services: Been There, Done That? , 2003, IEEE Intell. Syst..

[16]  A. N. Afanasyev,et al.  Control of UML diagrams in designing automated systems software , 2015, 2015 9th International Conference on Application of Information and Communication Technologies (AICT).

[17]  Alexander Afanasyev,et al.  MULTIAGENT SYSTEM TO ANALYSE MANUFACTURING PROCESS MODELS , 2016 .