{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:07:24Z","timestamp":1725520044369},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540888703"},{"type":"electronic","value":"9783540888710"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-88871-0_23","type":"book-chapter","created":{"date-parts":[[2008,11,7]],"date-time":"2008-11-07T00:46:59Z","timestamp":1226018819000},"page":"337-353","source":"Crossref","is-referenced-by-count":11,"title":["XML Methods for Validation of Temporal Properties on Message Traces with Data"],"prefix":"10.1007","author":[{"given":"Sylvain","family":"Hall\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roger","family":"Villemaire","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Arkin, A., Askary, S., Fordin, S., Jekeli, W., Kawaguchi, K., Orchard, D., Pogliani, S., Riemer, K., Struble, S., Takacsi-Nagy, P., Trickovic, I., Zimek, S.: Web service choreography interface (WSCI) 1.0 (2002), http:\/\/www.w3.org\/TR\/wsci"},{"key":"23_CR2","first-page":"63","volume-title":"ICWS","author":"F. Barbon","year":"2006","unstructured":"Barbon, F., Traverso, P., Pistore, M., Trainotti, M.: Run-time monitoring of instances and classes of web service compositions. In: ICWS, pp. 63\u201371. IEEE Computer Society, Los Alamitos (2006)"},{"key":"23_CR3","unstructured":"Berglund, A., Boag, S., Chamberlin, D., Fern\u00e1ndez, M.F., Kay, M., Robie, J., Sim\u00e9on, J.: XML path language (XPath) version 2.0, W3C recommendation (2007), http:\/\/www.w3.org\/TR\/xpath20"},{"key":"23_CR4","unstructured":"Boag, S., Chamberlin, D., Fern\u00e1ndez, M.F., Florescu, D., Robie, J., Sim\u00e9on, J.: XQuery 1.0: An XML query language, W3C working draft (2005), http:\/\/www.w3.org\/TR\/xquery\/"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to design and analysis of e-service composition. In: WWW, pp. 403\u2013410 (2003)","DOI":"10.1145\/775209.775210"},{"key":"23_CR6","first-page":"221","volume-title":"ICSE","author":"M. Caporuscio","year":"2004","unstructured":"Caporuscio, M., Inverardi, P., Pelliccione, P.: Compositional verification of middleware-based software architecture descriptions. In: ICSE, pp. 221\u2013230. IEEE Computer Society, Los Alamitos (2004)"},{"key":"23_CR7","unstructured":"Clark, J., DeRose, S.: XML path language (XPath) version 1.0, W3C recommendation (1999), http:\/\/www.w3.org\/TR\/xpath"},{"key":"23_CR8","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"23_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/11841197_11","volume-title":"Web Services and Formal Methods","author":"G. Decker","year":"2006","unstructured":"Decker, G., Zaha, J.M., Dumas, M.: Execution semantics for service choreographies. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 163\u2013177. Springer, Heidelberg (2006)"},{"key":"23_CR10","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1145\/988672.988756","volume-title":"WWW","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: Feldman, S.I., Uretsky, M., Najork, M., Wills, C.E. (eds.) WWW, pp. 621\u2013630. ACM, New York (2004)"},{"key":"23_CR11","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/1321211.1321217","volume-title":"CASCON 2007: Proceedings of the 2007 conference of the center for advanced studies on Collaborative research","author":"Y. Gan","year":"2007","unstructured":"Gan, Y., Chechik, M., Nejati, S., Bennett, J., O\u2019Farrell, B., Waterhouse, J.: Runtime monitoring of web service conversations. In: CASCON 2007: Proceedings of the 2007 conference of the center for advanced studies on Collaborative research, pp. 42\u201357. ACM, New York (2007)"},{"key":"23_CR12","series-title":"IFIP Conference Proceedings","first-page":"3","volume-title":"PSTV","author":"R. Gerth","year":"1995","unstructured":"Gerth, R., Peled, D., Vardi, M.Y., Wolper, P.: Simple on-the-fly automatic verification of linear temporal logic. In: Dembinski, P., Sredniawa, M. (eds.) PSTV. IFIP Conference Proceedings, vol.\u00a038, pp. 3\u201318. Chapman & Hall, Boca Raton (1995)"},{"key":"23_CR13","first-page":"179","volume-title":"PODS","author":"G. Gottlob","year":"2003","unstructured":"Gottlob, G., Koch, C., Pichler, R.: The complexity of xpath query evaluation. In: PODS, pp. 179\u2013190. ACM, New York (2003)"},{"key":"23_CR14","unstructured":"Object\u00a0Management Group. UML specification version 1.1, OMG document ad\/97-08-11, http:\/\/www.omg.org\/cgi-bin\/doc?ad\/97-08-11"},{"key":"23_CR15","unstructured":"Hall\u00e9, S., Villemaire, R.: Runtime monitoring of message-based workflows with data. In: EDOC (to appear, 2008)"},{"key":"23_CR16","first-page":"267","volume-title":"EDOC","author":"S. Hall\u00e9","year":"2007","unstructured":"Hall\u00e9, S., Villemaire, R., Cherkaoui, O., Ghandour, B.: Model-checking data-aware temporal workflow properties with CTL-FO+. In: EDOC, pp. 267\u2013278. IEEE Computer Society, Los Alamitos (2007)"},{"key":"23_CR17","unstructured":"Josephraj, J.: Web services choreography in practice (2005), http:\/\/www-128.ibm.com\/developerworks\/webservices\/library\/ws-choreography\/"},{"key":"23_CR18","unstructured":"Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y.: Web services choreography description language version 1.0 (2005), http:\/\/www.w3.org\/TR\/ws-cdl-10\/"},{"key":"23_CR19","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1145\/1135777.1135819","volume-title":"WWW","author":"R. Kazhamiakin","year":"2006","unstructured":"Kazhamiakin, R., Pistore, M., Santuari, L.: Analysis of communication models in web service compositions. In: Carr, L., De Roure, D., Iyengar, A., Goble, C.A., Dahlin, M. (eds.) WWW, pp. 267\u2013276. ACM, New York (2006)"},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Nakajima, S.: Lightweight formal analysis of web service flows. Progress in Informatics (2), 57\u201376 (2005)","DOI":"10.2201\/NiiPi.2005.2.5"},{"key":"23_CR21","unstructured":"Parastatidis, S., Webber, J., Woodman, S., Kuo, D., Greenfield, P.: SOAP service description language (SSDL). Technical Report CS-TR-899, University of Newcastle, Newcastle upon Tyne (2005)"},{"key":"23_CR22","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.entcs.2004.05.004","volume":"105","author":"M. Venzke","year":"2004","unstructured":"Venzke, M.: Specifications using XQuery expressions on traces. Electr. Notes Theor. Comput. Sci.\u00a0105, 109\u2013118 (2004)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"23_CR23","doi-asserted-by":"crossref","unstructured":"Walton, C.D.: Model checking multi-agent web services (2004)","DOI":"10.1007\/11493402_8"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2008"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88871-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,20]],"date-time":"2023-05-20T22:24:33Z","timestamp":1684621473000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88871-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540888703","9783540888710"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88871-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}