Aymen Baouab, Perrin, Olivier, Godart, Claude. An Optimized Derivation of Event Queries to Monitor Choreography Violations. In 10th International Conference on Service Oriented Computing (ICSOC 2012 ). Volume 7636 of Lecture Notes in Computer Science, pages 222-236, Springer, Shanghai, Chine, Nov 2012. [doi]
@inproceedings{baouab:hal-00730253,
title = {An Optimized Derivation of Event Queries to Monitor Choreography Violations},
author = {Aymen Baouab and Perrin, Olivier and Godart, Claude},
year = {2012},
month = {Nov},
doi = {10.1007/978-3-642-34321-6\_15},
url = {http://hal.inria.fr/hal-00730253},
tags = {rule-based, process monitoring, model checking, meta-model, modeling language, tagging, graph query, language modeling, business rules, business process modeling, constraints, graph-rewriting, rules, Meta-Environment, parsing, process modeling, systematic-approach, query language},
researchr = {https://researchr.org/publication/baouab%3Ahal-00730253},
cites = {0},
citedby = {0},
pages = {222-236},
booktitle = {10th International Conference on Service Oriented Computing (ICSOC 2012 )},
volume = {7636},
series = {Lecture Notes in Computer Science},
address = {Shanghai, Chine},
publisher = {Springer},
}