Modelling History-Dependent Business Processes

Kees van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve

2006

Abstract

Choices in business processes are often based on the process history saved as a log-file listing events and their time stamps. In this paper we introduce a finite-path variant of the timed propositional logics with past for specifying guards in business process models. The novelty is due to the introduction of boundary points start and now corresponding to the starting and current observation points. Reasoning in presence of boundary points requires three-valued logics as one needs to distinguish between temporal formulas that hold, those that do not hold and “unknown” ones corresponding to “open cases”. Finally, we extend a sub-language of the logics to take uncertainty into account.

References

  1. R. Alur and T. A. Henzinger. A really temporal logic. In FOCS, pages 164-169, 1989.
  2. R. Alur and T. A. Henzinger. Logics and models of real time: A survey. In J. W. de Bakker, C. Huizing, W. P. de Roever, and G. Rozenberg, editors, REX Workshop, volume 600 of Lecture Notes in Computer Science, pages 74-106. Springer, 1991.
  3. R. Alur and T. A. Henzinger. A really temporal logic. J. ACM, 41(1):181-204, 1994.
  4. P. Bouyer, F. Chevalier, and N. Markey. On the expressiveness of TPTL and MTL. In R. Ramanujam and S. Sen, editors, FSTTCS, volume 3821 of Lecture Notes in Computer Science, pages 432-443. Springer, 2005.
  5. M. B. Dwyer, G. S. Avrunin, and J. C. Corbett. Patterns in property specifications for finitestate verification. In ICSE, pages 411-420, 1999.
  6. R. Koymans. Specifying real-time properties with metric temporal logic. Real-Time Systems, 2(4):255-299, 1990.
  7. N. Markey and Ph. Schnoebelen. Model checking a path (preliminary report). In R. M. Amadio and D. Lugiez, editors, Proceedings of the 14th International Conference on Concurrency Theory (CONCUR'03), volume 2761 of Lecture Notes in Computer Science, pages 251-265, Marseilles, France, Aug. 2003. Springer.
  8. O. Morikawa. Extended Gentzen-type formulations of two temporal logics based on incomplete knowledge systems. Notre Dame Journal of Formal Logic, 42(1):55-64, 2001.
  9. A. Nakamura. On a three-valued logic based on incomplete knowledge systems. Technical Report 1, Japan Research Group of Multiple-valued Logic, The Institute of Electronics, Information and Communication Engineers, 1995. Many-Valued Logic Technical Report.
  10. Nick, W. M. P. van der Aalst, A. H. M. ter Hofstede, and D. Edmond. Workflow resource patterns: Identification, representation and tool support. In CAiSE05. Springer.
  11. J.-F. Raskin. Logics, Automata and Classical Theories for Deciding Real-Time. PhD thesis, Facultés Universitaires Notre-Dame de la Paix, Namur, Belgium, 1999.
  12. S. Rinderle, M. Reichert, and P. Dadam. Correctness criteria for dynamic changes in workflow systems - a survey. Data Knowl. Eng., 50(1):9-34, 2004.
  13. P. Thati and G. Rosu. Monitoring algorithms for metric temporal logic specifications. Electr. Notes Theor. Comput. Sci., 113:145-162, 2005.
Download


Paper Citation


in Harvard Style

van Hee K., Oanea O., Serebrenik A., Sidorova N. and Voorhoeve M. (2006). Modelling History-Dependent Business Processes . In Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006) ISBN 978-972-8865-49-8, pages 76-85. DOI: 10.5220/0002499500760085


in Bibtex Style

@conference{msvveis06,
author={Kees van Hee and Olivia Oanea and Alexander Serebrenik and Natalia Sidorova and Marc Voorhoeve},
title={Modelling History-Dependent Business Processes},
booktitle={Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006)},
year={2006},
pages={76-85},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002499500760085},
isbn={978-972-8865-49-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006)
TI - Modelling History-Dependent Business Processes
SN - 978-972-8865-49-8
AU - van Hee K.
AU - Oanea O.
AU - Serebrenik A.
AU - Sidorova N.
AU - Voorhoeve M.
PY - 2006
SP - 76
EP - 85
DO - 10.5220/0002499500760085