The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Dynamic change within workflow systems
COCS '95 Proceedings of conference on Organizational computing systems
Workflow management coalition member directory
Workflow handbook 1997
Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
A comprehensive approach to flexibility in workflow management systems
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
Production workflow: concepts and techniques
Production workflow: concepts and techniques
Internet-Based Workflow Management: Towards a Semantic Web
Internet-Based Workflow Management: Towards a Semantic Web
Distributed and Parallel Databases
A Machine Learning Approach to Workflow Management
ECML '00 Proceedings of the 11th European Conference on Machine Learning
Mining Process Models from Workflow Logs
EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
Pockets of Flexibility in Workflow Specification
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Automating the Discovery of As-Is Business Process Models: Probabilistic and Algorithmic Approaches
Information Systems Research
Formal Foundation and Conceptual Design of Dynamic Adaptations in a Workflow Management System
HICSS '01 Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 7 - Volume 7
Distributed and Parallel Databases
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
Workflow Management: Models, Methods, and Systems
Workflow Management: Models, Methods, and Systems
Correctness criteria for dynamic changes in workflow systems: a survey
Data & Knowledge Engineering - Special issue: Advances in business process management
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Process Aware Information Systems: Bridging People and Software Through Process Technology
Process Aware Information Systems: Bridging People and Software Through Process Technology
Case handling: a new paradigm for business process support
Data & Knowledge Engineering
Discovering Social Networks from Event Logs
Computer Supported Cooperative Work
On the semantics of EPCs: resolving the vicious circle
Data & Knowledge Engineering - Special issue: Business process management
YAWL: yet another workflow language
Information Systems
Genetic process mining: an experimental evaluation
Data Mining and Knowledge Discovery
Business process mining: An industrial application
Information Systems
Rediscovering workflow models from event-based data using little thumb
Integrated Computer-Aided Engineering
Mining process models with non-free-choice constructs
Data Mining and Knowledge Discovery
Conformance checking of processes based on monitoring real behavior
Information Systems
Business Process Management: Concepts, Languages, Architectures
Business Process Management: Concepts, Languages, Architectures
Discovering colored Petri nets from event logs
International Journal on Software Tools for Technology Transfer (STTT)
Data & Knowledge Engineering
Visual Support for Work Assignment in Process-Aware Information Systems
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Workflow Simulation for Operational Decision Support Using Design, Historic and State Information
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Verifying generalized soundness of workflow nets
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Business process management: a survey
BPM'03 Proceedings of the 2003 international conference on Business process management
Evaluation of correctness criteria for dynamic workflow changes
BPM'03 Proceedings of the 2003 international conference on Business process management
ProM 4.0: comprehensive support for real process analysis
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Constraint-based workflow models: change made easy
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Dynamic, extensible and context-aware exception handling for workflows
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Understanding the occurrence of errors in process models based on metrics
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
From public views to private views: correctness-by-design for services
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Fuzzy mining: adaptive process simplification based on multi-perspective metrics
BPM'07 Proceedings of the 5th international conference on Business process management
Inducing declarative logic-based models from labeled traces
BPM'07 Proceedings of the 5th international conference on Business process management
Process mining based on regions of languages
BPM'07 Proceedings of the 5th international conference on Business process management
Business process simulation for operational decision support
BPM'07 Proceedings of the 2007 international conference on Business process management
Analyzing interacting BPEL processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
BPM'06 Proceedings of the 4th international conference on Business Process Management
Workflow resource patterns: identification, representation and tool support
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Visualization support for managing large business process specifications
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Conformance testing: measuring the fit and appropriateness of event logs and process models
BPM'05 Proceedings of the Third international conference on Business Process Management
A fresh look at precision in process conformance
BPM'10 Proceedings of the 8th international conference on Business process management
A programming model for self-adaptive open enterprise systems
Proceedings of the 5th International Workshop on Middleware for Service Oriented Computing
Integrating event logs into KDM repositories
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Light Region-based Techniques for Process Discovery
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Empirical assessment of business model transformations based on model simulation
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
APCCM '13 Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143
| Hi-index | 0.00 |
A Process-Aware Information System (PAIS) is a software system that manages and executes operational processes involving people, applications, and/or information sources on the basis of process models. Example PAISs are workflow management systems, case-handling systems, enterprise information systems, etc. This paper provides a brief introduction to these systems and discusses the role of process models in the PAIS life-cycle. Moreover, it provides a critical reflection on the state-of-the-art based on experiences with process mining . Process mining techniques attempt to extract non-trivial and useful information from event logs. One aspect of process mining is control-flow discovery, i.e., automatically constructing a process model (e.g., a Petri net) describing the causal dependencies between activities. The insights provided by process mining are very valuable for the development of the next generation PAISs because they clearly show a mismatch between the models proposed for driving these systems and reality. On the one hand, models tend to oversimplify things resulting in systems that are too restrictive. On the other hand, models fail to capture important aspects of business processes.