Processes Construction and π-calculus-based Execution and Tracing

Leonid Shumsky, Vladimir Roslovtsev, Viacheslav Wolfengagen


Many of the state-of-the-art business-process modelling and managing techniques rely on methods that lack sound theoretical basement, though the latter being of advantage, as is acknowledged by more and more people, in practical information system design and implementation. The software (and, in fact, the very processes the software is supposed to automate) tend to become ‘properly designed’, thus ensuring higher degrees of software (and processes) extensibility, adaptability, better verification and execution control. In this paper we discuss a constructive approach to process design and we present process execution semantics based on p-calculus and process analysis and debugging technique based on formalized execution logs


  1. van der Aalst, W. M., van Dongen, B. F., and Adriansyah, A., 2011. Conformance checking using cost-based fitness analysis. In Proc. of the 15th IEEE International Enterprise Distributed Object Computing Conference (EDOC), pp. 55-64.
  2. van der Aalst, W. M., 2013. A general divide and conquer approach for process mining. In Proc. of the Federated Conference on Computer Science and Information Systems (FedCSIS), pp. 1-10.
  3. Barendregt, H., 2012. The Lambda Calculus, its Syntax and Semantics. Studies in Logic, Mathematical Logic and Foundations, vol. 40, College Publications, 2012.
  4. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., and Patel-Schneider, P., 2003. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press
  5. Berry, G. and Boudol G., 1992. The Chemical Abstract Machine. Theoretical computer science, vol. 96, no. 1, pp. 217-248, 1992.
  6. Boudol, G., 1998. The p-calculus in direct style. HigherOrder and Symbolic Computation, vol. 11, no. 2, pp. 177-208.
  7. Milner, R., 1992. Functions as processes. Mathematical structures in computer science, vol. 2, no. 02, pp. 119- 141.
  8. Milner, R., Parrow, J., and Walker, D., 1992. A Calculus of Mobile Processes. Information and Computation, vol. 100, no. 1, pp. 1-40.
  9. Pierce, B. and Sangiorgi, D., 1993. Typing and subtyping for mobile processes. In Proceedings of Eighth Annual IEEE Symposium on Logic in Computer Science, LICS'93, pp. 376-385.
  10. Roslovtsev, V.V., Luchin, A.E., 2009. Concept of HigherOrder Applicative Computational Environment. In Proceedings of the 11th international workshop on computer science and information technologies CSIT'2009, pp. 48-53.
  11. Roslovtsev, V., Wolfengagen, V., Shumsky, L., Bohulenkov, A. and Sakhatskiy, A., 2013. Applicative Approach to Information Processes Modeling. Towards a Constructive Information Theory. In Proceedings of the 15th International Conference on Enterprise Information Systems (ICEIS 2013), Vol. 2, Angers, France, July 4-7, 2013. - pp. 221-226
  12. Shapkin, P., 2010.Computing with Concepts in am Applicative Programming Language. In Proc. of the 2nd International Conference on Applicative Computational Systems (ACS'2010), Moscow, Russia, 2010. - p. 205-213. [In Russian]
  13. Shumsky, L., Roslovtsev, V., Belyaev, E., Bordonos, A., Kazantsev, N. A Synthetic Approach to Building Canonical Model of Subject Area in Integration Bus. IEEE ISKO Maghreb Proceedings 2013
  14. Wolfengagen, W.E., 1984. Frame Theory and Computations. In Computers and Artificial Intelligence, Vol. 3, No. 1, 1984. pp. 3-32.
  15. Wolfengagen V.E., 2010. Applicative computing. Its quarks, atoms and molecules. Ed. Dr. L.Yu. Ismailova. Moscow, Russia: Center JurInfoR, Ltd.

Paper Citation

in Harvard Style

Shumsky L., Roslovtsev V. and Wolfengagen V. (2014). Processes Construction and π-calculus-based Execution and Tracing . In Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-028-4, pages 448-453. DOI: 10.5220/0004972304480453

in Bibtex Style

author={Leonid Shumsky and Vladimir Roslovtsev and Viacheslav Wolfengagen},
title={Processes Construction and π-calculus-based Execution and Tracing},
booktitle={Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},

in EndNote Style

JO - Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - Processes Construction and π-calculus-based Execution and Tracing
SN - 978-989-758-028-4
AU - Shumsky L.
AU - Roslovtsev V.
AU - Wolfengagen V.
PY - 2014
SP - 448
EP - 453
DO - 10.5220/0004972304480453