{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:32:39Z","timestamp":1773192759160,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540481058","type":"print"},{"value":"9783540481072","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11912873_18","type":"book-chapter","created":{"date-parts":[[2006,10,11]],"date-time":"2006-10-11T11:40:04Z","timestamp":1160566804000},"page":"156-168","source":"Crossref","is-referenced-by-count":51,"title":["Pattern Based Property Specification and Verification for Service Composition"],"prefix":"10.1007","author":[{"given":"Jian","family":"Yu","sequence":"first","affiliation":[]},{"given":"Tan Phan","family":"Manh","sequence":"additional","affiliation":[]},{"given":"Jun","family":"Han","sequence":"additional","affiliation":[]},{"given":"Yan","family":"Jin","sequence":"additional","affiliation":[]},{"given":"Yanbo","family":"Han","sequence":"additional","affiliation":[]},{"given":"Jianwu","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"10","key":"18_CR1","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/944217.944233","volume":"46","author":"M.P. Papazoglou","year":"2003","unstructured":"Papazoglou, M.P., Georgakopoulos, D.: Special Issue on Service Oriented Computing. Communications of ACM\u00a046(10), 24\u201328 (2003)","journal-title":"Communications of ACM"},{"key":"18_CR2","volume-title":"Web Services Concepts, Architectures and Applications","author":"G. Alonso","year":"2004","unstructured":"Alonso, G., Casati, F., Grigori, K.H., Machiraju, V.: Web Services Concepts, Architectures and Applications. Springer, Heidelberg (2004)"},{"key":"18_CR3","unstructured":"Arkin, A., Askary, S., Bloch, B., Curbera, F., Goland, Y., Kartha, N., Liu, C.K., Thatte, S., Yendluri, P., Yiu, A.: Web Services Business Process Execution Language Version 2.0 Working Draft (2004), http:\/\/www.oasis-open.org\/committees\/download.php\/10347\/wsbpel-specification-draft-120204.htm"},{"key":"18_CR4","unstructured":"BPMI: Business Process Modeling Language (2002), http:\/\/www.bpmi.org\/"},{"issue":"1","key":"18_CR5","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/aic.690380107","volume":"38","author":"E.M. Clarke","year":"1992","unstructured":"Clarke, E.M., Moon, I., Powers, G.J., Burch, J.R.: Automatic Verification of Sequential Control Systems using Temporal Logic. American Institute of Chemical Engineers Journal\u00a038(1), 67\u201375 (1992)","journal-title":"American Institute of Chemical Engineers Journal"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property Specification Patterns for Finite-State Verification. In: 2nd Workshop on Formal Methods in Software Practice, Clearwater Beach, FL, USA, pp. 7\u201315 (1998)","DOI":"10.1145\/298595.298598"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Smith, R.L., Avrunin, G.S., Clarke, L.A., Osterweil, L.J.: PROPEL: An Approach Supporting Property Elucidation. In: Proc. 24th International Conference on Software Engineering, Orlando, FL, USA, pp. 11\u201321 (2002)","DOI":"10.1145\/581339.581345"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Gruhn, V., Laue, R.: Specification Patterns for Time-Related Properties. In: 12th International Symposium on Temporal Representation and Reasoning, Burlington, Vermont, USA, pp. 189\u2013191 (2005)","DOI":"10.1109\/TIME.2005.33"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Foster, H.: LTSA WS-Engineering (2006), http:\/\/www.doc.ic.ac.uk\/ltsa\/bpel4ws\/","DOI":"10.1145\/1134285.1134408"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in Property Specifications for Finite state Verification. In: Proc. International Conference on Software Engineering, Los Angeles, CA, USA, pp. 411\u2013420 (1999)","DOI":"10.1145\/302405.302672"},{"key":"18_CR11","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: A System of Specification Patterns (1997), http:\/\/www.cis.ksu.edu\/santos\/spec-patterns"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Jin, Y., Han, J.: Consistency and Interoperability Checking for Component Interaction Rules. In: Proc. 12th Asia-Pacific Software Engineering Conference, Taipei, Taiwan (2005)","DOI":"10.1109\/APSEC.2005.55"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Li, Z., Han, J., Jin, Y.: Pattern-Based Specification and Validation of Web Services Interaction Properties. In: Proc. 3rd International Conference on Service Oriented Computing Amsterdam, Netherland (2005)","DOI":"10.1007\/11596141_7"},{"key":"18_CR14","unstructured":"OntoViz Tab: Visualizing Prot\u00e9g\u00e9 Ontologies (2005), http:\/\/protege.stanford.edu\/plugins\/ontoviz\/ontoviz.html"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Yu, J., Phan, M.T., Han, J., Jin, Y.: Pattern based Property Specification and Verification for Service Composition. Technical Report SUT.CeCSES-TR010. CeCSES, Swinburne University of Technology (2006), http:\/\/www.it.swin.edu.au\/centres\/cecses\/trs.htm","DOI":"10.1007\/11912873_18"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Foster, H.: A Rigorous Approach to Engineering Web Services Compositions. PhD thesis, Imperial College London (2006), http:\/\/www.doc.ict.ac.uk\/~hf1","DOI":"10.1109\/SCC.2005.105"},{"key":"18_CR17","unstructured":"Stahl, C.: A Petri Net Semantics for BPEL. Informatik-Berichte 188, Humboldt-Universitat zu Berlin (June 2005)"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: Proc. 13th World Wide Web Conference, New York, USA, pp. 621\u2013630 (2004)","DOI":"10.1145\/988672.988756"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Paun, D.O., Chechik, M.: Events in Linear-Time Properties. In: Proc. 4th International Conference on Requirements Engineering, Limerick, Ireland (1999)","DOI":"10.1109\/ISRE.1999.777992"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Corbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach\u2019, S., Pasareanu, C.S., Zheng, R., Zheng, H.: Bandera: Extracting finite-state models from Java source code. In: Proc. 22nd International Conference on Software Engineering, Limerick, Irelan, pp. 439\u2013448 (2000)","DOI":"10.1145\/337180.337234"}],"container-title":["Lecture Notes in Computer Science","Web Information Systems \u2013 WISE 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11912873_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T05:00:10Z","timestamp":1683608410000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11912873_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540481058","9783540481072"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11912873_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}