Compliant Business Process Design by Declarative Specifications

Download Now
Provided by: Griffith University
Topic: Big Data
Format: PDF
The authors propose algorithms to synthesize the specifications modeling the capabilities of an agent, the environment they acts in, and the governing norms, into a process graph. This process graph corresponds to a collection of courses of action and represents all the licit alternatives the agent may choose to meet their outcomes. The starting point is a compliant situation, i.e., a situation where an agent is capable of reaching all their outcomes without violating the norms. In this case, the resulting process will be compliant by design.
Download Now

Find By Topic