Loading...
Please wait, while we are loading the content...
Similar Documents
Compliance checking of execution traces to business rules: An approach based on logic programming
| Content Provider | Semantic Scholar |
|---|---|
| Author | Chesani, Federico Mello, Paola Montali, Marco Riguzzi, Fabrizio Sebastianis, Maurizio Storari, Sergio |
| Copyright Year | 2008 |
| Abstract | Complex and flexible business processes are critical not only because they are difficult to handle, but also because they often tend to be less intelligible. Monitoring and verifying complex and flexible processes becomes therefore a fundamental requirement. We propose a framework for performing compliance checking of process execution traces w.r.t. expressive reactive business rules, tailored to the MXML meta-model. Rules are mapped to (extensions of) Logic Programming, to the aim of providing both monitoring and a-posteriori verification capabilities. We show how different rule templates, inspired by the ConDec language, can be easily specified and then customized in the context of a real industrial case study. We finally describe how the proposed language and its underlying a-posteriori reasoning technique have been concretely implemented as a ProM analysis plug-in. |
| Starting Page | 1 |
| Ending Page | 16 |
| Page Count | 16 |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://ds.ing.unife.it/~friguzzi/Papers/CheMelMon08-CILC.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
