Primary Studies (From Systematic Literature Review)
Study
Study 1
Article
Addressing Legal Requirements In Requirements Engineering
Study 2
State-Of-The-Art In The Field Of Compliance Languages
Study 3
Business Process Compliance Checking: Current State And Future
Challenges
Study 4
Study 5
Study 6
Study 7
Study 8
Study 9
Compliance in e-Government Service Engineering: State-of-theArt
A Systematic Review of Compliance Measurement Based on
Goals and Indicators
A Systematic Review of Goal-oriented Requirements Management
Frameworks for Business Process Compliance
Business Process Regulatory Compliance Management Solution
Frameworks: A Comparative Evaluation
Generalizability and Applicability of Model-Based Business
Process Compliance-Checking Approaches — A State-of-the-Art
Analysis and Research Roadmap
State-Of-The-Art Of Business Process Compliance Approaches: A
Survey
Author
Paul N. Otto, Annie I.
Antón
COMPAS FP7 Project
Consortium, Tilburg
University
M. El Kharbili,
A.K. Alves De Medeiros,
S. Stein,
W.M.P.Van Der Aalst
Slim Turki, Marija
Bjekovic-Obradovic
Sepideh Ghanavati,
Daniel Amyot,
Liam Peyton
Azalia Shamsaei, Daniel
Amyot,
Alireza Pourshahid
Year
Marwane El Kharbili
2012
Jörg Becker, Patrick
Delfmann,
Mathias Eggert,
Sebastian Schwittay
Michael Fellmann,
Andrea Zasada
2007
2008
2008
2010
2011
2011
2012
2014
Articles Removed
Duplicates (By Year) in Red bold
Primary Studies in Green bold
Non English in Purple bold
Not found in Orange bold
No Information Technology Artifact in Blue
73
3
1
1
37
Full List of Studies
S/N
Article
1 A Prolog Model of the Income Tax Act of Canada
An Algorithm to Generate Compliance Monitors
2 from Regulations
An E-Government Information Architecture for
3 Regulation Analysis and Compliance Assistance
Annotating Accommodation Advertisements
4 using CERNO
Automated extraction of normative references
5 in legal texts
Source
Year
Authors
Study 1
1987
D. M. Sherman
Study 1
2006
T.D. Breaux, A.I. Antón
Study 1
2004
G. T. Lau, S. Kerrigan, K. H. Law
and G. Wiederhold
Study 1
2007
N. Kiyavitskaya, N. Zeni, L. Mich,
J. R. Cordy and John Mylopoulos
Study 1
2003
M. Palmirani, R. Brighi and M.
Massini.
6
Automatic semantics extraction in law
documents
Combining Structured and Unstructured
Information in a Retrieval Model for Accessing
7 Legislation
Dynamics of Legal Provisions and its
8 Representation
Ensuring Compliance between Policies,
Requirements and Software Design: A Case
9 Study
Esplex: A rule and conceptual model for
10 representing statutes
Indian Central Civil Service Pension Rules: A Case
Study in Logic Programming Applied to
11 Regulations
Induction of Defeasible Logic Theories in the
12 Legal Domain
Information Infrastructure for Regulation
13 Management and Compliance Checking
Legal information retrieval and application to e14 rulemaking
Legal Requirements Reuse: A Critical Success
Factor for Requirements Quality and Personal
15 Data Protection
16 Legol: modelling legal rules by computer
Logic programming for large scale applications in
law: A formalisation of supplementary benefit
17 legislation
18 Logic-Based Regulation Compliance-Assistance
On the analysis of regulations using defeasible
19 rules
20
On the Modelling and Analysis of Regulations
ON-LINE: An Architecture for Modelling Legal
21 Information
Permissions and Obligations in Hierarchical
22 Normative Systems
Privacy and Contextual Integrity: Framework and
23 Applications
Privacy APIs: Access Control Techniques to
24 Analyze and Verify Legal Privacy Policies
Study 1
2005
C.Biagioli, E.Francesconi,
A.Passerini, S.Montemagni,
C.Soria
Study 1
2005
M.-F. Moens.
Study 1
2005
J. Martinek and J. Cybulka
Study 1
2006
H. Qingfeng, P. Otto, A. I. Antón
and L. Jones
Study 1
1987
C. Biagioli, P. Mariani and D.
Tiscornia
Study 1
1991
M.J. Sergot, A.S. Kamble and K.K.
Baja
Study 1
2003
B. Johnston and G. Governatori
Study 1
2001
S. Kerrigan, G. Lau, L. Zhou, G.
Wiederhold and K. H. Law
Study 1
2005
G.T. Lau, K.H. Law and G.
Wiederhold
Study 1
2002
A. Toval, A. Olmos and M.
Piattini
Study 1
1979
R. K. Stamper
Study 1
1987
T. J. M. Bench-Capon, G. O.
Robinson, T. W. Routen and M. J.
Sergot
Study 1
2003
Study 1
1999
Study 1
1999
G. Antóniou, D. Billington, G.
Governatori and M.J. Maher
Study 1
1995
A. Valente and J. Breuker
Study 1
2003
G. Boella and L. van der Torre
Study 1
2006
A. Barth, A. Datta, J. C. Mitchell
and H. Nissenbaum
Study 1
2006
M.J. May, C.A. Gunter and I. Lee
S. Kerrigan, K.H. Law
G. Antóniou, D. Billington and
M.J. Maher
25 Privacy as Contextual Integrity
Representing Law in Partial Information
26 Structures
Requirements Engineering in the Health Care
27 Domain
28
Similarity Analysis on Government Regulations
Some Fundamental Legal Conceptions as
29 Applied in Judicial Reasoning
Symbolic Logic: A Razor-Edged Tool for Drafting
30 and Interpreting Legal Documents
Temporalised Normative Positions in Defeasible
31 Logic
The British Nationality Act as a Logic Program
Study 1
2004
H. Nissenbaum
Study 1
1997
Niels Peek
Study 1
2002
L.M. Cysneiros
Study 1
2003
G.T. Lau, K.H. Law andG.
Wiederhold
Study 1
1913
W.N. Hohfeld.
Study 1
1957
L. E. Allen
Study 1
2005
G. Governatori, A. Rotolo and G.
Sartor.
Study 1
1986
M. J. Sergot, F. Sadri, R. A.
Kowalski, F. Kriwaczek, P.
Hammond, and H. T. Cory
Study 1
2006
P.N. Otto, A.I. Antón and D.L.
Baumer
Study 1
1997
D. Poulin, G. Huard and A. Lavoie
Study 1
2001
A. I. Antón, J. B. Earp, C. Potts
and T. A. Alspaugh
Study 1
1980
L. Thorne McCarty
Study 1
2006
T.D. Breaux, M.W. Vail, A.I.
Antón.
Study 1
2004
F. Massacci, M. Prest and N.
Zannone
Study 2
2006
M. Papazoglou and B. Kratz
Study 2
2008
T. D. Breaux, A. I. Antón and E. H.
Spafford
Study 2
2006
G. Governatori and Z. Milosevic
Study 2
1997
S. Jajodia, P. Samarati, and V.
Subrahmanian
Study 2
2003
R. Hamadi and B. Benatallah
32
The ChoicePoint Dilemma: How Data Brokers
Should Handle the Privacy of Personal
33 Information
The Other Formalization of Law: SGML
34 Modelling and Tagging,
The Role of Policy and Stakeholder Privacy
35 Values in Requirements Engineering
The TAXMAN Project: Towards a Cognitive
36 Theory of Legal Argument
Towards Regulatory Compliance: Extracting
Rights and Obligations to Align Requirements
37 with Regulations
Using a Security Requirements Engineering
Methodology in Practice: The compliance with
38 the Italian Data Protection Legislation
A business-aware web services transactions
39 model
A distributed requirements management
framework for legal compliance and
40 accountability
A formal analysis of a business contract
41 language
42
A logical language for expressing authorisations
A Petri net-based model for web service
43 composition
44 A privacy policy model for enterprises
A requirements management framework for
45 privacy compliance
46
A semantic based user privacy protection
A Semantical Perspective on Verification of
47 Knowledge
A static compliance-checking framework for
48 business process models
49
A system for non-monotonic rules on the web
An architecture for flexible web service QoS
50 negotiation
51
52
G. Karjoth and M. Schunter
S. Ghanavati, D. Amyot and L.
Peyton
Study 2
2007
Study 2
2005
A. Tumer, A. Dogac, and H.
Toroslu,
Study 2
2002
N. Leemans, J. Treur, and M.
Willems
Study 2
2007
Y. Liu, S. Muller, and K. Xu,
Study 2
2004
G. Antóniou, A. Bikakis, and G.
Wagner
Study 2
2005
M. Comuzzi and B. Pernici
Study 2
1998
E. Darimont, P. Delor, P.
Massonet, and A. van
Lamsweerde
An Event-Condition-Action Language for XML
Study 2
2002
J. Bailey, A. Poulovassilis and P.
Wood
Study 2
2004
A. Anderson
Study 2
2003
H. Mouratidis, P. Giorgini and G.
Manson,
Study 2
2005
T. D. Breaux and A. I. Antón
Study 2
Study 2
2007
2007
A. Charfi and M. Mezini
A. Ghose and G. Koliadis
Study 2
2004
L. Kagal, T. Finin, M. Paolucci, N.
Srinivasan, K. Sycara and G.
Denker
Study 2
1996
N. Jennings, P. Faratin, T.
Norman, P. O'Brien and B.
Odgers,
Study 2
2007
A. Kamada and M. Mendes,
Study 2
2005
F. Rosenberg and S. Dustdar
Study 2
2007
A. Svirskas, C. Courbis, R. Molva
and J. Bedzinskas
Study 2
2007
C. Johnson and T. Grandison
Study 2
2004
S. Tai, R. Khalaf and T. Mikalsen
Analyzing goal semantics for rights, permissions,
55 and obligations
56 AO4BPEL: An aspect-oriented extension to BPEL
57 Auditing business process compliance
59
2002
An environment for goal-driven requirements
engineering
An introduction to the web services policy
53 language (WSPL)
An ontology for modelling security: The Tropos
54 approach,
58
Study 2
Authorization and privacy for semantic web
services
Autonomous Agents for Business Process
Management
Business rules in a service development and
60 execution environment
Business Rules Integration in BPEL A Service61 Oriented Approach
Compliance proofs for collaborative interactions
62 using aspect-oriented approach
Compliance with data protection laws using
Hippocratic database active enforcement and
63 auditing
64 Composition of coordinated web services
Composition of Semantic Web Services using
65 Linear Logic Theorem Proving
2006
J. Rao, P. Kungas and M. Matskin
Study 2
2006
M. Braem, N. Joncheere, W. van
der Perren, R. V. D. Straeten and
V. Jonckers
Coordinated Forward Error Recovery for
67 Composite Web Services
Study 2
2003
F. Tartanoglu, V. Issarny, A.
Romanovsky and N. Levy,
Designing a generic payment service
Study 2
1998
J. Peiro, N. Asokan, M. Steiner
and M. Waidner
Study 2
2006
S. Goedertier and J. Vanthienen
Study 2
1995
R. Sprague
Study 2
1997
J. Mackie-Mason and K. White
Study 2
2004
J. Mendling and M. Nuettgens
Study 2
2005
B. van der Raadt, J. Gordijn, and
E. Yu,
Study 2
2006
G. Yee, L. Korba, and R. Song
Study 2
2007
A. Kokune, M. Mizuno, K.
Kadoya, and S. Yamamoto
Flexible Composition of Enterprise Web Services,
Study 2
2003
L. Zeng, B. Benatallah, H. Lei, A.
Ngu, D. Flaxer, and H. Chang
Framework for control objectives: Management
guidelines and maturity models (COBIT 4.1)
Study 2
2007
IT Governance Institute
Study 2
1994
A. Antón, W. McCracken, and C.
Potts
Study 2
2006
S. Yamamoto, H. Kaiya, K. Cox,
and S. Bleistein
Study 2
1993
A. Dardenne, A. van
Lamsweerde, and S. Fickas
Study 2
2001
A. van Lamsweerde
Study 2
2001
J. Bergstra, A. Ponse, and S.
Smolka
Study 2
2005
M. d’Hondt,
66
68
Concern-specific languages in a visual web
service creation environment
Designing compliant business processes with
69 obligations and permissions
Electronic document management: challenges
and opportunities for information systems
70 managers
Evaluating and Selecting Digital Payment
71 Mechanisms
72
Exchanging EPC business process models with
EPML
Exploring web services from a business value
73 perspective
74
Extracting privacy requirements from legislation
FBCM - strategy modeling method for the
75 validation of software requirements,
76
77
Goal decomposition and scenario analysis in
78 business process re-engineering
Goal oriented requirements engineering: Trends
79 and issues
80
Goal-directed requirements acquisition,
Goal-oriented requirements engineering: A
81 guided tour
82
Handbook of Process Algebra
Hybrid Aspects for Integrating Rule-Based
83 Knowledge and Object-Oriented Functionality
Study 2
84
Integrating risks in business process models,
Inter-enterprise collaborative business process
85 management
Isolating process-level concerns using Padus
Study 2
2005
D. Neiger, L. Churilov, M. Z.
Muehlen and M. Rosemann
Study 2
2001
Q. Chen and M. Hsu
Study 2
2006
M. Braem, K. Verlaenen, N.
Joncheere, W. Vanderperren, R.
V. D. Straeten, E. Truyen, W.
Joosen, and V. Jonckers,
Study 2
2007
S. Shazia, G. Governatori and K.
Namiri
Study 2
2007
L. Kagal and T. Finin
Study 2
2006
D. Jobst and T. Greiner
Study 2
1993
B. Medvinsky,
Study 2
2007
G. Governatori, Z. Milosevic, S.
Sadiq, and M. Orlowska
Study 2
2007
B. Orriens
Study 2
2008
B. Orriens and J. Yang,
Study 2
2008
B. Orriens and J. Yang
Study 2
1993
R. Milner,
86
Modeling control objectives for business process
87 compliance
Modeling conversation policies using
88 permissions and obligations
Modern process management with SOA, BAM
and CEP - from static process models to
executable workflows and monitoring on
89 business level
Netcash: A design for practical electronic
90 currency on the Internet.
On compliance of business processes with
91 business contracts
On the Adaptive Development and Management
92 of Business Collaborations
On the specification of payment requirements
93 for collaborative services
On the specification of quality requirements for
94 collaborative services
Operational and Algebraic Semantics of
95 Concurrent Processes
Organisational business plans - the standard
model for business rule motivation
Study 2
2000
A. Kolber, D. Hay, C. Estep, D.
Struck, G. Lam, J. Healy, J. Hall, J.
Zachman, K. Healy, M.
Eulenberg, N. Fishman, R. Ross,
T. Moriarty, and W. Selkow
Pattern-based Translation of BPMN Process
97 Models to BPEL Web Services
Study 2
2007
C. Ouyang, M. Dumas, A. ter
Hofstede, and W. van der Aalst
Study 2
2005
A. Bandara, E. Lupu, A. Russo, N.
Dulay, M. Sloman, P. Flegkas, M.
Charalambides, and G. Pavlou
Study 2
2000
N. Damianou, N. Dulay, E. Lupu,
and M. Sloman
Study 2
2002
A. Rezgui, M. Ouzzani, A.
Bouguettaya, and B. Medjahed
96
98
Policy refinement for DiffServ quality of service
management
Ponder: A language for specifying security and
99 management policies for distributed systems
100
Preserving privacy in web services
101
102
103
104
Principles and Practice in Verifying Rule Based
Systems
Principles of Constraint Programming
Principles of the Business Rule Approach
Privacy Issues in the Web Services Architecture
(WSA).
1992
Study 2
Study 2
2003
2003
Study 2
2006
Process modeling: the deontic way
Study 2
2006
V. Padmanabhan, G.
Governatori, S. Sadiq, R. Colomb,
and A. Rotolo.,
QoS-aware middleware for web services
composition
Study 2
2004
L. Zeng, B. Benatallah, A. Ngu, M.
Dumas, J. Kalagnanam, and H.
Chang
Study 2
2004
J. Cardoso, A. Sheth, J. Miller, J.
Arnold, and K. Kochut
Study 2
1998
S. Froland and J. Koistinen
Study 2
2005
A. Paschke,
Study 2
2004
F. Arbab
Study 2
1992
J. Mylopoulos, L. Chung, and B.
Nixon
Study 2
2007
M. Braem and N. Joncheer
Study 2
1995
B. Neuman and G. Medvinsky
Study 2
2005
Study 2
2007
P. Bonatti and D. Olmedilla
J. Ramanathan, R. J. Cohen, E.
Plassmann, and K. Ramamoorthy
Study 2
2008
Study 2
2004
Study 2
2004
K. Leune, M. Papazoglou, and W.
van den Heuvel
T. Yu and K. Lin
Study 2
2002
D. Luckham,
Study 2
2006
H. Boley,
Study 2
2003
G. Holzmann
105
106
Quality of service for workflows and web service
107 processes
Quality-of-service specification in distributed
108 object systems
RBSLA - a declarative rule-based service level
109 agreement language based on RuleML
110
Reo: a Channel-based Coordination Model for
Component Composition
Representing and using non-functional
111 requirements - a process-oriented approach
Requirements for applying aspect-oriented
techniques in web service composition
112 languages
Requirements for network payment: the
113 NetCheque perspective
114 Rewerse policy specification
Role of an auditing and reporting service in
115 compliance management
Service Compliance: Towards Electronic
116 Compliance Programs
117
118
119
120
121
A. Preece, R. Shinghal, and A.
Batarekh
K. Apt
R. Ross
B. Carminati, E. Ferrari, and P.
Hung
Study 2
Specification and querying security constraints
in the EFSOC framework
The design of QoS-capable web services
The Power of Events: An Introduction to
Complex Event Processing
The RuleM family of web rule languages
The SPIN Model Checker: Primer and Reference
Manual
G. Koliadis and A. K. Ghose
122
The Unified Modeling Language User Guide
The well-founded semantics for general logic
123 programs
Towards a formal framework for business
124 process compliance
Towards modeling and reasoning support for
125 early-phase requirements engineering
Transactional BPEL processes with AO4BPEL
126 aspects
User requirements notation (URN) language
127 requirements and framework
Validating strategic alignment of organisational
it requirements using goal modelling and
128 problem diagrams
Vidre - a distributed service-oriented business
129 rule engine based on RuleML
130 Web services and business transactions
Study 2
1998
G. Booch, J. Rumbaugh, and I.
Jacobson
Study 2
1991
A. van Gelder, K. Ross, and J.
Schlipf
Study 2
2008
K. Namiri and N. Stojanovic
Study 2
1997
E. Yu,
Study 2
2007
A. Charfi, B. Schmeling, and M.
Mezini
Study 2
2003
ITU-T
Study 2
2006
S. Bleistein, K. Cox, and J. Verner
Study 2
2006
Study 2
2003
C. Nagl, F. Rosenberg, and S.
Dustdar
M. Papazoglou
Study 2
2004
A. Dan, D. Davis, R. Kearney, A.
Keller, R. King, D. Kuebler, H.
Ludwig, M. Polan, M. Spreitzer,
and A. Youssef
Study 2
1987
K. Yue
Study 2
2002
J. O’Sullivan, D. Edmond, and A.
ter Hofstede
Study 2
2003
W. van der Aalst, B. F. van
Dongen, J. Herbst, L. Maruster,
G. Schimm, and A. J. M. M.
Weijters,
Study 2
2002
V. Tosic, B. Pagurek, and K. Patel
XSRL: An XML webservices request language
Study 2
2002
M. Papazoglou, M. Aiello, M.
Pistore, and J. Yang,
A static compliance-checking framework for
137 business process models
Study 3
2007
Y. Liu, S. Muller, and K. Xu,
Study 3
2004
J. Cole, S. Gibson, S. Kulkarni, P.
F. Linington, Z. Milosevic and S.
Neal
Study 3
2007
A. Ghose and G. Koliadis
Web services on demand: WSLA-driven
automated management
131
What does it mean to say that a specification is
132 complete?
What’s in a service? towards accurate
133 description of non-functional service properties
Workflow mining: a survey of issues and
approaches
134
WSOL: A language for the formal specification of
various constraints and classes of service for
135 web services
136
A unified behavioural model and a contract
language for extended enterprise
138
139 Auditing business process compliance
Automata-Based Verification of Temporal
140 Properties on Running Programs
Compliance Checking Between Business
141 Processes and Business Contracts
Conformance Checking of Processes Based on
142 Monitoring Real Behavior
143
Constraint-Based Workflow Models: Change
Made Easy
Dealing with contract violations: formalism and
144 domain specific language∗
145
Expressing and Verifying Business Contracts with
Abductive Logic Programming
Modeling and Verifying Workflow-based
146 Regulations
Modeling control objectives for business
147 process compliance
148
Ontology-Based Representation of Ccompliance
Requirements for Service Processes
Pattern-based design and validation of business
149 process compliance
Process anti-patterns: How to avoid the
150 common traps of business process modeling
Process Mining and Verification of Properties:
151 An Approach Based on Temporal Logic
Study 3
2001
D. Giannakopoulou and K.
Havelund
Study 3
2006
G. Governatori, Z. Milosevic and
S. Sadiq
Study 3
2007
A. Rozinat and W.M.P. van der
Aalst
Study 3
2007
M. Pesic, M.H. Schonenberg, N.
Sidorova and W.M.P. van der
Aalst
Study 3
2005
Guido Governatori, Zoran
Milosevic
Study 3
2008
M. Alberti, F. Chesani, M.
Gavanelli, E. Lamma, P. Mello, M.
Montali and P. Torroni
Study 3
2006
W. Rossak, D. Foetsch and E.
Pulvermueller
Study 3
2007
S. Shazia, G. Governatori and K.
Namiri
Study 3
2007
R. Schmidt, C. Bartsch and R.
Christian Bartsch
Study 3
2007
Namiri, K. and Stojanovic, N.
Study 3
2007
J. Vanhatalo and J. Koehler
Study 3
2005
W.M.P. van der Aalst, H.T. de
Beer and B.F. van Dongen
Process Modelling: The Deontic Way
Study 3
2006
V. Padmanabhan, G.
Governatori, S. Sadiq, R. Colomb
and A. Rotolo
Rules and Ontology in Compliance Management
Study 3
2007
F. Yip, A. K. Y. Wong, N.
Parameswaran and P. Ray
Study 3
2007
F. Chesani, P. Mello, M. Montali
and S. Storari
Study 3
1991
R. Milner
Study 3
2008
K. Namiri and N. Stojanovic
Study 3
2006
Zoran Milosevic, Shazia Sadiq
and Maria Orlowska
Study 3
2005
Z. Milosevic
152
153
Testing Careflow Process Execution
Conformance by Translating a Graphical
154 Language to Computational Logic
155 The polyadic pi-calculus: a tutorial
Towards a formal framework for business
156 process compliance
Towards a methodology for deriving contract157 compliant business processes
Towards Integrating Business Policies with
158 Business Processes
A Business Process-Based Modelling Extension
159 for Regulatory Compliance
A Requirements Management Framework for
160 Privacy Compliance
Analyzing Regulatory Rules for Privacy and
161 Security Requirements
Study 4
2008
D. Karagiannis
Study 4
2007
S. Ghanavati, D. Amyot and L.
Peyton
Study 4
2008
T. D. Breaux and A. I. Antón
Study 4
2008
N. Zeni, N. Kiyavistkaya, J. R.
Cloudy, L. Mich and J. Mylopulos
Study 4
2003
M. Palmirani, R. Brighi and M.
Massini
Automatic Semantics Extraction in Law
Documents
Study 4
2005
C. Biagioli, E. Francesconi, A.
Passerini, S. Montemagni, and
C. Soria
Business Process-Based Regulation Compliance:
The Case of the Sarbanes-Oxley Act
Study 4
2007
D. Karagiannis, J. Mylopoulos
and M. Schwab
Extracting Rights and Obligations from
Regulations: Toward a Tool-Supported Process
Study 4
2007
N. Kiyavitskaya, N. Zeni, T. D.
Breaux, A. I. Antón, J. R. Cordy, L.
Mich and J. Mylopoulos
Study 4
2005
A. Rifaut
Study 4
2008
T. D. Breaux, A. I. Antón, K.
Boucher and M. Dorfman
Study 4
2005
P. Giorgini, F. Massacci, J.
Mylopoulos and N. Zannone
Study 4
2005
P. Giorgini, F. Massacci and N.
Zannone
Study 4
2008
M. El Kharbili, S. Stein, I.
Markovic and E. Pulvermüller
Annotating regulations using Cerno: An
162 application to Italian documents.
Automated Extraction of Normative References
163 in Legal Texts
164
165
166
Goal-Driven Requirements Engineering for
167 Supporting the ISO 15504 Assessment Process
Legal Requirements, Compliance and Practice:
168 An Industry Case Study in Accessibility
Modeling Security Requirements Through
169 Ownership, Permission and Delegation
170
Security and Trust Requirements Engineering
Towards a Framework for Semantic Business
171 Process Compliance Management
Towards a Framework for Tracking Legal
172 Compliance in Healthcare
Towards Regulatory Compliance: Extracting
Rights and Obligations to Align Requirements
173 with Regulations
A Business Process-Based Modelling Extension
174 for Regulatory Compliance
A Compliance Framework for Business Processes
175 Based on URN
Study 4
2007
S. Ghanavati, D. Amyot and L.
Peyton
Study 4
2006
T. D. Breaux, M. W. Vail and A. I.
Antón
Study 5
2008
D. Karagiannis
Study 5
2007
Ghanavati, S.:
A Goal-Oriented Approach for Workflow
176 Monitoring
Study 5
2010
Martinez, A., Gonzalez, N.,
Estrada, H.
177
A Policy-Based Metrics Framework for
Information Security Performance Measurement
Study 5
2007
C. Martin and M. Refai
Study 5
2010
F. Massacci and A. Yautsiukhin
Study 5
2009
A. Pourshahid, G. Mussbacher, D.
Amyot, M. Weiss
Study 5
2008
J. Dang, A. Hedayati, K. Hampel
and C. Toklu
Study 5
2010
C. Rodríguez, P. Silveira, F.
Daniel and F.Casati
Study 5
2008
I. Weber, G. Governatori and J.
Hoffmann
Study 5
2008
V. Mahnic and N. Zabkar
Business process management with the User
Requirements Notation
Study 5
2009
A. Pourshahid, D. Amyot, L.
Peyton, S. Ghanavati, P. Chen, M.
Weiss and A. Foster
Business Process-Based Regulation Compliance:
The Case of the Sarbanes-Oxley Act
Study 5
2007
D. Karagiannis, J. Mylopoulos
and M. Schwab
Study 5
2008
L. T. Ly,K. Göser, K, S.RinderleMa and P. Dadam
Study 5
2009
Boehmer, W.
Study 5
2009
E. Morrison, A. Ghose and G.
Koliadis
Study 5
2009
A. S. Behnam, D. Amyot, A. J
Forster, L. Peyton and A
Shamsaei
IT audit in accordance with Cobit standard
Study 5
2010
D. Radovanovi, T. Radojevi, D. Lui
and M. Šarac Si
Managed Business Artifacts
Study 5
2008
A. Nigam, J. Jeng, T. Chao and H.
Chang
Study 5
2008
R. Lu, S. Sadiq and G.
Governatori
Study 5
2007
S. W. Sadiq, G. Governatori and
K. Namiri
An algorithm for the appraisal of assurance
178 indicators for complex business processes.
An aspect-oriented framework for business
179 process improvement
An ontological knowledge framework for
180 adaptive medical workflow
Analyzing compliance of service-based business
processes for root-cause analysis and
181 prediction.
Approximate compliance checking for annotated
182 process models
Assessing Scrum-based software development
183 process measurement from COBIT perspective.
184
185
Compliance of Semantic Constraints A
Requirements Analysis for Process Management
186 Systems
Cost-Benefits Trade-Off Analysis of an ISM Based
187 on ISO 27001
Dealing With Imprecise Compliance
188 Requirements
Goal-driven development of a patient
surveillance application for improving patient
189 safety
190
191
Measurement of Compliance Distance in
192 Business Processes.
Modeling control objectives for business
193 process compliance
On the design of Compliance Governance
Dashboards for Effective Compliance and Audit
194 Management.
Study 5
2009
P. Silveira, C. Rodriguez, F.
Casati, F Daniel, V. D’Andrea, C.
Worledge, and Z. Taheri
On the use of the Goal-Oriented Paradigm for
System Design and Law Compliance Reasoning.
Study 5
2010
M. Morandini, L. Sabatucci, A.
Siena, J. Mylopouslos, L.
Penserini, A. Perini and A.Susi
Policy-Based Semantic Compliance Checking for
196 Business Process Management
Study 5
2008
M. E. Kharbili and S. Stein
Study 5
2009
D. Marino, F. Massacci, A.
Micheletti, N. Rassadko and S.
Neuhaus
Study 5
2008
G. Koliads and A. Ghose
Study 5
2008
K. Namiri and N. Stojanovic
Study 5
2008
M. E. Kharbili, S. Stein, I.
Markovic and E. Pulvermuller
Study 5
2007
Ghanavati, S., Amyot, D.,
Peyton, L.
Study 5
2009
A. Awad, S. Smirnov and M.
Weske
Study 5
2010
A. Pasic, J. Bareño, B. GallegoNicasio, R. Torres, and D.
Fernandez
Study 5
2008
V. Mahnic and N. Zabkar
Study 5
2008
A. Rifaut and E. Dubois
Study 6
2008
Karagiannis, D.
Study 6
2006
T. D. Breaux, A. I. Antón and E.
H. Spafford
Study 6
2010
S. Islam, H. Mouratidis and J.
Jürjens
Study 6
2009
W. Hassan and L. Logrippo
Study 6
2009
S. Ghanavati, A. Siena, A. Perini,
D. Amyot, L. Peyton and A. Susi
195
197
Satisfaction of control objectives by control
processes.
Service Compliance: Towards Electronic
198 Compliance Programs
Towards A Formal Framework for Business
199 Process Compliance
Towards a Framework for Semantic Business
200 Process Compliance Management
Towards a framework for tracking legal
201 compliance in healthcare.
Towards Resolving Compliance Violations in
202 Business Process Models
203
Trust and Compliance Management Models in
Emerging Outsourcing Environments
Using cobit indicators for measuring scrum204 based software development.
205
Using Goal-Oriented Requirements Engineering
for Improving the Quality of ISO/IEC 15504
based Compliance Assessment Frameworks
A Business process Based Modelling Extension
206 for Regulatory Compliance
A distributed requirements management
framework for legal compliance and
207 accountability
A framework to support alignment of secure
208 software engineering with legal regulations
A Governance Requirements Extraction Model
209 for Legal Compliance Validation
A Legal Perspective on Business: Modeling the
210 Impact of Law
A meta-model for modelling law-compliant
211 requirements
A Method for Identifying Software
212 Requirements Based on Policy Commitments
A method to acquire compliance monitors from
213 regulations
Study 6
2008
A. Siena, A. Perini, A. Susi and J.
Mylopoulos
Study 6
2010
J. D. Young and A. I. Antón
Study 6
2010
T. D. Breaux
Study 6
2009
X. Liu, L. Peyton and Craig
Kuziemsky
Study 6
2007
S. Ghanavati, D. Amyot and L.
Peyton
Study 6
2005
A. K. Massey and A. I. Antón
Study 6
2009
M. Elkharbili and E. Pulvermüller
Study 6
2007
Otto, P.N., Antón, A.I.
Study 6
2008
C. Kalloniatis, E. Kavakli and S.
Gritzalis
Study 6
2005
T. D. Breaux and A. I. Antón
Study 6
2008
T. D. Breaux and A. I. Antón
Study 6
2003
B. Subirana and M. Bain
Study 6
2006
Karl Wagner, Joerg Klueckmann
Business Process-Based Regulation Compliance:
The Case of the Sarbanes-Oxley Act
Study 6
2007
D. Karagiannis, J. Mylopoulos
and M. Schwab
Checking Existing Requirements for Compliance
with Law Using a Production Rule Model
Study 6
2009
J. C. Maxwell and A. I. Antón
Study 6
2010
J. D. Young
Study 6
2008
S. Ghanavati, D. Amyot and L.
Peyton
Study 6
2009
S. Ghanavati, D. Amyot and L.
Peyton
A Requirement Engineering Framework for
Electronic Data Sharing of Health Care Data
214 Between Organizations
A requirements management framework for
215 privacy compliance
A Requirements-based Comparison of Privacy
216 Taxonomies Others
A Semantic Framework for Compliance
217 Management in Business Process Management
Addressing Legal Requirements in
218 Requirements Engineering
Addressing privacy requirements in system
219 design: the PriS method
Analyzing Goal Semantics for Rights,
220 Permissions, and Obligations
Analyzing Regulatory Rules for Privacy and
221 Security Requirements
Architecting and Managing Virtual Learning
Networks: A Business Process-orientated
222 Approach to Legal Compliance
Business Process Design as the Basis for
Compliance Management, Enterprise
223 Architecture and Business Rules
224
225
Commitment analysis to operationalize software
226 requirements from privacy policie
Comparative analysis between document-based
and model-based compliance management
227 approaches
Compliance analysis based on a goal-oriented
228 requirement language evaluation methodology
229
Compliance aware business process design
Compliance in e-Government Service
230 Engineering: State-of-the-Art
Compliance Requirements for Business-process
231 driven SOAs
Compliant Business Process Design Using
232 Refinement Layers
Complying with Law for RE in the Automotive
233 Domain
Designing Compliant Business Processes with
234 Obligations and Permissions
Designing Law-Compliant Software
235 Requirements
Developing Production Rule Models to Aid in
236 Acquiring Requirements from Legal Texts
Early Studies in Acquiring Evidentiary, Reusable
237 Business Process Models for Legal Compliance
Emerging Challenges in Information Systems
Research for Regulatory Compliance
238 Management
239
Establishing Regulatory Compliance for
Information System Requirements: An
Experience Report from the Health Care Domain
Evaluating existing security and privacy
240 requirements for legal compliance
Exercising Due Diligence in Legal Requirements
Acquisition: A Tool-supported, Frame-Based
241 Approach
Exploring the Effectiveness of Normative i*
Modelling: Results from a Case Study on Food
242 Chain Traceability
243
From laws to requirements
Hints on how to face business process
244 compliance
Identifying Commitment-based Requirements to
245 Thwart Unfair and Deceptive Practices
Industry trends in business process
246 management: getting ready for prime time
Study 6
2008
R. Lu, S. Sadiq and G.
Governatori
Study 6
2010
Slim Turki, Marija BjekovicObradovic
Study 6
2008
M. P. Papazoglou
Study 6
2010
D. Schleicher, T. Anstett, F.
Leymann and D. Schumm
Study 6
2008
B. Penzenstadler and J. Leuser
Study 6
2006
S. Goedertier and J. Vanthienen
Study 6
2009
A. Siena, J. Mylopoulos, A. Perini
and A. Susi
Study 6
2009
J. C. Maxwell and A. I. Antón
Study 6
2009
T. D. Breaux and C. Powers
Study 6
2010
N. S. Abdullah, S. Sadiq and M.
Indulska
Study 6
2010
A. Siena, G. Armellin, G. Mameli,
J. Mylopoulos, A. Perini and A.
Susi
Study 6
2010
A. Massey, P. Otto, L. Hayward,
and A. I. Antón
Study 6
2009
T. D. Breaux
Study 6
2008
A. Siena, N. Maiden, J. Lockerbie,
K. Karlsen, A. Perini and A. Susi
Study 6
2008
A. Siena, J. Mylopoulos, A. Perini
and A. Susi
Study 6
2010
C. Cabanillasa, M. Resinas, and A.
Ruiz-Cortés
Study 6
2010
J. D. Young and A. I. Antón
Study 6
2005
F. Casati
Integrating business strategies with requirement
models of legal compliance
247
248 Law, Logic and Business Processes
249 Law, Metadata and Semantics
Legal compliance by design: technical solutions
250 for future distributed electronic markets
251 Legal Compliant Business Processes
Legal Patterns Implement Trust in IT
Requirements: When Legal Means are the
252 "Best" Implementation of IT Technical Goals
Legally “Reasonable” Security Requirements: A
253 10-year FTC Retrospective
Leveraging Goal Models and Performance
Indicators to Assess Health Care Information
254 Systems
255
Making Business Processes Law Compliant
Managing Legal Texts in Requirements
256 Engineering
Managing the Alignment between Business and
Software Services Requirements from a
257 Capability Model Perspective
258
Mining and analysing security goal models in
health information systems
Model Based IT-Governance Compliance
259 Analysis
Modeling and Analysis of Laws using BPR and
260 Goal-Oriented Framework
Modeling, analyzing and weaving legal
interpretations in goaloriented requirements
261 engineering
262
Modelling security goals in business processes
On the identification of data related compliance
263 problems in business processes
On the Risk Management and Auditing of SOA
264 Based Business Processes
Study 6
2010
Study 6
Study 6
2010
2010
Study 6
2008
S. Ghanavati, A. Siena, D. Amyot,
A. Perini, L. Peyton, and A. Susi
G. Governatori
G. Governatori
M. Conrad, O. Waldhorst, O.
Raabe, C. Funk
Study 6
Study 6
2009
A. Krausova, F. Massacci and A.
Saidane
Study 6
2010
T. D. Breaux and D. L. Baumer
Study 6
2010
C. Kuziemsky, X. Liu and L.
Peyton
Study 6
2010
S. Ghanavati, A. Siena, D. Amyot,
A. Susi, and A. Perini
Study 6
2009
P. N. Otto and A. I. Antón
Study 6
2008
E. Grandry, E. Dubois, M. Picard
and A. Rifaut
Study 6
2009
J. H. Weber-Jahnke and A.
Onabajo
Study 6
2009
J. Helge Deutscher and C. Felden
Study 6
2010
A. Villafiorita, K. Weldemariam,
A. Susi and A. Siena
Study 6
2009
F. Ishikawa, R. Inoue and S.
Honiden
Study 6
2008
C. Wolter, M. Menzel and C.
Meinel
Study 6
2010
C. Cabanillas, M. Resina and A.
Ruiz-Cortes
Study 6
2008
B. Orriens, H. Willem-Jan v/d and
M. Papazoglou
On the use of the Goal-Oriented Paradigm for
System Design and Law Compliance Reasoning.
Study 6
2010
Mirko Mor , Luca Sabatucci ,
Alberto Siena , John Mylopoulos
, Anna Perini , Angelo Susi
Study 6
2008
H. Halas, J. Porekar and T.
Klobučar
Study 6
2009
V. M. Garcia-Barrios, A.
Hemmelmayr and H. Leitner
Study 6
2010
K. Decreus, G. Poels, M. El
Kharbili and E. Pulvermueller
Study 6
2006
P. Pinder
Study 6
2009
A. K. Massey, P. N. Otto and A. I.
Antón
Study 6
2010
A. Hamou-Lhadj
Study 6
2009
Anne Cleven and Robert Winter
Study 6
2008
W. Hassan and L. Logrippo
Study 6
2010
K. Beckers and J. Jürjens
Study 6
2009
M. El Kharbili
Study 6
2008
P. L. Miseldine, U. Flegel and A.
Schaad
Study 6
2008
M. Saeki and H. Kaiya
Study 6
2006
R. Agrawal, C. Johnson, J. Kiernan
and F. Leymann
Study 6
2007
A. Hamou-Lhadj and HamouLhadj, A.
Study 6
2010
S. Ghanavati, D. Amyot, A.
Siena, A. Susi, A. Perini and F. B.
Kessle
Study 6
2009
A. Siena, A. Perini, A. Susi and J.
Mylopoulos
265
Organizational aspect of trusted legally valid
266 long-term electronic archive solution
Personalized systems need adaptable privacy
statements!: How to make privacy-related legal
267 aspects usable and retraceable
Policy-enabled goal-oriented requirements
engineering for semantic business process
268 management
Preparing information security f or legal an d
regulatory compl ian ce (Sarbanes-Oxley and
269 Basel II)
270
Prioritizing Legal Requirements
Regulatory Compliance and its Impact on
271 Software Development
Regulatory compliance in information systems
research - Literature analysis and research
272 agenda
Requirements and compliance in legal systems:
273 A logic approach
274 Security and Compliance in Clouds
Semantic Compliance Management in Business
275 Process Management
Supporting Evidence-Based Compliance
Evaluation for Partial Business Process
276 Outsourcing Scenarios
Supporting the Elicitation of Requirements
277 Compliant with Regulations
Taming Compliance with Sarbanes-Oxley
278 Internal Controls Using Database Technology
Towards a compliance support framework for
279 global software companies
280
Towards a Framework for Business Process
Compliance
Towards a framework for law-compliant
281 software requirements
Towards a framework for semantic business
282 process compliance management
Towards a framework for tracking legal
283 compliance in healthcare
Towards a Framework to Elicit and Manage
Security and Privacy Requirements from Laws
284 and Regulations
Towards a Law Modeling Framework to Support
285 Law-Making via BPR
Towards legal programming: The incorporation
of legal criteria in software agent design-Current
286 proposals and future prospects
Towards Regulatory Compliance: Extracting
Rights and Obligations to Align Requirements
287 with Regulations
Towards secure legally valid long-term electronic
288 archive using pattern approach
User-centric Privacy Framework: Integrating
Legal, Technological and Human Aspects into
289 User-Adapting Systems
Using Goal-Oriented Requirements Engineering
for Improving the Quality of ISO/IEC 15504
based Compliance Assessment Frameworks
290
291 Validating Compliance with Privacy Legislation
292
Validating Existing Requirements for Compliance
with Law Using a Production Rule Model
Why Eliciting and Managing Legal Requirements
293 Is Hard
A Compliance Management Framework For
294 Business Process Models
A Framework for Organisational Control
295 Principles
A Model-checking Approach to Analysing
Organisational Controls in a Loan Origination
296 Process
A Rule-Based Framework Using Role Patterns for
297 Business Process Compliance
A Semantic Framework for Compliance
298 Management in Business Process Management
Study 6
2008
M. E. Kharbili, S. Stein, I.
Markovic and E. Pulvermuller
Study 6
2007
S. Ghanavati, D. Amyot and L.
Peyton
Study 6
2010
S. Islam, H. Mouratidis and S.
Wagner
Study 6
2010
C. Aaron and V. Adolfo
Study 6
2004
B. Subirana and M. Bain
Study 6
2006
T.D. Breaux, M.W. Vail, A.I.
Antón.
Study 6
2008
H, Halas, J. Porekar, T. Klobučar
and A. J. Blažič
Study 6
2009
V. M. Garcia-Barrios
Study 6
2008
A. Rifaut and E. Dubois
Study 6
2008
W. Hassan and L. Logrippo
Study 6
2009
Jeremy C. Maxwell and Annie I.
Antón
Study 6
2008
N. Kiyavitskaya, A. Krausova and
N. Zannone
Study 7
2010
A. M. Awad
Study 7
2002
A. Schaad and J. D. Moffett
Study 7
2006
A. Schaad, V. Lotz and K. Sohr
Study 7
2008
A. Kumar and R. Liu
Study 7
2009
M. Elkharbili and E.
Pulvermüller
A static compliance-checking framework for
299 business process models
300 Auditing Business Process Compliance
Checking Correctness of Business Contracts via
301 Commitments
Study 7
2007
Y. Liu, S. Muller and K. Xu
Study 7
2007
Study 7
2008
A. Ghose and G. Koliadis
N. Desai, N. C. Narendra and M.
P. Singh
Study 7
2008
W. M. P. Van der Aalst, M.
Dumas, C. Ouyang, A. Rozinat
and R. Verbeek
Study 7
2008
M. Baldoni, C. Baroglio, I.
Brunkhorst, N. Henze, E.
Marengo and V. Patti
Study 7
2008
M. Pesic
Study 7
2005
Guido Governatori, Zoran
Milosevic
Study 7
2006
S. Goedertier and J. Vanthienen
Study 7
2009
N. Kokash and F. Arbab
Study 7
2007
J. M. Kuster, K. Ryndina and H.
Gall
Study 7
2010
D. Schumm, F. Leymann, Z. Ma,
T. Scheibler and S. Strauch
Study 7
2008
K. Namiri
Study 7
2009
L. T. Ly, S. Rinderle-Ma, K. Göser
and P. Dadam
Study 7
2007
R. Schmidt, C. Bartsch and R.
Oberhauser
Study 7
2006
J. Yu, T. P. Manh, J. Han, Y. Jin, Y.
Han and J. Wang
Process Compliance Measurement Based on
Behavioural Profiles
Study 7
2011
M. Weidlich, A. Polyvyanyy, N.
Desai, J. Mendling and M. Weske
Process Modelling: The Deontic Way
Study 7
2006
V. Padmanabhan, G.
Governatori, S. Sadiq, R. Colomb
and A. Rotolo
Study 7
2005
C. Giblin, A. Y. Liu, S. Müller, B.
Pfitzmann and X. Zhou
Conformance Checking of Service Behavior
302
303
Constraint Modeling for Curriculum Planning
and Validation
Constraint-based workflow management
304 systems: Shifting controls to users
Dealing with contract violations: formalism and
305 domain specific language∗
Designing Compliant Business Processes with
306 Obligations and Permissions
Formal Behavioral Modeling and Compliance
307 Analysis for Service-Oriented Systems
Generation of Business Process Models for
308 Object Life Cycle Compliance
Integrating Compliance into Business Processes
Process Fragments as Reusable Compliance
309 Controls
Model-Driven Management of Internal Controls
310 for Business Process Compliance
On enabling integrated process compliance with
semantic constraints in process management
311 systems
Ontology-based representation of compliance
312 requirements for service processes
Pattern Based Property Specification and
313 Verification for Service Composition
314
315
Regulations Expressed As Logical Models
316 (REALM)
317
Root-Cause Analysis of Design-Time Compliance
Violations on the Basis of Property Patterns
Rules and Ontology in Compliance
318 Management
Security Validation of Business Processes via
319 Model-checking
Semantic methods for execution level business
320 modeling
State-of-the-art in the field of compliance
321 languages
Taming Compliance with Sarbanes-Oxley
322 Internal Controls Using Database Technology
Task-Based Entailment Constraints for Basic
323 Workflow Patterns
Towards a framework for business process
324 compliance
325
Verification of Business Process Quality
Constraints Based on Visual Process Patterns
A Compliance Management Framework for
326 Business Process Models
A Conceptually Rich Model of Business Process
327 Compliance
A Formal Analysis of a Business Contract
328 Language
A Rule-Based Framework Using Role Patterns
329 for Business Process Compliance
A Static Compliance-Checking Framework for
330 Business Process Models
Activity Diagram Patterns for Modeling Quality
331 Constraints in Business Processes
An Approach to Capture Authorisation
332 Requirements in Business Processes
333 Auditing Business Process Compliance
Automated Certification for Compliant Cloud334 Based Business Processes
Automatic Verification of Data-Centric Business
335 Processes,
BPMN-Q: A Language to Query Business
336 Processes
Study 7
2010
A. Elgammal , O. Turetken, W.
Jan van den Heuvel and M.
Papazoglou
Study 7
2007
F. Yip, A. K. Y. Wong, N.
Parameswaran and P. Ray
Study 7
2011
W. Arsac, L. Compagna, G.
Pellegrino and S. E. Ponta
Study 7
2009
I. Webe
Study 7
2008
Tilburg University
Study 7
2006
R. Agrawal, C. Johnson, J.
Kiernan and F. Leymann
Study 7
2008
C. Wolter, A. Schaad and C.
Meinel
Study 7
2010
S. Ghanavati, A. Siena, D. Amyot,
A. Susi, and A. Perini
Study 7
2007
A. Forster, G. Engels, T.
Schattkowsky and R. Van Der
Straeten
Study 8
2010
A. M. Awad
Study 8
2010
G. Governatori and A. Rotolo
Study 8
2006
G. Governatori and Z. Milosevic
Study 8
2008
A. Kumar and R. Liu
Study 8
2007
Y. Liu, S. Muller and K. Xu
Study 8
2005
A. Foerster, G. Engels and T.
Schattkowsky
Study 8
2010
C. Wolter and C. Meinel
Study 8
2007
A. Ghose and G. Koliadis
Study 8
2011
R. Accorsi, L. Lowis and Y. Sato
Study 8
2011
A. Deutsch, R. Hull, F. Patrizi and
V. Vianu
Study 8
2007
A. M. Awad
Business Process Compliance Through Reusable
Units of Compliant Processes
Study 8
2010
D. Schumm, O. Turetken, N.
Kokash, A. Elgammal, F.
Leymann and W. Jan van den
Heuvel
Study 8
2008
R. Woerzberger, T. Kurpick and T.
Heer
Study 8
2008
R. Lu, S. Sadiq and G.
Governatori
Study 8
2006
G. Governatori, Z. Milosevic and
S. Sadiq
Study 8
2008
L. T. Ly,K. Göser, K, S.RinderleMa and P. Dadam
Study 8
2010
Study 8
2011
Study 8
2009
Study 8
2010
L. T Ly,S. Tinderle-Ma and P.
Dadam
Study 8
2006
S. Goedertier and J. Vanthienen
Study 8
2008
A. Awad, G. Decker and M.
Weske
Study 8
2009
N. Kokash and F. Arbab
Study 8
2007
J. M. Kuster, K. Ryndina and H.
Gall
Study 8
2010
N. Lohmann and K. Wolf
Study 8
2008
L. T. Ly, S. Rinderle-Ma and P.
Dadam
Study 8
2008
R. Lu, S. Sadiq and G.
Governatori
Study 8
2007
S. Shazia, G. Governatori and K.
Namiri
Study 8
2012
J. Hoffmann, I. Weber and G.
Governatori
Study 8
2008
R. Woerzberger, T. Kurpick and T.
Heer
337
Checking Correctness and Compliance of
338 Integrated Process Models,
339
Compliance Aware Business Process Design,
Compliance Checking Between Business
340 Processes and Business Contracts
Compliance of Semantic Constraints: A
Requirements Analysis for Process
341 Management Systems
Compliant Business Process Design Using
342 Refinement Layers,
343 Constraint- Centric Workflow Change Analytics
Data-Flow Anti-Patterns: Discovering Dataflow
344 Errors in Workflows
Design and verification of instantiable
compliance rule graphs in process-aware
345 information systems
Designing Compliant Business Processes With
346 Obligations and Permissions
Efficient Compliance Checking Using BPMN-Q
347 and Temporal Logic
Formal Behavioral Modeling and Compliance
348 Analysis for Service- Oriented Systems
Generation of Business Process Models for
349 Object Life Cycle Compliance
How to Implement a Theory of Correctnessin the
350 Area of Business Processes and Services
Integration and verification of semantic
constraints in adaptive process management
351 systems
Measurement of Compliance Distance in
352 Business Processes
Modeling Control Objectives for Business
353 Process Compliance
On Compliance Checking for Clausal Constraints
354 in Annotated Process Models
On Correctness, Compliance and Consistency of
355 Process Models
D. Schleicher, T. Anstett, F.
Leymann and D. Schumm
H. J. Wang and J. Leon Zhao
T. Nikola, W. van der Aalst and N.
Sidorova
On Enabling Data- Aware Compliance Checking
356 of Business Process Models
On Enabling Integrated Process Compliance
357 With Semantic Constraints
Pattern-Based Modeling and Formalizing of
358 Business Process Quality Constraints
Resolution of Compliance Violation in Business
359 Process Models: A Planning-Based Approach
360
Root-Cause Analysis of Design-Time Compliance
Violations on the Basis of Property Patterns
Semantic Correctness in Adaptive
361 ProcessManagement Systems
Symbolic Model Checking of UML Activity
362 Diagrams,
Tool Support for Verifying UML Activity
363 Diagrams
Towards Resolving Compliance Violations in
364 Business Process Models
Towards Using Reo for Compliance365 AwareBusiness Process Modeling
366 Transforming BPEL to Petri Nets
trukturbasierte Verifikation von BPMN367 Modellen
Verification of Business Process Entailment
368 Constraints Using SPIN
369
Verification of Business Process Quality
Constraints Based on Visual Process Patterns
Verifying BPEL Workflows Under Authorisation
370 Constraints
371
Verifying Business Rules Using an SMT Solver for
BPEL Processes,
Visualization of Compliance Violation in Business
372 Process Models
Visualization of Compliance Violation Using Anti373 Patterns, BPT Technical Report,
A Method for Security Governance, Risk, and
374 Compliance (GRC): A Goal-Process Approach
A rule-based framework using role patterns for
375 business process compliance
Study 8
2010
D. Knuplesch, L. Ly, S. RinderleMa, H. Pfeifer and P. Dadam
Study 8
2009
L. T. Ly, S. Rinderle-Ma, K. Göser
and P. Dadam
Study 8
2011
L. Khaluf, C. Gerth, and G. Engels
Study 8
2009
A. Awad, S. Smirnov and M.
Weske
Study 8
2010
A. Elgammal , O. Turetken, W.
Jan van den Heuvel and M.
Papazoglou
Study 8
2006
L. T. Ly, S. Rinderle-Ma and P.
Dadam
Study 8
2006
R. Eshuis
Study 8
2004
R. Eshuis and R. Wieringa
Study 8
2009
A. Awad, S. Smirnov and M.
Weske
Study 8
2009
F. Arbab, N. Kokash and S. Meng
Study 8
2005
S. Hinz, K. Schmidt and C. Stahl
Study 8
2010
Mueller, Jens
Study 8
2009
C. Wolter, P. Miseldine and C.
Meinel
Study 8
2007
A. Forster, G. Engels, T.
Schattkowsky and R. Van Der
Straeten
Study 8
2006
Z. Xiangpeng, A. Cerone and P.
Krishnan
Study 8
2009
G. Monakova, O. Kopp, F.
Leymann, S. Moser and K.
Schäfers
Study 8
2010
A. Awad and M. Weske
Study 8
2009
A Awad and M. Weske
Study 9
2011
Y. Ansar and F. Massacci
Study 9
2008
Kumar, A. and Liu, R.
A static compliance-checking framework for
376 business process models
Achieving life-cycle compliance of ServiceOriented Architectures: Open issues and
377 challenges.
378
Activity-Oriented Clustering Techniques in Large
Process and Compliance Rule Repositories
Aligning risk management and compli-ance
considerations with business process
379 development
380
An Efficient Business Process Compliance
Checking Approach
An extensible framework for tracing model
381 evolution in SOA solution design
An integrated solution for runtime compliance
governance in SOA
Study 9
2007
Y. Liu, S. Muller and K. Xu
Study 9
2009
T. Scholte and E. Kirda
Study 9
2011
S. Rinderle-Ma, S. Kabicher and
L. T. Ly
Study 9
2009
Zoet, M., Welke, R., Versendaal,
J. and Ravesteyn, P
Study 9
2011
J. Becker, P. Bergener, D.
Breuker, P. Delfmann and M.
Eggert
Study 9
2009
Sindhgatta, R. and Sengupta, B
Study 9
2010
Birukou, A., D’Andrea, V.,
Leymann, F., Serafinski, J.,
Silveira, P., Strauch, S. and
Tluczek, M.
Study 9
2011
Awad, A., Goré, R., Thomson, J.
and Weidlich, M.
Study 9
2010
C. Rodríguez, P. Silveira, F.
Daniel, F. Casati
Study 9
2011
R. Dunkl and K. A. Froschl
Study 9
2007
A. Ghose and G. Koliadis
Study 9
2011
A. Martens, F. Curbera, N. K.
Mukhi and A. Slominski
Study 9
2012
Reichert, M. and Weber, B.
Study 9
2010
D. Schumm, O. Turetken, N.
Kokash, A. Elgammal, F. Leymann
and W. Jan van den Heuvel
Study 9
2011
Shamsaei, A., Pourshahid, A. and
Amyot, D.
Study 9
2009
Chesani, F., Mello, P., Montali,
M., Riguzzi, F., Sebastianis, M.
and Storari, S.
382
An iterative approach for business process
383 template synthesis from compliance rules
384
Analyzing compliance of service-based business
processes for root-cause analysis and prediction
Assessing Medical Treatment Compliance Based
385 on Formal Process Modeling
386 Auditing business process compliance
Business Control Management – A Discipline to
Ensure Regulatory Compliance of SOA
387 Applications
388 Business Process Compliance
Business process compliance through reusable
units of compliant processes
389
Business Process Compliance Tracking UsingKey
390 Performance Indicators
391
Checking compliance of execution traces to
business rules
392
Study 9
2008
R. Lu, S. Sadiq and G.
Governatori
Study 9
2013
Lohmann, N.
Study 9
2011
K. Julisch, C. Suter, T. Woitalla
and O. Zimmermann
Study 9
2012
D. Karagiannis, C. Moser and A.
Mostashari
Study 9
2012
J. Schlundt and S. Jablonski
Study 9
2012
A. M. Ghirana and V. P.
Bresfelean
Study 9
2010
A. Awad, M. Weidlich and M.
Weske
Study 9
2010
Ly, L.T., Rinderle-Ma, S. and
Dadam, P.
Study 9
2009
Governatori, G., Hoffmann, J.,
Sadiq, S. and Weber, I.
Study 9
2009
M. Saeki, H. Kaiya and S. Hattori
Study 9
2012
Mulo, E., Zdun, U. and Dustdar,
S.
Study 9
2009
Doganata, Y. and Curbera, F.
Study 9
2008
A. Awad, G. Decker and M.
Weske
Study 9
2010
A. Kumar, W. Yao, C-H. Chu and
Z. Li
ExPDT: A Policy-based Approach for Automating
Compliance (ExPDT: Ein Policy-basierter Ansatz
zur Automatisierung vonCompliance)
Study 9
2008
Sackmann, S. and Kähmer, M
Exploring Features of a Full-Coverage Integrated
Solution for Business Process Compliance
Study 9
2011
C. Cabanillas, M. Resinas and A.
Ruiz-Cortés
Study 9
2009
N. Kokash and F. Arbab
Study 9
2007
J. M. Kuster, K. Ryndina and H.
Gall
Compliance Aware Business Process Design
compliance by design for artifact-centric
393 business processes
Compliance by design–Bridging the chasm
394 between auditors and IT architects.
Compliance Evaluation Featuring Heat Maps (CE395 HM): A Meta-Modeling-Based Approach
Compliance oriented process management using
396 the example of clinical trials.
Compliance Requirements for Dealing with Risks
397 and Governance
398
Consistency Checking of Compliance Rules
Design and verification of instantiable
compliance rule graphs in process-aware
399 information systems
Detecting regulatory compliance for business
400 process models through semantic annotations
Detecting Regulatory Vulnerability in Functional
401 Requirements Specifications
Domain-specific language for event-based
402 compliance monitoring in process-driven SOAs
Effect of using automated auditing tools on
detecting compliance failures in unmanaged
403 processes
Efficient Compliance Checking Using BPMN-Q
404 and Temporal Logic
Ensuring compliance with semantic constraints
in process adaptation with rule-based event
405 processing
406
407
Formal behavioral modeling and compliance
408 analysis for serviceoriented systems.
Generation of business process models for
409 object life cycle compliance
410
Holistic Compliance with Sarbanes-Oxley
How Does SAP Deal with Riskand Compliance411 Related Topics?
Introducing a Mashup-Based Approach for
Design-Time Compliance Checking in Business
412 Processes
Maintaining compliance in customizable process
413 model
Making Compliance Measures Actionable: A
414 New Compliance Analysis Approach
Managing Regulatory Compliance in Business
415 Processes
Measuring the compliance of processes with
416 reference models
Model-aware Monitoring of SOAs for
417 Compliance
Modeling and Analysis of Business Process
418 Compliance
Modeling and Validation of Business Process
419 Families
Modeling control objectives for business
420 process compliance
Monitoring business process compliance using
421 compliance rule graphs.
On Analyzing Process Compliance in Skin Cancer
Treatment: An Experience Report from the
Evidence-Based Medical Compliance Cluster
(EBMC2)
Study 9
2004
Volonino, L., Gessner, G.H. and
Kermis, G.F.
Study 9
2013
M. Chuprunov
Study 9
2012
C. Cabanillas, M. Resinas and A.
Ruiz-Cortés
Study 9
2009
Schleicher, D., Anstett, T.,
Leymann, F. and Mietzner, R.
Study 9
2012
N. Damer, M. J. Jans, B. Depaire
and K. Vanhoof
Study 9
2010
Sadiq, S. and Governatori
Study 9
2009
Gerke, K., Cardoso, J. and Claus,
A.
Study 9
2011
E. Mulo, U. Zdun and S. Dustdar
Study 9
2011
J. Becker, C. Ahrendt, A. Coners,
B. Weiß and A. Winkelmann
Study 9
2013
G. Gröner, M. Bosković, F. S.
Parreiras and D. Gasević
Study 9
2007
S. W. Sadiq, G. Governatori and
K. Namiri
Study 9
2011
Ly, L.T., Rinderle-Ma, S.,
Knuplesch, D. and Dadam, P.
Study 9
2012
M. Binder, W. Dorda, G.
Duftschmid, R. Dunkl, K. A.
Froschl, W. Gall, W. Grossmann,
K. Harmankaya, M. Hronsky, S.
Rinderle-Ma, C. Rinner and S.
Weber
Study 9
2009
J. Hoffmann, I. Weber and G.
Governatori
Study 9
2010
D. Knuplesch, L. Ly, S. RinderleMa, H. Pfeifer and P. Dadam
Study 9
2009
L. T. Ly, S. Rinderle-Ma, K. Göser
and P. Dadam
Study 9
2009
P. Silveira, C. Rodriguez, F.
Casati, F Daniel, V. D’Andrea, C.
Worledge, and Z. Taheri
422
On compliance checking for clausal constraints
423 in annotated process models
On enabling data-aware compliance checking
424 of business process models
On enabling integrated process compliance
with semantic constraints in process
management systems: Requirements,
425 challenges, solutions
On the Design of Compliance Governance
Dashboards for Effective Compliance and Audit
426 Management
427
Study 9
2011
Elgammal, A., Turetken, O., van
den Heuvel, W.-J. and
Papazoglou, M.
Study 9
2012
K. Puksta and P. Laurins
Study 9
2007
Namiri, K. and Stojanovic, N.
POWER: using UML/OCL for modeling
legislation-an application report
Study 9
2001
Van Engers, T.M., Gerrits, R.,
Boekenoogen, M., Glassée, E.
and Kordelaar, P.
Process compliance analysis based on
behavioural profiles
Study 9
2011
M. Weidlich, A. Polyvyanyy, N.
Desai, J. Mendling and W. Weske
Process compliance measurementbased on
behavioural profiles
Study 9
2010
M. Weidlich, A. Polyvyanyy, N.
Desai, J. Mendling and M. Weske
Study 9
2010
Schumm, D., Leymann, F. and
Streule, A.
Public process management: a method for
introducing standard business reporting
Study 9
2011
J. Hulstijn, R. van Wijk, N. de
Winne, N. Bharosa, M. Janssen,
Y. H. Tan
Requirements interaction management
Study 9
2003
Robinson, W.N., Pawlowski, S.D.
and Volkov, V.
Study 9
2009
A. Awad, S. Smirnov and M.
Weske
Study 9
2012
K-Y. Teng, S. A. Thekdi and J. H
Lambert
Study 9
2010
A. Elgammal , O. Turetken, W.
Jan van den Heuvel and M.
Papazoglou
Study 9
2011
Ly, L.T., Knuplesch, D., RinderleMa, S., Göser, K., Pfeifer, H.,
Reichert, M. and Dadam, P.
Study 9
2011
W. Arsac, L. Compagna, G.
Pellegrino and S. E. Ponta
Study 9
2011
W. Arsac, L. Compagna, G.
Pellegrino and S. E. Ponta
Study 9
2011
A. Gabdulkhakova, B. König-Ries,
N. S. Abdullah
On the formal specification of regulatory
compliance: a comparative analysis
Outsourcing Document Management
System/Application as Key Factor for Compliant
Process Implementation and Increasing
428 Management Efficiency
Pattern-based design and validation of business
429 process compliance
430
431
432
Process views to support compliance
433 managementin business processes
434
435
Resolution of compliance violation in business
436 process models: A planning-based approach
Risk and Safety Program Performance Evaluation
437 and Business Process Modeling
438
439
Root-cause analysis of design-time compliance
violations on the basis of property patterns
SeaFlows Toolset–compliance verification made
easy for process-aware information systems
Security validation of business processes via
440 model-checking
Security validation of business processes via
441 model-checking
Semantic Representation of Process and Service
Compliance–A Case Study in Emergency
442 Planning
Separating Compliance Management and
443 BusinessProcess Management
Service Contract Compliance Management in
444 Business Process Management
Specification, verification and explanation of
445 violation for data aware compliance rules
Toward Compliant Performance-Increased
regulatory and legal requirements have
intensified the focus on internal controls and
446 compliance.
Towards a framework for tracking legal
447 compliance in healthcare
Towards a method for business process and
448 informal business rules compliance
Towards an Integration of GRC and BPM –
Requirements Changes for Compliance
Management Caused by Externally Induced
449 Complexity Drivers
Towards using reo for compliance-aware
450 business process modeling
Using control patterns in business processes
451 compliance
Using Patterns for the Analysis and Resolution of
452 Compliance Violations
Using protocols and domain specific languages
to achieve compliance of administrative
453 processes with legislation
454
Verifying business process compliance by
reasoning about actions
Visualization of Compliance Violation in
455 Business Process Models
Visually specifying compliance rules and
explaining their violations for business
456 processes.
Where did i misbehave? Diagnostic information
457 in compliance checking
Study 9
2012
Ramezani, E., Fahland, D., van
der Werf, J.M. and Mattheis, P.
Study 9
2010
M. El Kharbili and E.
Pulvermueller
Study 9
2009
Awad, A., Weidlich, M. and
Weske, M.
Study 9
2007
B. D. Downing and A. Spanyi
Study 9
2007
S. Ghanavati, D. Amyot and L.
Peyton
Study 9
2011
A. De Nicola, M. Missikoff and F
Smith
Study 9
2012
T. Schäfer, P. Fettke, P. Loos
Study 9
2009
F. Arbab, N. Kokash and S. Meng
Study 9
2007
Namiri, K. and Stojanovic, N.
Study 9
2012
A. Elgammal, O. Turetken, W. J.
Van Den Heuvel
Study 9
2011
S. Nesvsković, O. Paunović and S.
Babarogić
Study 9
2010
D’Aprile, D., Giordano, L., Gliozzi,
V., Martelli, A., Pozzato, G.L. and
Dupré, D.T.
Study 9
2010
A. Awad and M. Weske
Study 9
2011
Awad, A., Weidlich, M. and
Weske, M.
Study 9
2012
Ramezani, E., Fahland, D. and
van der Aalst, W.M