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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Expert systems with applications Jg. 41; H. 11; S. 5340 - 5352
Hauptverfasser:	Borrego, Diana, Barba, Irene
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Amsterdam Elsevier Ltd 01.09.2014 Elsevier
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!