Abstracting Common Business Rules To Petri Nets

Kees Van hee, Jan Hidders, Geert-Jan Houben, Jan Paredaens, Philippe Thiran

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

Abstract

Business information systems are mostly very complex and difficult to modify. As a consequence, if we would like to ensure that certain business rules are enforced in a business, it is often easier to design a separate information system, called a monitor, that collects the business events from the business information system in a log and verifies whether the rules are satisfied. If not, the monitor can report the problem or it can intervene in the business information system. This requires that the business rules are specified in a precise language that allows to verify them over log files. In addition it should use a vocabulary that is familiar to business experts, and use terms such as cases, resources, agents and tasks. We introduce such a language and show that it can readily express many common types of business rules. We do not need the whole log but only an abstraction to those (aspects of) events that are relevant for the business rules. In addition we show that in many cases these rules can be translated to Petri nets which gives us not only an efficient way to detect violations of business rules, but also a way to analyze them. Such as Petri net can be seen as an abstraction of the business rules. The latter enables us to detect events that either may or must lead to violations later on. This way the monitor can report the risk of transgressions or even prevent them by intervening in the execution of the business information system.
Original languageEnglish
Title of host publicationProceedings of International Workshop on Abstractions for Petri Nets and Other Models of Concurrency
Subtitle of host publication30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency
EditorsNatalia Sidorova, Alexer Serebrenik
Publication statusUnpublished - 2009

Fingerprint

Petri nets
Industry
Information systems

Keywords

  • Auditing
  • Business rules
  • Petri Net

Cite this

Van hee, K., Hidders, J., Houben, G-J., Paredaens, J., & Thiran, P. (2009). Abstracting Common Business Rules To Petri Nets. Unpublished. In N. Sidorova, & A. Serebrenik (Eds.), Proceedings of International Workshop on Abstractions for Petri Nets and Other Models of Concurrency: 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency
Van hee, Kees ; Hidders, Jan ; Houben, Geert-Jan ; Paredaens, Jan ; Thiran, Philippe. / Abstracting Common Business Rules To Petri Nets. Proceedings of International Workshop on Abstractions for Petri Nets and Other Models of Concurrency: 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. editor / Natalia Sidorova ; Alexer Serebrenik. 2009.
@inproceedings{90519129bbc2490e9dbc77db6f6eed46,
title = "Abstracting Common Business Rules To Petri Nets",
abstract = "Business information systems are mostly very complex and difficult to modify. As a consequence, if we would like to ensure that certain business rules are enforced in a business, it is often easier to design a separate information system, called a monitor, that collects the business events from the business information system in a log and verifies whether the rules are satisfied. If not, the monitor can report the problem or it can intervene in the business information system. This requires that the business rules are specified in a precise language that allows to verify them over log files. In addition it should use a vocabulary that is familiar to business experts, and use terms such as cases, resources, agents and tasks. We introduce such a language and show that it can readily express many common types of business rules. We do not need the whole log but only an abstraction to those (aspects of) events that are relevant for the business rules. In addition we show that in many cases these rules can be translated to Petri nets which gives us not only an efficient way to detect violations of business rules, but also a way to analyze them. Such as Petri net can be seen as an abstraction of the business rules. The latter enables us to detect events that either may or must lead to violations later on. This way the monitor can report the risk of transgressions or even prevent them by intervening in the execution of the business information system.",
keywords = "Auditing, Business rules, Petri Net",
author = "{Van hee}, Kees and Jan Hidders and Geert-Jan Houben and Jan Paredaens and Philippe Thiran",
note = "Publication editors : Natalia Sidorova and Alexander Serebrenik",
year = "2009",
language = "English",
editor = "Natalia Sidorova and Alexer Serebrenik",
booktitle = "Proceedings of International Workshop on Abstractions for Petri Nets and Other Models of Concurrency",

}

Van hee, K, Hidders, J, Houben, G-J, Paredaens, J & Thiran, P 2009, Abstracting Common Business Rules To Petri Nets. in N Sidorova & A Serebrenik (eds), Proceedings of International Workshop on Abstractions for Petri Nets and Other Models of Concurrency: 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency.

Abstracting Common Business Rules To Petri Nets. / Van hee, Kees; Hidders, Jan; Houben, Geert-Jan; Paredaens, Jan; Thiran, Philippe.

Proceedings of International Workshop on Abstractions for Petri Nets and Other Models of Concurrency: 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. ed. / Natalia Sidorova; Alexer Serebrenik. 2009.

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

TY - GEN

T1 - Abstracting Common Business Rules To Petri Nets

AU - Van hee, Kees

AU - Hidders, Jan

AU - Houben, Geert-Jan

AU - Paredaens, Jan

AU - Thiran, Philippe

N1 - Publication editors : Natalia Sidorova and Alexander Serebrenik

PY - 2009

Y1 - 2009

N2 - Business information systems are mostly very complex and difficult to modify. As a consequence, if we would like to ensure that certain business rules are enforced in a business, it is often easier to design a separate information system, called a monitor, that collects the business events from the business information system in a log and verifies whether the rules are satisfied. If not, the monitor can report the problem or it can intervene in the business information system. This requires that the business rules are specified in a precise language that allows to verify them over log files. In addition it should use a vocabulary that is familiar to business experts, and use terms such as cases, resources, agents and tasks. We introduce such a language and show that it can readily express many common types of business rules. We do not need the whole log but only an abstraction to those (aspects of) events that are relevant for the business rules. In addition we show that in many cases these rules can be translated to Petri nets which gives us not only an efficient way to detect violations of business rules, but also a way to analyze them. Such as Petri net can be seen as an abstraction of the business rules. The latter enables us to detect events that either may or must lead to violations later on. This way the monitor can report the risk of transgressions or even prevent them by intervening in the execution of the business information system.

AB - Business information systems are mostly very complex and difficult to modify. As a consequence, if we would like to ensure that certain business rules are enforced in a business, it is often easier to design a separate information system, called a monitor, that collects the business events from the business information system in a log and verifies whether the rules are satisfied. If not, the monitor can report the problem or it can intervene in the business information system. This requires that the business rules are specified in a precise language that allows to verify them over log files. In addition it should use a vocabulary that is familiar to business experts, and use terms such as cases, resources, agents and tasks. We introduce such a language and show that it can readily express many common types of business rules. We do not need the whole log but only an abstraction to those (aspects of) events that are relevant for the business rules. In addition we show that in many cases these rules can be translated to Petri nets which gives us not only an efficient way to detect violations of business rules, but also a way to analyze them. Such as Petri net can be seen as an abstraction of the business rules. The latter enables us to detect events that either may or must lead to violations later on. This way the monitor can report the risk of transgressions or even prevent them by intervening in the execution of the business information system.

KW - Auditing

KW - Business rules

KW - Petri Net

M3 - Conference contribution

BT - Proceedings of International Workshop on Abstractions for Petri Nets and Other Models of Concurrency

A2 - Sidorova, Natalia

A2 - Serebrenik, Alexer

ER -

Van hee K, Hidders J, Houben G-J, Paredaens J, Thiran P. Abstracting Common Business Rules To Petri Nets. In Sidorova N, Serebrenik A, editors, Proceedings of International Workshop on Abstractions for Petri Nets and Other Models of Concurrency: 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. 2009