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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Expert systems with applications Ročník 41; číslo 11; s. 5340 - 5352
Hlavní autori:	Borrego, Diana, Barba, Irene
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Amsterdam Elsevier Ltd 01.09.2014 Elsevier
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!