Primary Studies (From Systematic Literature Review)


A static compliance-checking framework for business process models



Download 0.98 Mb.
Page2/6
Date29.01.2017
Size0.98 Mb.
1   2   3   4   5   6

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

Automated Extraction of Normative References in Legal Texts

Study 4

2003

M. Palmirani, R. Brighi and M. Massini

164

Automatic Semantics Extraction in Law Documents

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

Download 0.98 Mb.

Share with your friends:
1   2   3   4   5   6




The database is protected by copyright ©ininet.org 2020
send message

    Main page