Abstract | ||
---|---|---|
Complex and flexible business processes are critical not only because they are difficult to handle, but also because they often tend to loose their intelligibility. Verifying compliance of 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. Rifles are mapped to Logic Programming, using Prolog to classify execution traces as compliant/non-compliant. 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. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-642-00328-8_13 | Lecture Notes in Business Information Processing |
Keywords | Field | DocType |
business rules | Business process management,Semantics of Business Vocabulary and Business Rules,Programming language,Business process,Computer science,Prolog,Logic programming,Workflow management system,Business rule,Intelligibility (communication) | Conference |
Volume | ISSN | Citations |
17 | 1865-1348 | 20 |
PageRank | References | Authors |
0.75 | 12 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
federico chesani | 1 | 801 | 46.41 |
Paola Mello | 2 | 444 | 21.33 |
Marco Montali | 3 | 1280 | 99.36 |
Fabrizio Riguzzi | 4 | 799 | 67.94 |
Maurizio Sebastianis | 5 | 54 | 3.89 |
Sergio Storari | 6 | 300 | 18.30 |