Published in journal "Software systems and computational methods", 2014-1 in rubric "Mathematical models and computer simulation experiment", pages 80-92.
Resume: the questions of using formal modeling tools for simulating processes of different categories (the information business processes in particular) are currently under a lot of attention. However, in general the modeling is based on graphs and network solutions, based on the state diagrams, such as Petri nets, graphs representing network chain and other document oriented models, such as UML or IDEFx. The purpose of this article is to present the achievements in the theory of business processes, oriented on such models that can be applied in more strict symbolic systems giving the opportunity to automate model validation, properties detection and connection between the model and technological means of implementation. The author suggests using pi-calculus as symbolic mean of process simulation. In that formal model a process is represented as a term of calculus, which is described by reducing of this term in accordance with selected semantics. This calculus was developed to describe interaction of several system within the frame of processes with changeable structure. The article proposes distinctive approach to the description of tracing: the author shows a way of making process execution logs, combining them into journals and reviews general requirements to journaling process. The article describes the appliance of process mining to the processes modeled using pi-calculus. Implementation of proposed approaches to the process modeling and their execution tracing provides, as compared with the analogues, more abilities to evaluate the adequacy and accuracy of the model built, simplifies system expansion via adding new criteria, ease keeping and interpreting execution logs of the process that corresponds to the model.
Keywords: process trace, business process modeling, process mining, pi calculus, lambda calculus, ABC, interactive system calculus, business process execution semantics, formal model interpretation, model evaluation
Aalst W.M. van der. Formalization and verification of event-driven process chains // In-formation and Software technology. 1999. T. 41. ¹ 10. S. 639–650.
Aalst W.M. van der. Discovery, Conformance and Enhancement of Business Processes. : Springer, 2011.
Aalst W.M. van der, Adriansyah A., Dongen B.F. van. Conformance checking using cost-based fitness analysis // Enterprise Distributed Object Computing Conference (EDOC), 2011 15th IEEE International. , 2011. S. 55–64.
Baader F. i dr. The description logic handbook: Theory, implementation and applications. : Cambridge university press, 2003.
Berry G., Boudol G. The chemical abstract machine // Theoretical computer science. 1992. T. 96. ¹ 1. S. 217–248.
Boudol G. The π-calculus in direct style // Higher-Order and Symbolic Computation. 1998. T. 11. ¹ 2. S. 177–208.
Jianzhong L., Liangyou C. Extended Event-Process Chain (EEPC) and It’s Application in BPR // Systems Engineering. 2000. T. 1. S. 009.
Milner R. A calculus of communicating systems. : Springer-Verlag New York, Inc., 1982.
Milner R. Functions as processes // Mathematical structures in computer science. 1992. T. 2. ¹ 02. S. 119–141.
Milner R. The polyadic π-calculus: a tutorial. : Springer, 1993.
Milner R., Parrow J., Walker D. A calculus of mobile processes, i // Information and com-putation. 1992. T. 100. ¹ 1. S. 1–40.
Pierce B., Sangiorgi D. Typing and subtyping for mobile processes // Logic in Computer Science, 1993. LICS’93., Proceedings of Eighth Annual IEEE Symposium on. , 1993. S. 376–385.
Shumsky L. i dr. Applicative Approach to Information Processes Modeling-Towards a Constructive Information Theory: : SciTePress-Science and and Technology Publications, 2013a. S. 323–328.
Shumsky L. i dr. A synthetic approach to building a canonical model of subject areas in the integration bus // ISKO-Maghreb, 2013 3rd International Symposium. , 2013b. S. 1–7.
Vol'fengagen V.E. Metody i sredstva vychisleniy s ob'ektami. Applikativnye vy-chislitel'nye sistemy. : OOO «YurInfoR-Press», 2004.
Correct link to this article:
just copy this link to clipboard