{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:55:24Z","timestamp":1725569724371},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642169335"},{"type":"electronic","value":"9783642169342"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16934-2_33","type":"book-chapter","created":{"date-parts":[[2010,11,5]],"date-time":"2010-11-05T14:15:39Z","timestamp":1288966539000},"page":"446-453","source":"Crossref","is-referenced-by-count":3,"title":["Business Process Monitoring with BPath"],"prefix":"10.1007","author":[{"given":"Samir","family":"Sebahi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohand-Said","family":"Hacid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1007\/978-3-540-30464-7_40","volume-title":"Conceptual Modeling \u2013 ER 2004","author":"B. Benatallah","year":"2004","unstructured":"Benatallah, B., Casati, F., Toumani, F.: Analysis and Management of Web Service Protocols. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, T.-W. (eds.) ER 2004. LNCS, vol.\u00a03288, pp. 524\u2013541. Springer, Heidelberg (2004)"},{"key":"33_CR2","unstructured":"Clark, J., DeRose, S.: XML path language (XPath) version 1.0, W3C recommendation (1999), http:\/\/www.w3.org\/TR\/xpath"},{"key":"33_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/3-540-45616-3_4","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"P. Blackburn","year":"2002","unstructured":"Blackburn, P., Marx, M.: Tableaux for Quantified Hybrid Logic. In: Egly, U., Ferm\u00fcller, C. (eds.) TABLEAUX 2002. LNCS (LNAI), vol.\u00a02381, pp. 259\u2013286. Springer, Heidelberg (2002)"},{"key":"33_CR4","series-title":"Handbook of theoretical computer science: formal models and semantics","first-page":"995","volume-title":"Temporal and modal logic","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. Handbook of theoretical computer science: formal models and semantics, vol.\u00a0B, pp. 995\u20131072. MIT Press, Cambridge (1990)"},{"key":"33_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/11596141_21","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"L. Baresi","year":"2005","unstructured":"Baresi, L., Guinea, S.: Towards Dynamic Monitoring of WS-BPEL Processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 269\u2013282. Springer, Heidelberg (2005)"},{"key":"33_CR6","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1145\/1035167.1035181","volume-title":"Proceedings of the 2nd International Conference on Service Oriented Computing","author":"K. Mahbub","year":"2004","unstructured":"Mahbub, K., Spanoudakis, G.: A framework for requirents monitoring of service based systems. In: Proceedings of the 2nd International Conference on Service Oriented Computing, pp. 84\u201393. ACM, New York (2004)"},{"key":"33_CR7","unstructured":"Beeri, C., Eyal, A.: Monitoring business processes with queries. In: The Proceedings of the 33rd International Conference on Very Large Data Bases VLDB 2007, pp. 603\u2013614 (2007)"},{"key":"33_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-88871-0_23","volume-title":"On the Move to Meaningful Internet Systems: OTM 2008","author":"S. Hall\u00e9","year":"2008","unstructured":"Hall\u00e9, S., Villemaire, R.: XML Methods for Validation of Temporal Properties on Message Traces with Data. In: Meersman, R., Tari, Z. (eds.) OTM 2008. LNCS, vol.\u00a05332, pp. 337\u2013353. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16934-2_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,13]],"date-time":"2021-11-13T03:16:25Z","timestamp":1636773385000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16934-2_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642169335","9783642169342"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16934-2_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}