Compliant Business Process Design by Declarative Specifications
File version
Accepted Manuscript (AM)
Author(s)
Governatori, G
Scannapieco, S
Cristani, M
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Guido Boella, Edith Elkind, Bastin Tony Roy Savarimuthu, Martin K. Purvis
Date
Size
File type(s)
Location
Dunedin, New Zealand
License
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.
Journal Title
Conference Title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Book Title
Edition
Volume
8291 LNAI
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
© 2013 Springer Berlin/Heidelberg. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher.The original publication is available at www.springerlink.com
Item Access Status
Note
Access the data
Related item(s)
Subject
Analysis of Algorithms and Complexity