On-the-fly auditing of business processes

Kees Van Hee, Jan Hidders, Geert J. Houben, Jan Paredaens, Philippe Thiran

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Abstract

Information systems supporting business processes are usually very complex. If we have to ensure that certain business rules are enforced in a business process, it is often easier to design a separate system, called a monitor, that collects the events of the business processes and verifies whether the rules are satisfied or not. This requires a business rule language (BRL) that allows to verify business rules over finite histories. We introduce such a BRL and show that it can express many common types of business rules. We introduce two interesting properties of BRL formulas: the future stability and the past stability. The monitor should be able to verify the business rules over the complete history, which is increasing over time. Therefore we consider abstractions of the history. Actually we generate from a set of business rules a labeled transition system (with countable state space) that can be executed by the monitor if each relevant event of the business process triggers a step in the labeled transition system. As long as the monitor is able to execute a step, the business rules are not violated. We show that for a sublanguage of BRL, we can transform the labeled transition system into a colored Petri net such that verification becomes independent of the history length.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages144-173
Number of pages30
Volume6550 LNCS
DOIs
Publication statusPublished - 2010
Event30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency - Paris, France
Duration: 22 Jun 200926 Jun 2009

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6550 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

Conference30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency
CountryFrance
CityParis
Period22/06/0926/06/09

Fingerprint Dive into the research topics of 'On-the-fly auditing of business processes'. Together they form a unique fingerprint.

  • Cite this

    Van Hee, K., Hidders, J., Houben, G. J., Paredaens, J., & Thiran, P. (2010). On-the-fly auditing of business processes. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6550 LNCS, pp. 144-173). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6550 LNCS). https://doi.org/10.1007/978-3-642-18222-8_7