Business Processes Verification with Temporal Answer Set Programming.
Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré · 2012
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. 1