Shumskii L.D. Semantic tracing of information processes

Abstract: 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: