{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:55:37Z","timestamp":1747810537294,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540892465"},{"type":"electronic","value":"9783540892472"}],"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-89247-2_9","type":"book-chapter","created":{"date-parts":[[2008,10,17]],"date-time":"2008-10-17T12:00:30Z","timestamp":1224244830000},"page":"137-157","source":"Crossref","is-referenced-by-count":15,"title":["Property Patterns for Runtime Monitoring of Web Service Conversations"],"prefix":"10.1007","author":[{"given":"Jocelyn","family":"Simmonds","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marsha","family":"Chechik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Litani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bill","family":"O\u2019Farrell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Dwyer, M., Avrunin, G., Corbett, J.: Patterns in Property Specifications for Finite-State Verification. In: Proceedings of 21st International Conference on Software Engineering (ICSE 1999) pp. 411\u2013420 (May 1999)","DOI":"10.1145\/302405.302672"},{"key":"9_CR2","unstructured":"IBM: Business Process Execution Language for Web Services, http:\/\/www-128.ibm.com\/developerworks\/library\/specification\/ws-bpel\/"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/3-540-45089-0_18","volume-title":"Implementation and Application of Automata","author":"X. Fu","year":"2003","unstructured":"Fu, X., Bultan, T., Su, J.: Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. In: H. Ibarra, O., Dang, Z. (eds.) CIAA 2003. LNCS, vol.\u00a02759, pp. 188\u2013200. Springer, Heidelberg (2003)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: Proceedings of the Thirteenth International World Wide Web Conference (WWW 2004), New York, pp. 621\u2013630 (May 2004)","DOI":"10.1145\/988672.988756"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Kazhamiakin, R., Pistore, M.: A Parametric Communication Model for the Verification of BPEL4WS Compositions. In: EPEW\/WS-FM, pp. 318\u2013332 (2005)","DOI":"10.1007\/11549970_23"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step. In: EPEW\/WS-FM, pp. 257\u2013271 (2005)","DOI":"10.1007\/11549970_19"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1109\/ASE.2003.1240303","volume-title":"Proceedings of 18th IEEE International Conference on Automated Software Engineering (ASE 2003)","author":"H. Foster","year":"2003","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based Verification of Web Service Compositions. In: Proceedings of 18th IEEE International Conference on Automated Software Engineering (ASE 2003), pp. 152\u2013163. IEEE Computer Society, Los Alamitos (2003)"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Ghafari, N., Gurfinkel, A., Klarlund, N., Trefler, R.: Algorithmic Analysis of Piecewise FIFO Systems. In: Proceedings of 7th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2007), Austin, Texas, LNCS, pp. 45\u201352 (November 2007)","DOI":"10.1109\/FAMCAD.2007.18"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Baresi, L., Ghezzi, C., Guinea, S.: Smart Monitors for Composed Services. In: ICSOC 2004, pp. 193\u2013202 (2004)","DOI":"10.1145\/1035167.1035195"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Robinson, W.N.: Monitoring Web Service Requirements. In: Proceedings of RE 2003, pp. 65\u201374 (2003)","DOI":"10.1109\/ICRE.2003.1232738"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Mahbub, K., Spanoudakis, G.: Run-time Monitoring of Requirements for Systems Composed of Web-Services: Initial Implementation and Evaluation Experience. In: Proceedings of ICWS 2005, pp. 257\u2013265 (2005)","DOI":"10.1109\/ICWS.2005.100"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Gan, Y., Chechik, M., Nejati, S., Bennett, J., O\u2019Farrell, B., Waterhouse, J.: Runtime Monitoring of Web Service Conversations. In: Proceedings of CASCON 2007 (November 2007)","DOI":"10.1145\/1321211.1321217"},{"key":"9_CR13","unstructured":"Object Management Group (OMG): Unified Modeling Language (UML 2.0), http:\/\/www.uml.org\/"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Autili, M., Inverardi, P., Pelliccione, P.: A Scenario Based Notation for Specifying Temporal Properties. In: Proceedings of SCESM, ICSE 2006 Workshop (2006)","DOI":"10.1145\/1138953.1138959"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/3-540-48320-9_10","volume-title":"CONCUR 1999. Concurrency Theory","author":"R. Alur","year":"1999","unstructured":"Alur, R., Yannakakis, M.: Model Checking of Message Sequence Charts. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 114\u2013129. Springer, Heidelberg (1999)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Grosu, R., Smolka, S.A.: Safety-Liveness Semantics for UML 2.0 Sequence Diagrams. In: ACSD 2005, pp. 6\u201314 (2005)","DOI":"10.1109\/ACSD.2005.31"},{"key":"9_CR17","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading (1979)"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Harel, D., Maoz, S.: Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams. In: Proceedings of SCESM, ICSE 2006 Workshop, pp. 13\u201320 (2006)","DOI":"10.1145\/1138953.1138958"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","first-page":"79","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"H. St\u00f6rrle","year":"2003","unstructured":"St\u00f6rrle, H.: Assert, Negate and Refinement in UML 2 Interactions. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 79\u201394. Springer, Heidelberg (2003)"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/3-540-60915-6_6","volume-title":"Logics for Concurrency","author":"M. Vardi","year":"1996","unstructured":"Vardi, M.: An Automata-Theoretic Approach to Linear Temporal Logic. In: Moller, F., Birtwistle, G. (eds.) Logics for Concurrency. LNCS, vol.\u00a01043, pp. 236\u2013266. Springer, Heidelberg (1996)"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property Specification Patterns for Finite-state Verification. In: Proceedings of 2nd Workshop on Formal Methods in Software Practice (March 1998)","DOI":"10.1145\/298595.298598"},{"key":"9_CR22","volume-title":"Model Checking","author":"E. Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"9_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/11912873_18","volume-title":"Web Information Systems \u2013 WISE 2006","author":"J. Yu","year":"2006","unstructured":"Yu, J., Manh, T.P., Han, J., Jin, Y., Han, Y., Wang, J.: Pattern Based Property Specification and Verification for Service Composition. In: Aberer, K., Peng, Z., Rundensteiner, E.A., Zhang, Y., Li, X. (eds.) WISE 2006. LNCS, vol.\u00a04255, pp. 156\u2013168. Springer, Heidelberg (2006)"},{"key":"9_CR24","unstructured":"IBM: WebSphere Business Integration Software, http:\/\/www-306.ibm.com\/software\/info1\/websphere\/index.jsp?tab=products\/businessint"},{"key":"9_CR25","unstructured":"IBM: WebSphere Process Server, http:\/\/www-306.ibm.com\/software\/integration\/wps\/"},{"key":"9_CR26","unstructured":"IBM: WebSphere Integration Developer, http:\/\/www-306.ibm.com\/software\/integration\/wid\/"},{"issue":"6","key":"9_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/605466.605468","volume":"27","author":"A. Zeller","year":"2002","unstructured":"Zeller, A.: Isolating cause-effect chains from computer programs. SIGSOFT Softw. Eng. Notes\u00a027(6), 1\u201310 (2002)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"issue":"3","key":"9_CR28","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s10009-005-0202-0","volume":"8","author":"A. Groce","year":"2006","unstructured":"Groce, A., Chaki, S., Kroening, D., Strichman, O.: Error explanation with distance metrics. Int. J. Softw. Tools Technol. Transf.\u00a08(3), 229\u2013247 (2006)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Mostarda, L., Tivoli, M., Autili, M.: Synthesis of Correct and Distributed Adaptors for Component-Based Systems: an Automatic Approach. In: Proceedings of ASE 2005, pp. 405\u2013409 (2005)","DOI":"10.1145\/1101908.1101981"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89247-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T23:02:40Z","timestamp":1738450960000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89247-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540892465","9783540892472"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89247-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}