Paper
A static
compliancechecking
framework
for business
process
models
Linguaggio
modellazione
del processo
Linguaggio
modellazione
proprietà
Perspectives
Scenario
Formalising
and Appling
Compliance
Patterns for
Business
Process
Compliance
On Enabling
Compliance of
Crossorganizational
Business
Processes
Efficient
Compliance
Checking
Using BPMNQ and
Temporal
Logic
BPEL, PiBPMN
Calculus,FSM
BPEL
BPMN 2.0
BPMN
BPSL, LTL
FCL/NFCL
CRL
LTL
BPMN-Q
eCRG
Control flow
Data object
(contracts)
Control flow
Control flow
Resource
perspective
Account
opening
process in a
bank
Service
contract
between ISP
provider and
a purchaser
of a ISP
services
230
Control flow,
employed
resources,
temporal
perspective
e-business and
banking
domain
processes
Crossorganizational
process from
helth-care
domain
Banking
business
Healthcare
4
12
197
3
2006
2014
2013
2008
2014
Based on the
notion s of
ideal, subideal, nonideal,
irrelevant
situations.
Verifica a
design-time
con “designtime
compliance
management
framework.
It is considered
only the built
time. Any
other phase of
the business
process lifecycle are not
considered.
This approach
can be applied
not only to
process
defined in
BPMN but also
to any other
graph based
process
definition
languages.
Numero
197
citazioni
Anno
2017
pubblicazione
Note
Opal
framework
con counterexample
tracing.
Compliance
checking
between
business
processes
and business
contracts
Modeling the
Resource
Perspective of
Business
Process
Compliance
Rules with the
Extended
Compliance
Rule Graph
Paper
Ensuring
Business
Process
Compliance
Along the
Process Life
Cycle
Design and
Verification of
Instantiable
Compliance
Rule Graphs
in ProcessAware
Information
Systems
Specification,
Verification
and
Explanation of
Violation for
Data Aware
Compliance
Rules
Visual
Modeling of
Business
Process
Compliance
Rules with the
Support of
Multiple
Perspectives
Linguaggio
modellazione
del processo
Linguaggio
modellazione
proprietà
Perspectives
BPMN
BPMN
BPMN
BPMN
LTL, CRGs
FOL formulas
BPMN-Q, PLTL
eCRG
Data object
Multiperspective
Scenario
Medical
process
9
Numero
citazioni
Anno
2011
pubblicazione
Note
Software
development
60
Open bank
account
62
12
2010
2009
2013
Multiperspective