{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:07:54Z","timestamp":1725494874152},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540755623"},{"type":"electronic","value":"9783540755630"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-75563-0_40","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T07:07:07Z","timestamp":1194937627000},"page":"599-614","source":"Crossref","is-referenced-by-count":14,"title":["Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols"],"prefix":"10.1007","author":[{"given":"Julien","family":"Ponge","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boualem","family":"Benatallah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Casati","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farouk","family":"Toumani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"40_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-10876-5","volume-title":"Web Services: Concepts, Architectures, and Applications","author":"G. Alonso","year":"2004","unstructured":"Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts, Architectures, and Applications. Springer, Heidelberg (2004)"},{"key":"40_CR2","doi-asserted-by":"crossref","unstructured":"Benatallah, B., Casati, F., Toumani, F.: Web services conversation modeling: The Cornerstone for E-Business Automation. IEEE Internet Computing\u00a08(1) (January 2004)","DOI":"10.1109\/MIC.2004.1260703"},{"key":"40_CR3","first-page":"403","volume-title":"WWW 2003","author":"T. Bultan","year":"2003","unstructured":"Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to design and analysis of e-service composition. In: WWW 2003, pp. 403\u2013410. ACM Press, New York (2003)"},{"key":"40_CR4","doi-asserted-by":"crossref","unstructured":"Toumani, F., Benatallah, B., Casati, F.: Analysis and Management of Web Services Protocols. ER 2004\u00a0 (2004)","DOI":"10.1007\/978-3-540-30464-7_40"},{"issue":"4","key":"40_CR5","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/MIC.2006.87","volume":"10","author":"B. Benatallah","year":"2006","unstructured":"Benatallah, B., Casati, F., Toumani, F., Ponge, J., Nezhad, H.R.M.: Service mosaic: A model-driven framework for web services life-cycle management. IEEE Internet Computing\u00a010(4), 55\u201363 (2006)","journal-title":"IEEE Internet Computing"},{"key":"40_CR6","doi-asserted-by":"crossref","unstructured":"Alur, R., Madhusudan, P.: Decision problems for timed automata: A survey. In: 4th Intl. School on Formal Methods for Computer, Communication, and Software Systems\u00a0 (2004)","DOI":"10.1007\/978-3-540-30080-9_1"},{"key":"40_CR7","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"40_CR8","doi-asserted-by":"crossref","unstructured":"Ponge, J., Benatallah, B., Casati, F., Toumani, F.: Fine-grained Compatibility and Replaceability Analysis of Timed Web Service Protocols (extended version) (2007), http:\/\/www.isima.fr\/~ponge\/publications\/tr\/er07-extended.pdf","DOI":"10.1007\/978-3-540-75563-0_40"},{"key":"40_CR9","unstructured":"Berard, B., Diekert, V., Gastin, P., Petit, A.: Characterization of the expressive power of silent transitions in timed automata. Technical report, LIAFA Jussieu (1999)"},{"key":"40_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"STACS 1997","author":"V. Diekert","year":"1997","unstructured":"Diekert, V., Gastin, P., Petit, A.: Removing \u03b5-transitions in timed automata. In: Reischuk, R., Morvan, M. (eds.) STACS 1997. LNCS, vol.\u00a01200, Springer, Heidelberg (1997)"},{"key":"40_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/11596141","volume-title":"Proceedings of CAiSE 2005","author":"B. Benatallah","year":"2005","unstructured":"Benatallah, B., Casati, F., Grigori, D., Nezhad, H.R.M., Toumani, F.: Developing Adapters for Web Services Integration. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, Springer, Heidelberg (2005)"},{"key":"40_CR12","doi-asserted-by":"crossref","unstructured":"Bordeaux, L., Salaun, G., Berardi, D., Marcella, M.: When are two Web Services Compatible? In: VLDB TES\u201904, Toronto, Canada (2004)","DOI":"10.1007\/978-3-540-31811-8_2"},{"key":"40_CR13","first-page":"148","volume-title":"WWW 2005","author":"D. Beyer","year":"2005","unstructured":"Beyer, D., Chakrabarti, A., Henzinger, T.A.: Web service interfaces. In: WWW 2005, pp. 148\u2013159. ACM Press, New York (2005)"},{"issue":"2","key":"40_CR14","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/244795.244801","volume":"19","author":"D. Yellin","year":"1997","unstructured":"Yellin, D., Storm, R.: Protocol Specifications and Component Adaptors. ACM Trans. Program. Lang. Syst.\u00a019(2), 292\u2013333 (1997)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"3","key":"40_CR15","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1109\/TSE.2003.1183935","volume":"29","author":"C. Canal","year":"2003","unstructured":"Canal, C., Fuentes, L., Pimentel, E., Troya, J.M., Vallecillo, A.: Adding roles to corba objects. IEEE Trans. Softw. Eng.\u00a029(3), 242\u2013260 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"5","key":"40_CR16","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/MC.2006.181","volume":"39","author":"H.R.M. Nezhad","year":"2006","unstructured":"Nezhad, H.R.M., Benatallah, B., Casati, F., Toumani, F.: Web services interoperability specifications. Computer\u00a039(5), 24\u201332 (2006)","journal-title":"Computer"},{"key":"40_CR17","doi-asserted-by":"crossref","unstructured":"Benatallah, B., Casati, F., Ponge, J., Toumani, F.: Compatibility and replaceability analysis for timed web service protocols. In: BDA (October 2005)","DOI":"10.1007\/978-3-540-30464-7_40"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling - ER 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75563-0_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T17:55:37Z","timestamp":1684086937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75563-0_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540755623","9783540755630"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75563-0_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}