Verifying Compliance of Business Processes with Temporal Answer Sets

Provided by: Tilapia
Topic: Big Data
Format: PDF
In this paper, the authors provide a framework for the specification and the verification of business processes, which is based on a temporal extension of Answer Set Programming (ASP) and they address the problem of verifying the compliance of business processes to norms. The logical formalism they use, is a combination of Answer Set Programming and Dynamic Linear Time Temporal Logic (DLTL), and allows for a declarative specification of a business process, as well as the specification of norms, by means of a set of temporal rules and a set of temporal constraints.

Find By Topic