We propose algorithms to synthesise the specifications modelling the capabilities of an agent, the environment she 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 her outcomes. The starting point is a compliant situation, i.e., a situation where an agent is capable of reaching all her outcomes without violating the norms. In this case, the resulting process will be compliant by design.
Compliant Business Process Design by Declarative Specifications
Olivieri, Francesco;Scannapieco, Simone;Cristani, Matteo
2013-01-01
Abstract
We propose algorithms to synthesise the specifications modelling the capabilities of an agent, the environment she 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 her outcomes. The starting point is a compliant situation, i.e., a situation where an agent is capable of reaching all her outcomes without violating the norms. In this case, the resulting process will be compliant by design.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
cbpd .pdf
solo utenti autorizzati
Tipologia:
Versione dell'editore
Licenza:
Accesso ristretto
Dimensione
629.58 kB
Formato
Adobe PDF
|
629.58 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.