Communicating sequential processes
Communicating sequential processes
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Distributed and Parallel Databases
Conformance Testing of Protocol Machines without Reset
Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
On Structured Workflow Modelling
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
Conformance checking of processes based on monitoring real behavior
Information Systems
Conformance checking of service behavior
ACM Transactions on Internet Technology (TOIT)
A process-algebraic approach to workflow specification and refinement
SC'07 Proceedings of the 6th international conference on Software composition
An analysis and taxonomy of unstructured workflows
BPM'05 Proceedings of the 3rd international conference on Business Process Management
A conformance checker tool CSPConCheck
ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
| Hi-index | 0.00 |
One of the frequently occurring problems in process aware information systems is to determine if the observations (in the form of events logs) match/fit the behavior of the reference system (modeled as a business process). This problem is more commonly known as "process conformance checking". In this paper we tackle this problem using concepts from Communicating Sequential Processes (CSP), which facilitates automated analysis using FDR model checker.