Conformance checking and diagnosis for declarative business process models in data-aware scenarios

•We propose an approach for conformance checking and diagnosis over declarative business process models.•Unlike related works, our approach deals with the data perspective and is based on constraint programming.•Different performance measures related to a wide and diversified set of test models of v...

Full description

Saved in:

Bibliographic Details
Published in:	Expert systems with applications Vol. 41; no. 11; pp. 5340 - 5352
Main Authors:	Borrego, Diana, Barba, Irene
Format:	Journal Article
Language:	English
Published:	Amsterdam Elsevier Ltd 01.09.2014 Elsevier
Subjects:	Applied sciences Business Business process management Computer science; control theory; systems Computer systems performance. Reliability Conformance checking Constraint programming Declarative business process models Diagnosis Diagnostic systems Exact sciences and technology Expert systems Firm modelling Flexibility Information systems. Data bases Management Memory organisation. Data processing Operational research and scientific management Operational research. Management science Process mining Receiving Software Software engineering Process mining Business process management Diagnosis Declarative business process models Constraint programming Conformance checking Performance evaluation Declarative language Software development Constraint satisfaction Control synthesis Flexibility Modeling Data flow Business process Information source Efficiency Static analysis Flow control Model checking Coordination Process control Context aware Computational complexity Integrated management Program verification Constrained optimization Business model Firm management Data models
ISSN:	0957-4174, 1873-6793
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!