{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T16:53:38Z","timestamp":1759683218735,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642343209"},{"type":"electronic","value":"9783642343216"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34321-6_15","type":"book-chapter","created":{"date-parts":[[2013,1,18]],"date-time":"2013-01-18T12:06:55Z","timestamp":1358510815000},"page":"222-236","source":"Crossref","is-referenced-by-count":3,"title":["An Optimized Derivation of Event Queries to Monitor Choreography Violations"],"prefix":"10.1007","author":[{"given":"Aymen","family":"Baouab","sequence":"first","affiliation":[]},{"given":"Olivier","family":"Perrin","sequence":"additional","affiliation":[]},{"given":"Claude","family":"Godart","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Grefen, P.: Towards dynamic interorganizational business process management. In: Enabling Technologies: Infrastructure for Collaborative Enterprises (2006)","DOI":"10.1109\/WETICE.2006.70"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Ardissono, L., Furnari, R., Goy, A., Petrone, G., Segnan, M.: Monitoring choreographed services. In: Innovations and Advanced Techniques in Computer and Information Sciences and Engineering, CISSE 2006, pp. 283\u2013288 (2006)","DOI":"10.1007\/978-1-4020-6268-1_51"},{"key":"15_CR3","unstructured":"Francalanza, A., Gauci, A., Pace, G.: Runtime monitoring of distributed systems (extended abstract). Technical report, University of Malta, WICT (2010)"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-642-17616-6_6","volume-title":"Web Information Systems Engineering \u2013 WISE 2010","author":"O. Moser","year":"2010","unstructured":"Moser, O., Rosenberg, F., Dustdar, S.: Event Driven Monitoring for Service Composition Infrastructures. In: Chen, L., Triantafillou, P., Suel, T. (eds.) WISE 2010. LNCS, vol.\u00a06488, pp. 38\u201351. Springer, Heidelberg (2010)"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Baouab, A., Fdhila, W., Perrin, O., Godart, C.: Towards decentralized monitoring of supply chains. In: 19th IEEE International Conference on Web Services, ICWS (2012)","DOI":"10.1109\/ICWS.2012.13"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Baouab, A., Perrin, O., Godart, C.: An event-driven approach for runtime verification of inter-organizational choreographies. In: 2011 IEEE International Conference on Services Computing, SCC (2011)","DOI":"10.1109\/SCC.2011.55"},{"key":"15_CR7","volume-title":"Proceedings of the 13th International World Wide Web Conference, WWW Alt. 2004","author":"G.B. Chafle","year":"2004","unstructured":"Chafle, G.B., Chandra, S., Mann, V., Nanda, M.G.: Decentralized orchestration of composite web services. In: Proceedings of the 13th International World Wide Web Conference, WWW Alt. 2004. ACM, New York (2004)"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Halle, S., Villemaire, R.: Flexible and reliable messaging using runtime monitoring. In: 13th Enterprise Distributed Object Computing Conference Workshops, EDOCW 2009 (September 2009)","DOI":"10.1109\/EDOCW.2009.5332002"},{"key":"15_CR9","unstructured":"OMG: Business process model and notation (bpmn), version 2.0 (2011)"},{"key":"15_CR10","unstructured":"Etzion, O., Niblett, P., Luckham, D.: Event Processing in Action. Manning Pubs. Co Series. Manning Publications (2010)"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-642-23059-2_16","volume-title":"Business Process Management","author":"M. Weidlich","year":"2011","unstructured":"Weidlich, M., Ziekow, H., Mendling, J., G\u00fcnther, O., Weske, M., Desai, N.: Event-Based Monitoring of Process Execution Violations. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol.\u00a06896, pp. 182\u2013198. Springer, Heidelberg (2011)"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Weidlich, M., Polyvyanyy, A., Desai, N., Mendling, J., Weske, M.: Process compliance analysis based on behavioural profiles. Inf. Syst.\u00a036(7) (November 2011)","DOI":"10.1016\/j.is.2011.04.002"},{"key":"15_CR13","unstructured":"Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y., Barreto, C.: Web services choreography description language version 1.0. W3C (2005)"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Wetzstein, B., Karastoyanova, D., Kopp, O., Leymann, F., Zwink, D.: Cross-organizational process monitoring based on service choreographies. In: Proceedings of the 2010 ACM Symposium on Applied Computing, SAC 2010 (2010)","DOI":"10.1145\/1774088.1774601"},{"key":"15_CR15","unstructured":"Fremantle, P., Patil, S., Davis, D., Karmarkar, A., Pilz, G., Winkler, S., Yal\u00e7inalp, U.: Web Services Reliable Messaging (WS-ReliableMessaging). OASIS (2009)"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-642-13675-7_6","volume-title":"Applications and Theory of Petri Nets","author":"M. Weidlich","year":"2010","unstructured":"Weidlich, M., Polyvyanyy, A., Mendling, J., Weske, M.: Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol.\u00a06128, pp. 63\u201383. Springer, Heidelberg (2010)"},{"key":"15_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-3-642-19589-1_2","volume-title":"WS-FM 2010","author":"A. Polyvyanyy","year":"2011","unstructured":"Polyvyanyy, A., Vanhatalo, J., V\u00f6lzer, H.: Simplified Computation and Generalization of the Refined Process Structure Tree. In: Bravetti, M., Bultan, T. (eds.) WS-FM 2010. LNCS, vol.\u00a06551, pp. 25\u201341. Springer, Heidelberg (2011)"},{"key":"15_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-74974-5_4","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"J. Vanhatalo","year":"2007","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Leymann, F.: Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 43\u201355. Springer, Heidelberg (2007)"},{"key":"15_CR19","unstructured":"EsperTech: Esper - Complex Event Processing (2011), \n                      \n                        http:\/\/esper.codehaus.org"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Subramanian, S., Thiran, P., Narendra, N., Mostefaoui, G., Maamar, Z.: On the enhancement of bpel engines for self-healing composite web services. In: International Symposium on Applications and the Internet, SAINT 2008 (2008)","DOI":"10.1109\/SAINT.2008.12"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Barbon, F., Traverso, P., Pistore, M., Trainotti, M.: Run-time monitoring of instances and classes of web service compositions. In: IEEE International Conference on Web Services (2006)","DOI":"10.1109\/ICWS.2006.113"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"Dahanayake, A., Welke, R.J., Cavalheiro, G.: Improving the understanding of bam technology for real-time decision support. Int. J. Bus. Inf. Syst. 7 (2011)","DOI":"10.1504\/IJBIS.2011.037294"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Kikuchi, S., Shimamura, H., Kanna, Y.: Monitoring method of cross-sites\u2019 processes executed by multiple ws-bpel processors. In: CEC\/EEE 2007 (2007)","DOI":"10.1109\/CEC-EEE.2007.72"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34321-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:13:19Z","timestamp":1558300399000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34321-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642343209","9783642343216"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34321-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}