{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,14]],"date-time":"2025-02-14T05:30:46Z","timestamp":1739511046059,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642108709"},{"type":"electronic","value":"9783642108716"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10871-6_18","type":"book-chapter","created":{"date-parts":[[2009,12,14]],"date-time":"2009-12-14T20:49:47Z","timestamp":1260823787000},"page":"261-275","source":"Crossref","is-referenced-by-count":0,"title":["An Approach to Analyzing Dynamic Trustworthy Service Composition"],"prefix":"10.1007","author":[{"given":"Guisheng","family":"Fan","sequence":"first","affiliation":[]},{"given":"Huiqun","family":"Yu","sequence":"additional","affiliation":[]},{"given":"Liqiong","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Dongmei","family":"Liu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"18_CR1","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1007\/s00778-006-0020-3","volume":"17","author":"Q. Yu","year":"2008","unstructured":"Yu, Q., Liu, X.M., Athman, B., Brahim, M.: Deploying and managing Web services: issues, solutions, and directions. The Int. J. Very Large Data Bases\u00a017(3), 537\u2013572 (2008)","journal-title":"The Int. J. Very Large Data Bases"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Beek, M., Bucchiarone, A., Gnesi, S.: Web Service Composition Approaches: From Industrial Standards to Formal Methods. In: Proc. Int. Conf. Internet and Web Applications and Services, pp. 15\u201320 (2007)","DOI":"10.1109\/ICIW.2007.71"},{"issue":"1","key":"18_CR3","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MIC.2006.1","volume":"10","author":"T. Bultan","year":"2006","unstructured":"Bultan, T., Su, J., Fu, X.: Analyzing conversations of web services. IEEE Internet Computing\u00a010(1), 18\u201325 (2006)","journal-title":"IEEE Internet Computing"},{"issue":"3","key":"18_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1361186.1361189","volume":"8","author":"W.M.P. Aalst van der","year":"2008","unstructured":"van der Aalst, W.M.P., Dumas, M., Ouyang, C.: A conformance checking of service behavior. Tran. on Internet Technology\u00a08(3), 1\u201330 (2008)","journal-title":"Tran. on Internet Technology"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Xiong, P.C., Zhou, M.H., Pu, C.: A Petri Net Siphon Based Solution to Protocol-level Service Composition Mismatches. In: Proc. IEEE Int. Conf. Web Services, pp. 952\u2013958 (2009)","DOI":"10.1109\/ICWS.2009.108"},{"key":"18_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05324-9","volume-title":"Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications","author":"C. Girault","year":"2003","unstructured":"Girault, C., Valk, R.: Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2003)"},{"issue":"18","key":"18_CR7","doi-asserted-by":"publisher","first-page":"4281","DOI":"10.1016\/j.comcom.2008.07.014","volume":"31","author":"S.I. Ahamed","year":"2008","unstructured":"Ahamed, S.I., Sharmin, M.: A trust-based secure service discovery (TSSD) model for pervasive computing. Computer Communications\u00a031(18), 4281\u20134293 (2008)","journal-title":"Computer Communications"},{"issue":"1","key":"18_CR8","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.C., Randell, B.: Basic concepts and taxonomy of dependable and secure computing. IEEE Tran. Dependable and Secure Computing\u00a01(1), 11\u201333 (2004)","journal-title":"IEEE Tran. Dependable and Secure Computing"},{"issue":"1","key":"18_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/844357.844360","volume":"4","author":"S. Ran","year":"2003","unstructured":"Ran, S.: A model for Web services discovery with QoS. ACM SIGecom Exchanges\u00a04(1), 1\u201310 (2003)","journal-title":"ACM SIGecom Exchanges"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Fan, G.S., Yu, H.Q., Chen, L.Q., Liu, D.M.: Analyzing Reliability of Time Constrained Service Composition. In: Proc. IEEE\/ACIS Int. Conf. Computer and Information Science, pp. 1155\u20131160 (2009)","DOI":"10.1109\/ICIS.2009.77"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Salaun, G., Bordeaux, L., Schaerf, M.: Describing and reasoning on Web services using process algebra. In: Proc. IEEE Int. Conf. Web Services, pp. 43\u201350 (2004)","DOI":"10.1109\/ICWS.2004.1314722"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Ferrara, A.: Web services: a process algebra approach. In: Proc. Int. conf. Service Oriented Computing, pp. 242\u2013251 (2004)","DOI":"10.1145\/1035167.1035202"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Hu, J.J., Zhao, X., Cao, Y.D., Zhou, R.T.: A Service Composition Model with Characteristic of Transaction based on Finite State Machine. In: Proc. Int. Conf. Computer and Electrical Engineering, pp. 450\u2013454 (2008)","DOI":"10.1109\/ICCEE.2008.86"},{"issue":"4","key":"18_CR14","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1504\/IJBPIM.2006.012626","volume":"1","author":"R. Farahbod","year":"2006","unstructured":"Farahbod, R., Glasser, U., Vajihollahi, M.: An abstract machine architecture for web service based business process management. Int. J. Business Process Integration and Management\u00a01(4), 279\u2013291 (2006)","journal-title":"Int. J. Business Process Integration and Management"},{"key":"18_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1062","DOI":"10.1007\/978-3-540-71703-4_105","volume-title":"Advances in Databases: Concepts, Systems and Applications","author":"W. Tan","year":"2007","unstructured":"Tan, W., Rao, F., Fan, Y., Zhu, J.: Compatibility analysis and mediation-aided composition for BPEL services. In: Kotagiri, R., Radha Krishna, P., Mohania, M., Nantajeewarawat, E. (eds.) DASFAA 2007. LNCS, vol.\u00a04443, pp. 1062\u20131065. Springer, Heidelberg (2007)"},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/11538394_15","volume-title":"Business Process Management","author":"S. Hinz","year":"2005","unstructured":"Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to petri nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 220\u2013235. Springer, Heidelberg (2005)"},{"key":"18_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/11610113_25","volume-title":"Frontiers of WWW Research and Development - APWeb 2006","author":"Y.P. Yang","year":"2006","unstructured":"Yang, Y.P., Tan, Q.P., Xiao, Y., Liu, F.: Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification. In: Zhou, X., Li, J., Shen, H.T., Kitsuregawa, M., Zhang, Y. (eds.) APWeb 2006. LNCS, vol.\u00a03841, pp. 275\u2013284. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10871-6_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T20:25:10Z","timestamp":1739478310000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10871-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642108709","9783642108716"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10871-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}