Primary Studies (From Systematic Literature Review)


R. Agrawal, C. Johnson, J. Kiernan and F. Leymann



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

2006

R. Agrawal, C. Johnson, J. Kiernan and F. Leymann

323

Task-Based Entailment Constraints for Basic Workflow Patterns

Study 7

2008

C. Wolter, A. Schaad and C. Meinel

324

Towards a framework for business process compliance

Study 7

2010

S. Ghanavati, A. Siena, D. Amyot, A. Susi, and A. Perini

325

Verification of Business Process Quality Constraints Based on Visual Process Patterns

Study 7

2007

A. Forster, G. Engels, T. Schattkowsky and R. Van Der Straeten

326

A Compliance Management Framework for Business Process Models

Study 8

2010

A. M. Awad

327

A Conceptually Rich Model of Business Process Compliance

Study 8

2010

G. Governatori and A. Rotolo

328

A Formal Analysis of a Business Contract Language

Study 8

2006

G. Governatori and Z. Milosevic

329

A Rule-Based Framework Using Role Patterns for Business Process Compliance

Study 8

2008

A. Kumar and R. Liu

330

A Static Compliance-Checking Framework for Business Process Models

Study 8

2007

Y. Liu, S. Muller and K. Xu

331

Activity Diagram Patterns for Modeling Quality Constraints in Business Processes

Study 8

2005

A. Foerster, G. Engels and T. Schattkowsky

332

An Approach to Capture Authorisation Requirements in Business Processes

Study 8

2010

C. Wolter and C. Meinel

333

Auditing Business Process Compliance

Study 8

2007

A. Ghose and G. Koliadis

334

Automated Certification for Compliant Cloud-Based Business Processes

Study 8

2011

R. Accorsi, L. Lowis and Y. Sato

335

Automatic Verification of Data-Centric Business Processes,

Study 8

2011

A. Deutsch, R. Hull, F. Patrizi and V. Vianu

336

BPMN-Q: A Language to Query Business Processes

Study 8

2007

A. M. Awad

337

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

338

Checking Correctness and Compliance of Integrated Process Models,

Study 8

2008

R. Woerzberger, T. Kurpick and T. Heer

339

Compliance Aware Business Process Design,

Study 8

2008

R. Lu, S. Sadiq and G. Governatori

340

Compliance Checking Between Business Processes and Business Contracts

Study 8

2006

G. Governatori, Z. Milosevic and S. Sadiq

341

Compliance of Semantic Constraints: A Requirements Analysis for Process Management Systems

Study 8

2008

L. T. Ly,K. Göser, K, S.Rinderle-Ma and P. Dadam

342

Compliant Business Process Design Using Refinement Layers,

Study 8

2010

D. Schleicher, T. Anstett, F. Leymann and D. Schumm

343

Constraint- Centric Workflow Change Analytics

Study 8

2011

H. J. Wang and J. Leon Zhao

344

Data-Flow Anti-Patterns: Discovering Dataflow Errors in Workflows

Study 8

2009

T. Nikola, W. van der Aalst and N. Sidorova

345

Design and verification of instantiable compliance rule graphs in process-aware information systems

Study 8

2010

L. T Ly,S. Tinderle-Ma and P. Dadam

346

Designing Compliant Business Processes With Obligations and Permissions

Study 8

2006

S. Goedertier and J. Vanthienen

347

Efficient Compliance Checking Using BPMN-Q and Temporal Logic

Study 8

2008

A. Awad, G. Decker and M. Weske

348

Formal Behavioral Modeling and Compliance Analysis for Service- Oriented Systems

Study 8

2009

N. Kokash and F. Arbab

349

Generation of Business Process Models for Object Life Cycle Compliance

Study 8

2007

J. M. Kuster, K. Ryndina and H. Gall

350

How to Implement a Theory of Correctnessin the Area of Business Processes and Services

Study 8

2010

N. Lohmann and K. Wolf

351

Integration and verification of semantic constraints in adaptive process management systems

Study 8

2008

L. T. Ly, S. Rinderle-Ma and P. Dadam

352

Measurement of Compliance Distance in Business Processes

Study 8

2008

R. Lu, S. Sadiq and G. Governatori

353

Modeling Control Objectives for Business Process Compliance

Study 8

2007

S. Shazia, G. Governatori and K. Namiri

354

On Compliance Checking for Clausal Constraints in Annotated Process Models

Study 8

2012

J. Hoffmann, I. Weber and G. Governatori

355

On Correctness, Compliance and Consistency of Process Models

Study 8

2008

R. Woerzberger, T. Kurpick and T. Heer

356

On Enabling Data- Aware Compliance Checking of Business Process Models

Study 8

2010

D. Knuplesch, L. Ly, S. Rinderle-Ma, H. Pfeifer and P. Dadam

357

On Enabling Integrated Process Compliance With Semantic Constraints

Study 8

2009

L. T. Ly, S. Rinderle-Ma, K. Göser and P. Dadam

358

Pattern-Based Modeling and Formalizing of Business Process Quality Constraints

Study 8

2011

L. Khaluf, C. Gerth, and G. Engels

359

Resolution of Compliance Violation in Business Process Models: A Planning-Based Approach

Study 8

2009

A. Awad, S. Smirnov and M. Weske

360

Root-Cause Analysis of Design-Time Compliance Violations on the Basis of Property Patterns

Study 8

2010

A. Elgammal , O. Turetken, W. Jan van den Heuvel and M. Papazoglou

361

Semantic Correctness in Adaptive ProcessManagement Systems

Study 8

2006

L. T. Ly, S. Rinderle-Ma and P. Dadam

362

Symbolic Model Checking of UML Activity Diagrams,

Study 8

2006

R. Eshuis

363

Tool Support for Verifying UML Activity Diagrams

Study 8

2004

R. Eshuis and R. Wieringa

364

Towards Resolving Compliance Violations in Business Process Models

Study 8

2009

A. Awad, S. Smirnov and M. Weske

365

Towards Using Reo for Compliance-AwareBusiness Process Modeling

Study 8

2009

F. Arbab, N. Kokash and S. Meng

366

Transforming BPEL to Petri Nets

Study 8

2005

S. Hinz, K. Schmidt and C. Stahl

367

trukturbasierte Verifikation von BPMN-Modellen

Study 8

2010

Mueller, Jens

368

Verification of Business Process Entailment Constraints Using SPIN

Study 8

2009

C. Wolter, P. Miseldine and C. Meinel

369

Verification of Business Process Quality Constraints Based on Visual Process Patterns

Study 8

2007

A. Forster, G. Engels, T. Schattkowsky and R. Van Der Straeten

370

Verifying BPEL Workflows Under Authorisation Constraints

Study 8

2006

Z. Xiangpeng, A. Cerone and P. Krishnan

371

Verifying Business Rules Using an SMT Solver for BPEL Processes,

Study 8

2009

G. Monakova, O. Kopp, F. Leymann, S. Moser and K. Schäfers

372

Visualization of Compliance Violation in Business Process Models

Study 8

2010

A. Awad and M. Weske

373

Visualization of Compliance Violation Using Anti-Patterns, BPT Technical Report,

Study 8

2009

A Awad and M. Weske

374

A Method for Security Governance, Risk, and Compliance (GRC): A Goal-Process Approach

Study 9

2011

Y. Ansar and F. Massacci

375

A rule-based framework using role patterns for business process compliance

Study 9

2008

Kumar, A. and Liu, R.

376

A static compliance-checking framework for business process models

Study 9

2007

Y. Liu, S. Muller and K. Xu

377

Achieving life-cycle compliance of Service-Oriented Architectures: Open issues and challenges.

Study 9

2009

T. Scholte and E. Kirda

378

Activity-Oriented Clustering Techniques in Large Process and Compliance Rule Repositories

Study 9

2011

S. Rinderle-Ma, S. Kabicher and L. T. Ly

379

Aligning risk management and compli-ance considerations with business process development

Study 9

2009

Zoet, M., Welke, R., Versendaal, J. and Ravesteyn, P

380

An Efficient Business Process Compliance Checking Approach

Study 9

2011

J. Becker, P. Bergener, D. Breuker, P. Delfmann and M. Eggert

381

An extensible framework for tracing model evolution in SOA solution design

Study 9

2009

Sindhgatta, R. and Sengupta, B

382

An integrated solution for runtime compliance governance in SOA

Study 9

2010

Birukou, A., D’Andrea, V., Leymann, F., Serafinski, J., Silveira, P., Strauch, S. and Tluczek, M.

383

An iterative approach for business process template synthesis from compliance rules

Study 9

2011

Awad, A., Goré, R., Thomson, J. and Weidlich, M.

384

Analyzing compliance of service-based business processes for root-cause analysis and prediction

Study 9

2010

C. Rodríguez, P. Silveira, F. Daniel, F. Casati

385

Assessing Medical Treatment Compliance Based on Formal Process Modeling

Study 9

2011

R. Dunkl and K. A. Froschl

386

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