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.
|
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-18222-8_7 | T. Petri Nets and Other Models of Concurrency |
Keywords | DocType | Volume |
business process,complete history,information system,business rule language,separate system,certain business rule,transition system,finite history,business rule,on-the-fly auditing,brl formula,business information systems | Journal | 4 |
ISSN | Citations | PageRank |
0302-9743 | 2 | 0.36 |
References | Authors | |
6 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kees M. van Hee | 1 | 184 | 17.57 |
Jan Hidders | 2 | 444 | 54.68 |
Geert-jan Houben | 3 | 2547 | 209.67 |
Jan Paredaens | 4 | 1525 | 572.13 |
Philippe Thiran | 5 | 575 | 46.19 |