Business process management: a comprehensive survey

WMP Van der Aalst - International Scholarly Research Notices, 2013 - Wiley Online Library
Business Process Management (BPM) research resulted in a plethora of methods,
techniques, and tools to support the design, enactment, management, and analysis of …

Are we done with business process compliance: state of the art and challenges ahead

M Hashmi, G Governatori, HP Lam… - Knowledge and Information …, 2018 - Springer
Literature on business process compliance (BPC) has predominantly focused on the
alignment of the regulatory rules with the design, verification and validation of business …

Efficient compliance checking using BPMN-Q and temporal logic

A Awad, G Decker, M Weske - International Conference on Business …, 2008 - Springer
Compliance rules describe regulations, policies and quality constraints business processes
must adhere to. Given the large number of rules and their frequency of change, manual …

Data-flow anti-patterns: Discovering data-flow errors in workflows

N Trčka, WMP Van der Aalst, N Sidorova - Advanced Information Systems …, 2009 - Springer
Despite the abundance of analysis techniques to discover control-flow errors in workflow
designs, there is hardly any support for data-flow verification. Most techniques simply …

Formalizing and appling compliance patterns for business process compliance

A Elgammal, O Turetken, WJ van den Heuvel… - Software & Systems …, 2016 - Springer
Today's enterprises demand a high degree of compliance of business processes to meet
diverse regulations and legislations. Several industrial studies have shown that compliance …

The importance of business process modeling in software systems design

J Barjis - Science of Computer programming, 2008 - Elsevier
Despite diligent efforts made by the software engineering community, the failure of software
projects keeps increasing at an alarming rate. After two decades of this problem reoccurring …

Generalizability and applicability of model-based business process compliance-checking approaches—a state-of-the-art analysis and research roadmap

J Becker, P Delfmann, M Eggert, S Schwittay - Business Research, 2012 - Springer
With a steady increase of regulatory requirements for business processes, automation
support of compliance management is a field garnering increasing attention in Information …

[LLIBRE][B] Verification and validation in systems engineering: assessing UML/SysML design models

M Debbabi, F Hassaine, Y Jarraya, A Soeanu… - 2010 - books.google.com
At the dawn of the 21st century and the information age, communication and c-puting power
are becoming ever increasingly available, virtually pervading almost every aspect of modern …

Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible

N Sidorova, C Stahl, N Trčka - Information Systems, 2011 - Elsevier
A conceptual workflow model specifies the control flow of a workflow together with abstract
data information. This model is later on refined by adding specific data information, resulting …

ADDiff: semantic differencing for activity diagrams

S Maoz, JO Ringert, B Rumpe - Proceedings of the 19th ACM SIGSOFT …, 2011 - dl.acm.org
Activity diagrams (ADs) have recently become widely used in the modeling of workflows,
business processes, and web-services, where they serve various purposes, from …