The rationale behind the concept of goal

Governatori, Guido; Olivieri, Francesco; Scannapieco, Simone; Rotolo, Antonino; Cristani, Matteo

doi:10.1017/s1471068416000053

Cited by 27 publications

(24 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A. Background Governatori et al [11] [12] proposed an agent-oriented rule language for the declarative specifications of norm and goal compliant business processes. The main idea is that the set of rules can be partitioned into three subsets: a set of rules corresponding to the norms governing a process, a set of rules encoding the objectives/goals of an organisation to fulfil in their processes and, finally, a set of rules describing the "capabilities" of an organisation.…”

Section: R D Pmentioning

confidence: 99%

“…The logic proposed by [11] [12] was devised to determine if, given a set of facts, it was possible to execute a process that achieve the objective of an organisation and at the same time complying with the norms governing the process. The underlying idea is that, given a set of facts, a derivation can be generated where all applicable rules fire and their conclusions have been added to the derivation.…”

Section: R D Pmentioning

confidence: 99%

See 1 more Smart Citation

Synthesis of Regulation Compliant Business Processes

Ghooshchi

Beest

Governatori

et al. 2021

IEEE Trans. Serv. Comput.

Self Cite

View full text Add to dashboard Cite

Organisations have to cope with large numbers of business rules and existing regulations governing the business in which they operate. Such rules are difficult to maintain due to their size and complexity, and it is increasingly challenging to ensure that each business process adheres to those rules. As such, automated extraction of business processes from rules has three clear advantages: (1) visualisation of all possible executions allowed by the rules, (2) automated execution and compliance by design, (3) identification of "inefficiencies" in the business rules. Existing approaches, however, only allow for the generation of partial traces based on input specifications and cannot handle many different input cases resulting in a full process. This paper presents a formal method to visualise and operationalise such sets of rules as a verifiable business process that is compliant by design, which allows us to analyse all possible execution paths. Additionally, we formally prove correctness of the business processes generated by our method. The approach is implemented in a tool and evaluated on both performance and correctness, showing that even for highly complex sets of rules the approach performs well and outperforms a well-known state-of-the-art approach. Evaluation on a real-life process shows the feasibility of the presented approach. * This paper extends the work presented in [1] in the following ways: (i) it provides an updated and more efficient algorithm, (ii) it provides formal proofs of correctness of the algorithms, and (iii) it includes an extensive evaluation of the approach on both synthetic and real-life processes.

show abstract

Section: R D Pmentioning

confidence: 99%

Section: R D Pmentioning

confidence: 99%

Synthesis of Regulation Compliant Business Processes

Ghooshchi

Beest

Governatori

et al. 2021

IEEE Trans. Serv. Comput.

Self Cite

View full text Add to dashboard Cite

show abstract

“…D P Governatori et al [9], [10] proposed an agent-oriented rule language for the declarative specifications of norm and goal compliant business processes. The main idea is that the set of rules can be partitioned into three subsets: a set of rules corresponding to the norms governing a process (obligation rules), a set of rules encoding the objectives/goals of an organisation to fulfil in their processes (outcome rules) and, finally, a set of rules describing the "capabilities" of an organisation.…”

Section: Rmentioning

confidence: 99%

Visualisation of Compliant Declarative Business Processes

Ghooshchi

Beest

Governatori

et al. 2017

2017 IEEE 21st International Enterprise Distributed Object Computing Conference (EDOC)

Self Cite

View full text Add to dashboard Cite

Organisations typically have to cope with large numbers of business rules and existing regulations governing the business in which they operate. Due to the size and complexity of those rules, maintenance is difficult and it is increasingly complicated to ensure that each business process adheres to those rules. As such, automated extraction of business processes from rules has a number of clear advantages: (1) visualisation of all possible executions allowed by the rules, (2) automated execution and compliance by design, (3) identification of "inefficiencies" in the business rules. Existing approaches, however, only allow to generate partial traces based on input specifications and cannot handle many different input cases resulting in a full process. This paper presents a formal method to visualise and operationalise such sets of rules as a verifiable business process that is compliant by design and allows us to analyse all possible execution paths. In addition, it maintains information of all distinct input cases, to preserve dependencies between consecutive exclusive paths.

show abstract

“…Dealing with conflicts and exceptions is an important issue also in business processes, where modal variants of defeasible Logic [30] propose regulation systems. On the same topic there are many further investigations that have been carried out, that have been considered for the definition of the formalism here, incuding [22,23].…”

Section: Related Workmentioning

confidence: 99%

Non-monotonic reasoning rules for energy efficiency

Tomazzoli

Cristani

Karafili

et al. 2017

AIS

Self Cite

View full text Add to dashboard Cite

Abstract. Conflicting rules and rules with exceptions are very common in natural language specification employed to describe the behaviour of devices operating in a real-world context. This is common exactly because those specifications are processed by humans, and humans apply common sense and strategic reasoning about those rules to resolve the conflicts. In this paper, we deal with the challenge of providing, step by step, a model of energy saving rule specification and processing methods that are used to reduce the consumptions of a system of devices, by preventing energy waste. We argue that a very promising non-monotonic approach to such a problem can lie upon Defeasible Logic, following therefore an approach that has shown success in the current literature about usage of this logic for conflict rule resolution and for human-computer interaction in complex systems. Starting with rules specified at an abstract level, but compatibly with the natural aspects of such a specification (including temporal and power absorption constraints), we provide a formalism that generates the extension of a basic Defeasible Logic, which corresponds to turned on or off devices.

show abstract

The rationale behind the concept of goal

Cited by 27 publications

References 27 publications

Synthesis of Regulation Compliant Business Processes

Synthesis of Regulation Compliant Business Processes

Visualisation of Compliant Declarative Business Processes

Non-monotonic reasoning rules for energy efficiency

Contact Info

Product

Resources

About