Abstract
The paper provides a framework for the specification and verification of business processes, based on a temporal extension of answer set programming (ASP). The framework allows to capture fluent annotations as well as data awareness in a uniform way. It allows for a declarative specification of business process but also for a direct encoding of processes specified in conventional workflow languages. Verification of temporal properties of a business process, including verification of compliance to business rules, can be performed by LTL bounded model checking techniques.
| Lingua originale | Inglese |
|---|---|
| pagine (da-a) | 48-59 |
| Numero di pagine | 12 |
| Rivista | CEUR Workshop Proceedings |
| Volume | 861 |
| Stato di pubblicazione | Pubblicato - 2012 |
| Evento | 1st International Workshop on Knowledge-Intensive Business Processes, KiBP 2012 - Rome, Italy Durata: 15 giu 2012 → 15 giu 2012 |