@inproceedings{baouab:hal-00730253, TITLE = {{An Optimized Derivation of Event Queries to Monitor Choreography Violations}}, AUTHOR = {Baouab, Aymen and Perrin, Olivier and Godart, Claude}, URL = {https://hal.inria.fr/hal-00730253}, BOOKTITLE = {{10th International Conference on Service Oriented Computing (ICSOC 2012 )}}, ADDRESS = {Shanghai, China}, EDITOR = {Liu, C and Ludwig, H and Toumani, F. and Yu, Q.}, PUBLISHER = {{Springer}}, SERIES = {}, VOLUME = {7636}, PAGES = {222--236}, YEAR = {2012}, MONTH = Nov, DOI = {10.1007/978-3-642-34321-6\_15}, KEYWORDS = {SOA ; BPM ; CEP ; service choreography ; business process ; web service ; process monitoring}, HAL_ID = {hal-00730253}, HAL_VERSION = {v2}, }