Formalizing and appling compliance patterns for business process compliance
Today's enterprises demand a high degree of compliance of business processes to meet
diverse regulations and legislations. Several industrial studies have shown that compliance …
diverse regulations and legislations. Several industrial studies have shown that compliance …
[PDF][PDF] State-of-the-art of Business Process Compliance Approaches-A Survey.
M Fellmann, A Zasada - 2016 - dl.gi.de
Compliance means to adhere to laws, regulations and guidelines. It has become an integral
part of business process management since the financial crisis revealed the dimension of …
part of business process management since the financial crisis revealed the dimension of …
Compliance management in business processes
Abstract Business Process Compliance refers to the act of conformance of a business
process with policies, regulations and rules that govern the organization. An imperative …
process with policies, regulations and rules that govern the organization. An imperative …
Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models
Certifying proofs are automated deductive proofs obtained as outcomes of a formal
verification of temporal properties, where model checking is one of the most prominent …
verification of temporal properties, where model checking is one of the most prominent …
Property specification patterns at work: verification and inconsistency explanation
Property specification patterns (PSPs) have been proposed to ease the formalization of
requirements, yet enable automated verification thereof. In particular, the internal …
requirements, yet enable automated verification thereof. In particular, the internal …
Designing for compliance: Norms and goals
G Governatori, F Olivieri, S Scannapieco… - … Workshop on Rules and …, 2011 - Springer
We address the problem of define a modal defeasible theory able to capture intuitions as
“being compliant” with a set of norms and a set of goals. We will treat norms and goals as …
“being compliant” with a set of norms and a set of goals. We will treat norms and goals as …
Computing unsatisfiable cores for LTLf specifications
Linear-time temporal logic on finite traces (LTLf) is rapidly becoming a de-facto standard to
produce specifications in many application domains (eg, planning, business process …
produce specifications in many application domains (eg, planning, business process …
Automatic composition of rough solution possibilities in the target planning of factory planning projects by means of combinatory logic
J Winkels, J Graefenstein, T Schäfer, D Scholz… - … Applications of Formal …, 2018 - Springer
Increasing competition, stronger customer focus, shorter product lifecycles and accelerated
technological developments imply that companies are faced with the challenge of adapting …
technological developments imply that companies are faced with the challenge of adapting …
An experimental comparison of theorem provers for CTL
R Goré, J Thomson, F Widmann - … International Symposium on …, 2011 - ieeexplore.ieee.org
We compare implementations of five theorem provers for Computation Tree Logic (CTL)
based on tree-tableaux, graph-tableaux, binary decision diagrams, resolution and games …
based on tree-tableaux, graph-tableaux, binary decision diagrams, resolution and games …
Automatic generation of optimized process models from declarative specifications
Process models often are generic, ie, describe similar cases or contexts. For instance, a
process model for commissioning can cover both vehicles with an automatic and with a …
process model for commissioning can cover both vehicles with an automatic and with a …