Business Process Management: A Comprehensive Survey
ISRN Software EngineeringPublished 12 February 2013Open access
Wil M. P. van der Aalst
Citations801
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
The practical relevance of BPM and rapid developments over the last decade justify a comprehensive survey and an overview of the state-of-the-art in BPM.
Abstract
Business Process Management (BPM) research resulted in a plethora of methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. This survey aims to structure these results and provide an overview of the state-of-the-art in BPM. In BPM the concept of a process model is fundamental. Process models may be used to configure information systems, but may also be used to analyze, understand, and improve the processes they describe. Hence, the introduction of BPM technology has both managerial and technical ramifications and may enable significant productivity improvements, cost savings, and flow-time reductions. The practical relevance of BPM and rapid developments over the last decade justify a comprehensive survey.
Keywords
Computer ScienceDecision SciencesBusiness, Management and Accounting
Communication and Concurrency
6,859 Citations1989Robin Milner
This chapter discusses Bisimulation and Observation Equivalence as a Modelling Communication, a Programming Language, and its application to Equational laws.
The Entity Relationship Model — Toward a Unified View of Data
5,769 Citations2002Peter Pin-Shan Chen
A data model, called the entity-relationship model, is proposed that incorporates some of the important semantic information about the real world and can be used as a basis for unification of different views of data: the network model, the relational model, and the entity set model.
Communications of the ACMA relational model of data for large shared data banks
5,238 Citations1970E. F. Codd
A model based on n-ary relations, a normal form for data base relations, and the concept of a universal data sublanguage are introduced and certain operations on relations are discussed and applied to the problems of redundancy and consistency in the user's model.
Big data: The next frontier for innovation, competition, and productivity
5,228 Citations2011James Manyika
The amount of data in the authors' world has been exploding, and analyzing large data sets will become a key basis of competition, underpinning new waves of productivity growth, innovation, and consumer surplus, according to research by MGI and McKinsey.
Communications of the ACMA relational model of data for large shared data banks
4,834 Citations1983E. F. Codd
ACM Transactions on Database SystemsThe entity-relationship model—toward a unified view of data
4,648 Citations1976Peter Pin-Shan Chen
IFIP International Federation for Information Processing/IFIPInformation Systems Research
3,147 Citations2004Bonnie Kaplan, Duane Truex +2 more
Journal of Circuits Systems and ComputersTHE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT
2,684 Citations1998Wil M. P. van der Aalst
This paper introduces workflow management as an application domain for Petri nets, presents state-of-the-art results with respect to the verification of workflows, and highlights some Petri-net-based workflow tools.
Distributed and Parallel DatabasesWorkflow Patterns
2,600 Citations2003Wil M. P. van der Aalst, Arthur H. M. ter Hofstede +2 more
A number of workflow patterns addressing what the authors believe identify comprehensive workflow functionality are described, providing the basis for an in-depth comparison of a number of commercially availablework flow management systems.
ACM Transactions on Information and System SecurityProposed NIST standard for role-based access control
2,522 Citations2001David F. Ferraiolo, Ravi Sandhu +3 more
This paper shows that straightforward enforcement of “add-on” access control is insecure under adversarial code execution, and designs a two-layered defense system to protect against API abuses, and proposes a new fine-grained access control framework with an enhanced policy language that supports map and filter primitives.
IEEE Transactions on Knowledge and Data EngineeringWorkflow mining: discovering process models from event logs
2,180 Citations2004Wil M. P. van der Aalst, Ton Weijters +1 more
A new algorithm is presented to extract a process model from a so-called "workflow log" containing information about the workflow process as it is actually being executed and represent it in terms of a Petri net.
Web Services: Concepts, Architectures and Applications
1,851 Citations2003Gustavo Alonso, Fabio Casati +2 more
Based on their academic and industrial experience with middleware and enterprise application integration systems, Alonso and his co-authors describe the fundamental concepts behind the notion of Web services and present them as the natural evolution of conventional middleware, necessary to meet the challenges of the Web and of B2B application integration.
CERN Document Server (European Organization for Nuclear Research)Process Mining: Discovery, Conformance and Enhancement of Business Processes
1,736 Citations2011Wil M. P. van der Aalst
This book provides real-world techniques for monitoring and analyzing processes in real time and is a powerful new tool destined to play a key role in business process management.
Concurrency and Computation Practice and ExperienceScientific workflow management and the Kepler system
1,696 Citations2005Bertram Ludäscher, İlkay Altıntaş +7 more
Characteristics of and requirements for scientific workflows as identified in a number of application projects are described, and some key features of Kepler and its underlying Ptolemy II system, planned extensions, and areas of future research are described.
Business Process Management : Concepts, Languages, Architectures
1,670 Citations2007Mathias Weske
Distributed and Parallel DatabasesAn overview of workflow management: From process modeling to workflow automation infrastructure
1,528 Citations1995Diimitrios Georgakopoulos, Mark F. Hornick +1 more
This paper provides a high-level overview of the current workflow management methodologies and software products and discusses how distributed object management and customized transaction management can support further advances in the commercial state of the art in this area.
Information SystemsYAWL: yet another workflow language
1,340 Citations2004Wil M. P. van der Aalst, Arthur H. M. ter Hofstede
This paper motivates the need for a new workflow language, specifies the semantics of the language, and shows that soundness can be verified in a compositional way.
Lecture notes in computer scienceBusiness Process Management: A Survey
1,324 Citations2003Wil M. P. van der Aalst, Arthur H. M. ter Hofstede +1 more
The acronyms in this domain are tried to demystify, the state-of-the-art technology is described, and it is argued that BPM could benefit from formal methods/languages.
Lecture notes in business information processingProcess Mining Manifesto
1,203 Citations2012Wil M. P. van der Aalst, Arya Adriansyah +75 more
This manifesto hopes to serve as a guide for software developers, scientists, consultants, business managers, and end-users to increase the maturity of process mining as a new tool to improve the design, control, and support of operational business processes.
Information SystemsConformance checking of processes based on monitoring real behavior
1,075 Citations2007A. Rozinat, Wil M. P. van der Aalst
An incremental approach to check the conformance of a process model and an event log is proposed and a Conformance Checker has been implemented within the ProM framework and it has been evaluated using artificial and real-life event logs.
Data & Knowledge EngineeringWorkflow mining: A survey of issues and approaches
1,047 Citations2003Wil M. P. van der Aalst, Boudewijn F. van Dongen +4 more
This paper introduces the concept of workflow mining and presents a common format for workflow logs, and discusses the most challenging problems and present some of the workflow mining approaches available today.
Business Process Management: The Third Wave
904 Citations2003Howard Smith, Peter Fingar
Ten years on, Computer Sciences Corporation's Howard Smith, has co-authored the book that reinvents reengineering and sets the business agenda for the decade ahead.
Journal of Intelligent Information SystemsAdeptflex—Supporting Dynamic Changes of Workflows Without Losing Control
887 Citations1998Manfred Reichert, Peter Dadam
A formal foundation for the support of dynamic structural changes of running WF instances is presented and a complete and minimal set of change operations (ADEPTflex) that support users in modifying the structure of aRunning WF, while maintaining its (structural) correctness and consistency is defined.
ACM Transactions on Software Engineering and MethodologyDiscovering models of software processes from event-based data
874 Citations1998Jonathan Cook, Alexander L. Wolf
This article describes a Markov method that was developed specifically for process discovery, as well as describe two additional methods that were adopted from other domains and augmented for this purposes.
Lecture notes in computer scienceMining process models from workflow logs
786 Citations1998Rakesh Agrawal, Dimitrios Gunopulos +1 more
This work presents an approach for a system that constructs process models from logs of past, unstructured executions of the given process, and presents results from applying the algorithm to synthetic data sets as well as process logs obtained from an IBM Flowmark installation.
Information SystemsBusiness process mining: An industrial application
773 Citations2006Wil M. P. van der Aalst, Hajo A. Reijers +5 more
This paper describes the application of process mining in one of the provincial offices of the Dutch National Public Works Department, responsible for the construction and maintenance of the road and water infrastructure.
Data & Knowledge EngineeringCase handling: a new paradigm for business process support
762 Citations2004Wil M. P. van der Aalst, Mathias Weske +1 more
In this paper, case handling is introduced as a new paradigm for supporting flexible business processes by comparing it to workflow management as the traditional way to support business processes.
Journal of the ACMBranching time and abstraction in bisimulation semantics
737 Citations1996Rob J. van Glabbeek, W. P. Weijland
This paper investigates whether observation equivalence really does respect the branching structure of processes, and finds that in the presence of the unobservable action τ of CCS this is not the case, and the notion of branching bisimulation equivalence is introduced which strongly preserves the branching structures of processes.
Journal of pathology informaticsWorkflow Management: Modeling Concepts, Architecture and Implementation
730 Citations1996Stefan Jablonski
Wiley Interdisciplinary Reviews Data Mining and Knowledge DiscoveryReplaying history on process models for conformance checking and performance analysis
726 Citations2012Wil M. P. van der Aalst, Arya Adriansyah +1 more
Production Workflow: Concepts and Techniques
722 Citations1999Frank Leymann, Dieter Roller
This book discusses Business Processes as Enterprise Resource, Workflow Management System Basics, and Development of Workflow-based Applications, which focuses on the development of Workflows and Objects.
The action workflow approach to workflow management technology
620 Citations1992Raúl Medina‐Mora, Terry Winograd +2 more
The ActionWorkflow™ approach to workflow management technology: a design methodology and associated computer software for the support of work in organizations based on theories of communicative activity as language/action is described.
Choice Reviews OnlineTransactional information systems: theory, algorithms, and the practice of concurrency control and recovery
618 Citations2002
Choice Reviews OnlineProcess-aware information systems: bridging people and software through process technology
618 Citations2006
This book provides a unified and comprehensive overview of the principles, techniques and technologies underlying the emerging discipline of process aware information systems engineering.
Information SystemsSimilarity of business process models: Metrics and evaluation
607 Citations2010Remco Dijkman, Marlon Dumas +3 more
Three similarity metrics that can be used to answer queries on process repositories are presented, including node matching similarity that compares the labels and attributes attached to process model elements; structural similarity that connects element labels as well as causal relations captured in the process model.
Information and Software TechnologySeven process modeling guidelines (7PMG)
605 Citations2009Jan Mendling, Hajo A. Reijers +1 more
This paper analyzes existing research on relationships between model structure on the one hand and error probability and understanding and proposes a set of seven process modeling guidelines (7PMG), which builds on strong empirical insights, yet they are formulated to be intuitive to practitioners.
Data & Knowledge EngineeringChange patterns and change support features – Enhancing flexibility in process-aware information systems
569 Citations2008Barbara Weber, Manfred Reichert +1 more
A set of 18 change patterns and seven change support features are suggested to foster the systematic comparison of existing process management technology in respect to process change support to facilitate the selection of technologies for realizing flexible PAISs.
Information and Software TechnologyFormalization and verification of event-driven process chains
564 Citations1999Wil M. P. van der Aalst
This paper maps EPCs (without connectors of type ∨) onto Petri nets and shows that the correctness of an EPC can be checked in polynomial time by using Petri-net-based analysis techniques.
ACM Transactions on Information and System SecurityThe specification and enforcement of authorization constraints in workflow management systems
546 Citations1999Elisa Bertino, Elena Ferrari +1 more
A language is presented to express both static and dynamic authorization constraints as clauses in a logic program and formal notions of constraint consistency are provided to check the consistency of constraints and assign users and roles to tasks that constitute the workflow in such a way that no constraints are violated.
IBM Systems JournalBusiness artifacts: An approach to operational specification
531 Citations2003Anil Nigam, N. Caswell
This paper presents a comprehensive discussion of business artifacts--what they are, how they are represented, and the role they play in operational business modeling.
Computer Science - Research and DevelopmentDeclarative workflows: Balancing between flexibility and support
524 Citations2009Wil M. P. van der Aalst, M. Pesic +1 more
This paper will show that using a more declarative approach can assist in a better balance between flexibility and support, by presenting the Declare framework that aims to take care of the full spectrum of flexibility while at the same time supports the user using recommendations and other process-mining-based diagnostics.
Information SystemsA configurable reference modelling language
516 Citations2005Michael Rosemann, Wil M. P. van der Aalst
This paper proposes Configurable EPCs (C-EPCs) as an extended reference modelling language which allows capturing the core configuration patterns and proposes a formalization of this language as well as examples for typical configurations.
Enterprise Integration Patterns
498 Citations2003Gregor Hohpe, Bobby Woolf
Very few new business applications are being developed or deployed without a major focus on integration, essentially making integratability a defining quality of enterprise applications.
Information SystemsTime prediction based on process mining
489 Citations2010Wil M. P. van der Aalst, M. H. Schonenberg +1 more
This paper demonstrates that the discovered process models can be extended with information to predict the completion time of running instances, using a configurable approach to construct a process model, augment this model with time information learned from earlier instances, and use this to predict e.g., the completionTime.
Dynamic change within workflow systems
475 Citations1995Clarence A. Ellis, Karim Keddara +1 more
A Petri net formalism is used to analyze structural change within office procedures and proves that a class of change called “synthetic cut-over change” maintains correctness when downsizing occurs.
Business Process Modeling Notation (BPMN), Version 1.0
473 Citations2004Stephen White
It is expected that as experience is gained with BPMN there will be feedback about this relatively young specification, particularly the mapping between the graphics of the notation to the underlying constructs of execution languages, particularly BPEL4WS.
Integrated Computer-Aided EngineeringRediscovering workflow models from event-based data using little thumb
462 Citations2003A.J.M.M. Weijters, Wil M. P. van der Aalst
The rediscovering technique proposed in this paper can deal with noise and can also be used to validate workflow processes by uncovering and measuring the discrepancies between prescriptive models and actual process executions.
IEEE Data(base) Engineering BulletinData Management in the Cloud: Limitations and Opportunities.
459 Citations2009Daniel J. Abadi
There exist an increasing number of large companies that are offering cloud computing infrastructure products and services that do not entirely resemble the visions of these individual compo- firms.
Model-based verification of Web service compositions
442 Citations2004Howard G. Foster, Sebastián Uchitel +2 more
A model-based approach to verifying Web service compositions for Web service implementations supports verification against specification models and assigns semantics to the behavior of implementation model so as to confirm expected results for both the designer and implementer.
Lecture notes in computer scienceWorkflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
427 Citations2000Wil M. P. van der Aalst
This chapter presents a method based on Petri nets that exploits the structure of the Petri net to find potential errors in the design of the workflow and allows for the compositional verification of workflows.
Data & Knowledge EngineeringCorrectness criteria for dynamic changes in workflow systems––a survey
418 Citations2004Stefanie Rinderle, Manfred Reichert +1 more
This survey systematically classifies different approaches in the area of adaptive workflows and discusses their strengths and limitations along typical problems related to dynamic WF change.
Notes on numerical fluid mechanics and multidisciplinary designWorkflow Resource Patterns: Identification, Representation and Tool Support
413 Citations2005Nick Russell, Wil M. P. van der Aalst +2 more
This work describes workflow resource patterns that capture the various ways in which resources are represented and utilised in workflows and uses these patterns as the basis for a detailed comparison of a number of commercially available workflow management systems.
Semantic business process management: a vision towards using semantic Web services for business process management
393 Citations2005Martin Hepp, Frank Leymann +3 more
This work traces back the problem of mechanization of BPM to an ontological one, i.e. the lack of machine-accessible semantics, and argues that the modeling constructs of semantic Web services frameworks, especially WSMO, are a natural fit to creating such a representation.
Lecture notes in computer scienceGraph Matching Algorithms for Business Process Model Similarity Search
389 Citations2009Remco Dijkman, Marlon Dumas +1 more
This work evaluates four graph matching algorithms, ranging from a greedy one to a relatively exhaustive one, and shows that the mean average precision obtained by a fast greedy algorithm is close to that obtained with the most exhaustive algorithm.
Conformance Checking Using Cost-Based Fitness Analysis
373 Citations2011Arya Adriansyah, Boudewijn F. van Dongen +1 more
A robust replay analysis technique is presented that is able to measure the conformance of an event log for a given process model and quantifies conformance and provides intuitive diagnostics (skipped and inserted activities).
Formal Aspects of ComputingSoundness of workflow nets: classification, decidability, and analysis
365 Citations2010Wil M. P. van der Aalst, K.M. van Hee +5 more
It is shown that the eight soundness notions described in the literature are decidable for workflow nets, however, most extensions will make all of these notions undecidable.
IEEE Data(base) Engineering BulletinBusiness Artifacts: A Data-centric Approach to Modeling Business Operations and Processes
361 Citations2009David L. Cohn, Richard Hull
This short paper motivates the approach, surveys research and its applications, and discusses how principles and techniques from database research can further develop the artifact-centric paradigm.
Notes on numerical fluid mechanics and multidisciplinary designHow Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation
354 Citations2008Michael zur Muehlen, Jan Recker
The findings indicate that BPMN is used in groups of several, well-defined construct clusters, but less than 20% of its vocabulary is regularly used and some constructs did not occur in any of the models the authors analyzed.
Science of Computer ProgrammingFormal semantics and analysis of control flow in WS-BPEL
341 Citations2007Chun Ouyang, Eric Verbeek +4 more
A tool is described that performs two useful types of static checks and extracts meta-data to optimise dynamic resource management by translating BPEL processes into Petri nets and exploiting existing Petri net analysis techniques.
Modern Business Process Automation
316 Citations2009Arthur H. M. ter Hofstede, Wil M. P. van der Aalst +2 more
This book provides a comprehensive treatment of the field of Business Process Management (BPM) with a focus on Business Process Automation, and aims to equip the reader with both a thorough understanding of them and the ability to apply them to better understand, assess and utilize new developments in the BPM field.
ACM Computing SurveysOffice Information Systems and Computer Science
315 Citations1980Clarence A. Ellis, Gary J Nutt
Office information systems are defined as entities which perform document storage, retrieval, manipulation, and control within a distributed environment.
The Computer JournalDiagnosing Workflow Processes using Woflan
314 Citations2001H. M. W. Verbeek
The functionality of Woflan is described, emphasizing diagnostics to locate the source of a design error and shows that W oflan guides the user in finding and correcting errors in the design of workflows.
Lecture notes in computer scienceService Interaction Patterns
314 Citations2005Alistair Barros, Marlon Dumas +1 more
A collection of patterns of service interactions which allow emerging web services functionality, especially that pertaining to choreography and orchestration, to be benchmarked against abstracted forms of representative scenarios are presented.
Lecture notes in computer scienceWhat Makes Process Models Understandable?
301 Citations2007Jan Mendling, Hajo A. Reijers +1 more
The results reveal that participants tend to exaggerate the differences in model understandability, that self-assessment of modeling competence appears to be invalid, and that the number of arcs in models has animportant influence on understandability.
Lecture notes in business information processingProcess Flexibility: A Survey of Contemporary Approaches
290 Citations2008Helen Schonenberg, Ronny S. Mans +3 more
This paper takes a deeper look into the various ways in which flexibility can be achieved and proposes an extensive taxonomy of flexibility, which is used to evaluate a selection of systems and to discuss how the various forms of flexibility fit together.
Lecture notes in computer scienceTowards Formal Analysis of Artifact-Centric Business Process Models
287 Citations2007Kamal Bhattacharya, Çağdaş Evren Gerede +3 more
This paper forms a formal model for artifact-centric business processes and develops complexity results concerningstatic analysis of three problems of immediate practical concerns, which focus on the ability to complete an execution, existence of an execution "deadend", andredundancy.
Lecture notes in computer scienceDecision Mining in ProM
284 Citations2006A. Rozinat, Wil M. P. van der Aalst
This paper describes how machine learning techniques can be leveraged for decision mining, and presents a Decision Miner implemented within the ProM framework.
Information SystemsDiscovering simulation models
278 Citations2008A. Rozinat, Ronny S. Mans +2 more
A combination of process mining techniques is used to discover multiple perspectives of the process from historic data and integrate them into a comprehensive simulation model, represented as a colored Petri net (CPN) and used to analyze the process.
Information & ManagementLoosely coupled interorganizational workflows:
277 Citations2000Wil M. P. van der Aalst
Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies
274 Citations2012Manfred Reichert, Barbara Weber
Information SystemsVerification Of Workflow Task Structures: A Petri-net-baset Approach
267 Citations2000Wil M. P. van der Aalst, Arthur H. M. ter Hofstede
It is shown how verification of a typical process control specification, which is at the heart of most workflow specifications, can benefit from state-of-the-art Petri-net based analysis techniques.
Information Systems and e-Business ManagementClassification of reference models: a methodology and its application
266 Citations2003Peter Fettke, Peter Loos
This classification system gives a comprehensive, but abstract survey of 26 reference models found in the literature, and proposes a methodology to systematically create classification systems for reference models.
ACM Transactions on Software Engineering and MethodologySoftware process validation
258 Citations1999Jonathan Cook, Alexander L. Wolf
Process validation takes a process execution and a process model, and measures the level of correspondence between the two, which provides detailed information once a high-level measurement indicates the presence of a problem.
Notes on numerical fluid mechanics and multidisciplinary designWorkflow Exception Patterns
248 Citations2006Nick Russell, Wil M. P. van der Aalst +1 more
This paper presents a classification framework for workflow exception handling in the form of patterns that is independent of specific modelling approaches or technologies and provides an objective means of delineating the exception-handling capabilities of specific workflow systems.
Computer Systems: Science & EngineeringDealing with workflow change: identification of issues and solutions
248 Citations2000Wil M. P. van der Aalst, Simone Jablonski
To clearly identify the potential problems caused by change, a classification of change and potential errors is distinguished between transient and incessant errors, and syntactic and semantic errors.
Sap R/3 Business Blueprint: Understanding the Business Process Reference Model
242 Citations1997Thomas A. Curran, Gerhard Keller +1 more
This chapter discusses Business Engineering and Enterprise Optimization in R/3, which involves Modeling and Configuring the Enterprise, and the Architecture of the R/ 3 System, which consists of the Three-Tier Client/Server R/2 Architecture and the Distributed Environment.
ACM Transactions on the WebDeclarative specification and verification of service choreographiess
238 Citations2010Marco Montali, Maja Pešić +4 more
This work presents how DecSerFlow semantics can be mapped onto Linear Temporal Logic and onto Abductive Logic Programming, and illustrates the advantages of using a declarative language in conjunction with logic-based semantics.
Lecture notes in computer scienceWorkflow Data Patterns: Identification, Representation and Tool Support
236 Citations2005Nick Russell, Arthur H. M. ter Hofstede +2 more
A series of workflow data patterns are described that aim to capture the various ways in which data is represented and utilised in workflows and are used as the basis for a detailed comparison of a number of commercially available workflow management systems, workflow standards and web-service composition languages.
Interorganizational workflows: An approach based on message sequence charts and petri nets
232 Citations1999Wil M. P. van der Aalst
This paper uses message sequence charts to specify the interaction between organizations and Petri nets are used to model the workflows inside each organization.
Lecture notes in computer scienceBusiness Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management
224 Citations2004Wil M. P. van der Aalst
This tutorial introduces models, systems, and standards for the design, analysis, and enactment of workflow processes using Petri nets as a formal basis and exposes some of the typical semantic problems restricting the application of BPM/WFM technology.
Advanced transaction models in workflow contexts
221 Citations2002Gustavo Alonso, Divyakant Agrawal +4 more
It is shown that, in many aspects, workflow models are a superset of transaction models and have the added advantage of incorporating a variety of ideas that have so far remained outside the scope of traditional transaction processing.
International Journal of Cooperative Information SystemsCONFIGURABLE WORKFLOW MODELS
219 Citations2008Florian Gottschalk, Wil M. P. van der Aalst +2 more
An approach to identify so-called configurable elements of a workflow modeling language and to add configuration opportunities to workflow models is presented in this paper.
Lecture notes in computer scienceConstraint-Based Workflow Models: Change Made Easy
219 Citations2007Maja Pešić, M. H. Schonenberg +2 more
This paper proposes a general framework for a constraint-based process modeling language and its implementation that supports both ad-hoc and dynamic change, and the transfer of instances can be done easier than in traditional approaches.
Computers in IndustryRefactoring large process model repositories
217 Citations2011Barbara Weber, Manfred Reichert +2 more
A catalogue of process model ''smells'' for identifying refactoring opportunities and a set of behavior-preserving techniques for refactored large process repositories are introduced, enabling process designers to effectively deal with model complexity by making process models better understandable and easier to maintain.
Expert Systems with ApplicationsAPROMORE: An advanced process model repository
212 Citations2010Marcello La Rosa, Hajo A. Reijers +5 more
This paper describes the functionality and architecture of an advanced process model repository, named APROMORE, which brings together a rich set of features for the analysis, management and usage of large sets of process models, drawing from state-of-the art research in the field of process modeling.
ACM Transactions on Software Engineering and MethodologyFrom business process models to process-oriented software systems
211 Citations2009Chun Ouyang, Marlon Dumas +3 more
This article proposes a translation technique that does not impose structural restrictions on the source BPMN model and emphasizes the generation of readable (block-structured) BPEL code.
Acta InformaticaFundamentals of control flow in workflows
210 Citations2003Bartek Kiepuszewski, Arthur H. M. ter Hofstede +1 more
The goal of this paper is to establish a formal foundation for control-flow aspects of workflow specification languages, that assists in understanding fundamental properties of such languages, in particular their expressive power.
ACM Transactions on Software Engineering and MethodologyBusiness Process Model Merging
201 Citations2013Marcello La Rosa, Marlon Dumas +2 more
An algorithm for computing merged models and an algorithm for extracting digests from a merged model are presented, which show that the merging algorithm produces compact models and scales up to process models containing hundreds of nodes.
IEEE Intelligent SystemsWeb services: been there, done that?
199 Citations2003Steffen Staab, Will van der Aalst +7 more
This section discusses how a low initial entry barrier and simple technology are balanced against the long-term goal of easy integration, including semantics in a Web service modeling framework; and building on new kinds of applications such as grid enterprises.
ACM Transactions on Software Engineering and MethodologySymbolic model checking of UML activity diagrams
199 Citations2006Rik Eshuis
Two translations from activity diagrams to the input language of NuSMV, a symbolic model verifier, are presented and it is shown that for a large class of activity diagrams and certain properties, both translations are equivalent: regardless of which translation is used, the outcome of model checking is the same.
A comprehensive approach to flexibility in workflow management systems
191 Citations1999Petra Heinl, Stefan Horn +4 more
This paper points out that the modeling process as a main aspect of flexibility by adaption has to be treated as a CSCW scenario, which leads to a structured overall concept for flexibility in workflow management applications.
Lecture notes in computer sciencePockets of Flexibility in Workflow Specification
191 Citations2001Shazia Sadiq, Shazia Sadiq +1 more
This paper introduces the notion of an open instance that consists of a core process and several pockets of flexibility, and presents a framework which makes use of special build activities that provide the functionality to integrate the process of defining a change, into the open workflow instance.
Lecture notes in computer scienceSupporting Flexible Processes through Recommendations Based on History
189 Citations2008Helen Schonenberg, Barbara Weber +2 more
A recommendation service, which, when used in combination with flexible PAISs, can support end users during process execution by giving recommendations on possible next steps by considering the specific optimization goals.
Lecture notes in computer scienceA Machine Learning Approach to Workflow Management
189 Citations2000Joachim Herbst
This contribution shows how the basic principle of the previous approach to sequential workflow induction can be generalized, so that it is able to deal with concurrency, and does not require unique activity nodes.
Adaptive Reference Modeling: Integrating Configurative and Generic Adaptation Techniques for Information Models
187 Citations2007Jörg Becker, Patrick Delfmann +1 more
This paper presents recommendations for the construction of modeling languages that realize an integration of configurative and generic reference modeling and proposes to integrate generic model adaptation techniques withconfigurative reference modeling.
Information SystemsConfigurable multi-perspective business process models
182 Citations2010Marcello La Rosa, Marlon Dumas +2 more
A configurable process modeling notation incorporating features for capturing resources, data and physical objects involved in the performance of tasks is proposed and implemented in a toolset that assists analysts during the configuration phase and guarantees the correctness of the resulting process models.
Lecture notes in computer scienceA Fresh Look at Precision in Process Conformance
181 Citations2010Jorge Muñoz-Gama, Josep Carmona
A novel measure for precision is proposed, based on the simple idea of counting these situations were the model deviates from the log, and a log-based traversal of the model that avoids inspecting its whole behavior is presented.
Data & Knowledge EngineeringRepresenting, analysing and managing Web service protocols
178 Citations2005Boualem Benatallah, Fabio Casati +1 more
This paper discusses the different ways in which the middleware can leverage protocol descriptions, and focuses in particular on the notions of protocol compatibility, equivalence, and replaceability.
Data Archiving and Networked Services (DANS)Constraint-based workflow management systems:shifting control to users
174 Citations2008Maja Pešić
This thesis proposes a new approach to workow management systems that can facilitate contemporary business processes in a better way by enabling a better balance between exibility and support.
…