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
|
|
