A static compliance-checking framework for business process models
Study 3
|
2007
|
Y. Liu, S. Muller, and K. Xu,
|
138
|
A unified behavioural model and a contract language for extended enterprise
|
Study 3
|
2004
|
J. Cole, S. Gibson, S. Kulkarni, P. F. Linington, Z. Milosevic and S. Neal
|
139
|
Auditing business process compliance
|
Study 3
|
2007
|
A. Ghose and G. Koliadis
|
140
|
Automata-Based Verification of Temporal Properties on Running Programs
|
Study 3
|
2001
|
D. Giannakopoulou and K. Havelund
|
141
|
Compliance Checking Between Business Processes and Business Contracts
|
Study 3
|
2006
|
G. Governatori, Z. Milosevic and S. Sadiq
|
142
|
Conformance Checking of Processes Based on Monitoring Real Behavior
|
Study 3
|
2007
|
A. Rozinat and W.M.P. van der Aalst
|
143
|
Constraint-Based Workflow Models: Change Made Easy
|
Study 3
|
2007
|
M. Pesic, M.H. Schonenberg, N. Sidorova and W.M.P. van der Aalst
|
144
|
Dealing with contract violations: formalism and domain specific language∗
|
Study 3
|
2005
|
Guido Governatori, Zoran Milosevic
|
145
|
Expressing and Verifying Business Contracts with Abductive Logic Programming
|
Study 3
|
2008
|
M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali and P. Torroni
|
146
|
Modeling and Verifying Workflow-based Regulations
|
Study 3
|
2006
|
W. Rossak, D. Foetsch and E. Pulvermueller
|
147
|
Modeling control objectives for business process compliance
|
Study 3
|
2007
|
S. Shazia, G. Governatori and K. Namiri
|
148
|
Ontology-Based Representation of Ccompliance Requirements for Service Processes
|
Study 3
|
2007
|
R. Schmidt, C. Bartsch and R. Christian Bartsch
|
149
|
Pattern-based design and validation of business process compliance
|
Study 3
|
2007
|
Namiri, K. and Stojanovic, N.
|
150
|
Process anti-patterns: How to avoid the common traps of business process modeling
|
Study 3
|
2007
|
J. Vanhatalo and J. Koehler
|
151
|
Process Mining and Verification of Properties: An Approach Based on Temporal Logic
|
Study 3
|
2005
|
W.M.P. van der Aalst, H.T. de Beer and B.F. van Dongen
|
152
|
Process Modelling: The Deontic Way
|
Study 3
|
2006
|
V. Padmanabhan, G. Governatori, S. Sadiq, R. Colomb and A. Rotolo
|
153
|
Rules and Ontology in Compliance Management
|
Study 3
|
2007
|
F. Yip, A. K. Y. Wong, N. Parameswaran and P. Ray
|
154
|
Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic
|
Study 3
|
2007
|
F. Chesani, P. Mello, M. Montali and S. Storari
|
155
|
The polyadic pi-calculus: a tutorial
|
Study 3
|
1991
|
R. Milner
|
156
|
Towards a formal framework for business process compliance
|
Study 3
|
2008
|
K. Namiri and N. Stojanovic
|
157
|
Towards a methodology for deriving contract-compliant business processes
|
Study 3
|
2006
|
Zoran Milosevic, Shazia Sadiq and Maria Orlowska
|
158
|
Towards Integrating Business Policies with Business Processes
|
Study 3
|
2005
|
Z. Milosevic
|
159
|
A Business Process-Based Modelling Extension for Regulatory Compliance
|
Study 4
|
2008
|
D. Karagiannis
|
160
|
A Requirements Management Framework for Privacy Compliance
|
Study 4
|
2007
|
S. Ghanavati, D. Amyot and L. Peyton
|
161
|
Analyzing Regulatory Rules for Privacy and Security Requirements
|
Study 4
|
2008
|
T. D. Breaux and A. I. Antón
|
162
|
Annotating regulations using Cerno: An application to Italian documents.
|
Study 4
|
2008
|
N. Zeni, N. Kiyavistkaya, J. R. Cloudy, L. Mich and J. Mylopulos
|
163
|
|
Study 4
|
2003
|
M. Palmirani, R. Brighi and M. Massini
|
164
|
|
Study 4
|
2005
|
C. Biagioli, E. Francesconi, A. Passerini, S. Montemagni, and C. Soria
|
165
|
Business Process-Based Regulation Compliance: The Case of the Sarbanes-Oxley Act
|
Study 4
|
2007
|
D. Karagiannis, J. Mylopoulos and M. Schwab
|
166
|
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
|
167
|
Goal-Driven Requirements Engineering for Supporting the ISO 15504 Assessment Process
|
Study 4
|
2005
|
A. Rifaut
|
168
|
Legal Requirements, Compliance and Practice: An Industry Case Study in Accessibility
|
Study 4
|
2008
|
T. D. Breaux, A. I. Antón, K. Boucher and M. Dorfman
|
169
|
Modeling Security Requirements Through Ownership, Permission and Delegation
|
Study 4
|
2005
|
P. Giorgini, F. Massacci, J. Mylopoulos and N. Zannone
|
170
|
Security and Trust Requirements Engineering
|
Study 4
|
2005
|
P. Giorgini, F. Massacci and N. Zannone
|
171
|
Towards a Framework for Semantic Business Process Compliance Management
|
Study 4
|
2008
|
M. El Kharbili, S. Stein, I. Markovic and E. Pulvermüller
|
172
|
Towards a Framework for Tracking Legal Compliance in Healthcare
|
Study 4
|
2007
|
S. Ghanavati, D. Amyot and L. Peyton
|
173
|
Towards Regulatory Compliance: Extracting Rights and Obligations to Align Requirements with Regulations
|
Study 4
|
2006
|
T. D. Breaux, M. W. Vail and A. I. Antón
|
174
|
A Business Process-Based Modelling Extension for Regulatory Compliance
|
Study 5
|
2008
|
D. Karagiannis
|
175
|
A Compliance Framework for Business Processes Based on URN
|
Study 5
|
2007
|
Ghanavati, S.:
|
176
|
A Goal-Oriented Approach for Workflow 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
|
178
|
An algorithm for the appraisal of assurance indicators for complex business processes.
|
Study 5
|
2010
|
F. Massacci and A. Yautsiukhin
|
179
|
An aspect-oriented framework for business process improvement
|
Study 5
|
2009
|
A. Pourshahid, G. Mussbacher, D. Amyot, M. Weiss
|
180
|
An ontological knowledge framework for adaptive medical workflow
|
Study 5
|
2008
|
J. Dang, A. Hedayati, K. Hampel and C. Toklu
|
181
|
Analyzing compliance of service-based business processes for root-cause analysis and prediction.
|
Study 5
|
2010
|
C. Rodríguez, P. Silveira, F. Daniel and F.Casati
|
182
|
Approximate compliance checking for annotated process models
|
Study 5
|
2008
|
I. Weber, G. Governatori and J. Hoffmann
|
183
|
Assessing Scrum-based software development process measurement from COBIT perspective.
|
Study 5
|
2008
|
V. Mahnic and N. Zabkar
|
184
|
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
|
185
|
Business Process-Based Regulation Compliance: The Case of the Sarbanes-Oxley Act
|
Study 5
|
2007
|
D. Karagiannis, J. Mylopoulos and M. Schwab
|
186
|
Compliance of Semantic Constraints A Requirements Analysis for Process Management Systems
|
Study 5
|
2008
|
L. T. Ly,K. Göser, K, S.Rinderle-Ma and P. Dadam
|
187
|
Cost-Benefits Trade-Off Analysis of an ISM Based on ISO 27001
|
Study 5
|
2009
|
Boehmer, W.
|
188
|
Dealing With Imprecise Compliance Requirements
|
Study 5
|
2009
|
E. Morrison, A. Ghose and G. Koliadis
|
189
|
Goal-driven development of a patient surveillance application for improving patient safety
|
Study 5
|
2009
|
A. S. Behnam, D. Amyot, A. J Forster, L. Peyton and A Shamsaei
|
190
|
IT audit in accordance with Cobit standard
|
Study 5
|
2010
|
D. Radovanovi, T. Radojevi, D. Lui and M. Šarac Si
|
191
|
Managed Business Artifacts
|
Study 5
|
2008
|
A. Nigam, J. Jeng, T. Chao and H. Chang
|
192
|
Measurement of Compliance Distance in Business Processes.
|
Study 5
|
2008
|
R. Lu, S. Sadiq and G. Governatori
|
193
|
Modeling control objectives for business process compliance
|
Study 5
|
2007
|
S. W. Sadiq, G. Governatori and K. Namiri
|
194
|
On the design of Compliance Governance Dashboards for Effective Compliance and Audit Management.
|
Study 5
|
2009
|
P. Silveira, C. Rodriguez, F. Casati, F Daniel, V. D’Andrea, C. Worledge, and Z. Taheri
|
195
|
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
|
196
|
Policy-Based Semantic Compliance Checking for Business Process Management
|
Study 5
|
2008
|
M. E. Kharbili and S. Stein
|
197
|
Satisfaction of control objectives by control processes.
|
Study 5
|
2009
|
D. Marino, F. Massacci, A. Micheletti, N. Rassadko and S. Neuhaus
|
198
|
|
