Conformance checking of service behavior
ACM Transactions on Internet Technology (TOIT)
Discovery, Verification and Conformance of Workflows with Cancellation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
A journey to highly dynamic, self-adaptive service-based applications
Automated Software Engineering
Measuring the Compliance of Processes with Reference Models
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Generation of business process models for object life cycle compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Preprocessing support for large scale process mining of SAP transactions
BPM'07 Proceedings of the 2007 international conference on Business process management
Applying process mining in SOA environments
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
HAIS'11 Proceedings of the 6th international conference on Hybrid artificial intelligent systems - Volume Part I
Workflow validation framework in distributed engineering environments
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
A priori conformance verification for guaranteeing interoperability in open environments
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
A framework for defining and verifying clinical guidelines: a case study on cancer screening
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Improving business process models with reference models in business-driven development
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Investigations on Stochastic Information Control Nets
Information Sciences: an International Journal
Assessing and governing IT-staff behavior by performance-based simulation
Computers in Human Behavior
A visualization approach for difference analysis of process models and instance traffic
BPM'13 Proceedings of the 11th international conference on Business Process Management
Personal and Ubiquitous Computing
Hi-index | 0.00 |
Increasingly, business processes are being controlled and/or monitored by information systems. As a result, many business processes leave their “footprints” in transactional information systems, i.e., business events are recorded in so-called event logs. Process mining aims at improving this by providing techniques and tools for discovering process, control, data, organizational, and social structures from event logs, i.e., the basic idea of process mining is to diagnose business processes by mining event logs for knowledge. In this paper we focus on the potential use of process mining for measuring business alignment, i.e., comparing the real behavior of an information system or its users with the intended or expected behavior. We identify two ways to create and/or maintain the fit between business processes and supporting information systems: Delta analysis and conformance testing. Delta analysis compares the discovered model (i.e., an abstraction derived from the actual process) with some predefined processes model (e.g., the workflow model or reference model used to configure the system). Conformance testing attempts to quantify the “fit” between the event log and some predefined processes model. In this paper, we show that Delta analysis and conformance testing can be used to analyze business alignment as long as the actual events are logged and users have some control over the process.