Processes Construction and π-calculus-based Execution and Tracing

Leonid Shumsky, Vladimir Roslovtsev, Viacheslav Wolfengagen

2014

Abstract

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

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

@conference{iceis14,
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,},
year={2014},
pages={448-453},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004972304480453},
isbn={978-989-758-028-4},
}

in EndNote Style

TY - CONF
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