{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:58:54Z","timestamp":1725490734156},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749738"},{"type":"electronic","value":"9783540749745"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-75492-3_7","type":"book-chapter","created":{"date-parts":[[2007,9,22]],"date-time":"2007-09-22T01:27:16Z","timestamp":1190424436000},"page":"74-85","source":"Crossref","is-referenced-by-count":2,"title":["Analysis of Composite Web Services Using Logging Facilities"],"prefix":"10.1007","author":[{"given":"Mohsen","family":"Rouached","sequence":"first","affiliation":[]},{"given":"Claude","family":"Godart","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Akkiraju, R., Flaxer, D., Chang, H., Chao, T., Zhang, L., Wu, F., Jeng, J.: A framework for enabling dynamic e-business via web service. In: Proceedings of the OOPSLA, Florida, USA (2001)"},{"key":"7_CR2","unstructured":"Baglioni, M., Ferrara, U., Romei, A., Ruggieri, S., Turini, F.: Use soap-based intermediaries to build chains of web service functionality (2002)"},{"key":"7_CR3","unstructured":"Brittenham, P., Clune, J., Durand, J., Kleijkers, L., Sankar, K., Seely, S., Stobie, K., Turrell, G.: Ws-i analyzer tool functional specification."},{"key":"7_CR4","first-page":"738","volume-title":"ICWS 2004","author":"H. Foster","year":"2004","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Compatibility verification for web service choreography. In: ICWS 2004. Proceedings of the IEEE International Conference on Web Services, Washington, DC, p. 738. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1145\/988672.988756","volume-title":"WWW 2004","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting bpel web services. In: WWW 2004. Proceedings of the 13th international conference on World Wide Web, pp. 621\u2013630. ACM Press, New York (2004)"},{"key":"7_CR6","unstructured":"Irani, R.: Web services intermediaries adding value to web services (November 2001)"},{"key":"7_CR7","unstructured":"Koshina, M., van Breugel, F.: Verification of business processes for web services. Technical report, New York University, SFUCMPT-TR-2003-06 (2003)"},{"issue":"1","key":"7_CR8","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.J.: A logic-based calculus of events. New generation Computing\u00a04(1), 67\u201395 (1986)","journal-title":"New generation Computing"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Nakajima, S.: Verification of web service flows with model-checking techniques. In: CW, pp. 378\u2013385 (2002)","DOI":"10.1109\/CW.2002.1180904"},{"key":"7_CR10","volume-title":"Studies in Classification, Data Analysis, and Knowledge Organization","author":"J. Punin","year":"2001","unstructured":"Punin, J., Krishnamoorthy, M., Zaki, M.: Web usage mining: Languages and algorithms. In: Studies in Classification, Data Analysis, and Knowledge Organization, Springer, Heidelberg (2001)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Rouached, M., Gaaloul, W., van der Aalst, W.M.P., Bhiri, S., Godart, C.: Web service mining and verification of properties: An approach based on event calculus. In: CoopIS 2006. Proceedings 14th International Conference on Cooperative Information Systems (November 2006)","DOI":"10.1007\/11914853_72"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/11581062_32","volume-title":"Web Information Systems Engineering \u2013 WISE 2005","author":"M. Rouached","year":"2005","unstructured":"Rouached, M., Perrin, O., Godart, C.: A contract-based approach for monitoring collaborative web services using commitments in the event calculus. In: Ngu, A.H.H., Kitsuregawa, M., Neuhold, E.J., Chung, J.-Y., Sheng, Q.Z. (eds.) WISE 2005. LNCS, vol.\u00a03806, pp. 426\u2013434. Springer, Heidelberg (2005)"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11841760_18","volume-title":"Business Process Management","author":"M. Rouached","year":"2006","unstructured":"Rouached, M., Perrin, O., Godart, C.: Towards formal verification of web service composition. In: Dustdar, S., Fiadeiro, J.L., Sheth, A. (eds.) BPM 2006. LNCS, vol.\u00a04102, Springer, Heidelberg (2006)"},{"issue":"4","key":"7_CR14","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1006\/jsco.2000.0469","volume":"32","author":"S. Stratulat","year":"2001","unstructured":"Stratulat, S.: A general framework to build contextual cover set induction provers. Journal of Symbolic Computation\u00a032(4), 403\u2013445 (2001)","journal-title":"Journal of Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75492-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T06:42:13Z","timestamp":1556865733000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75492-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540749738","9783540749745"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75492-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}