{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:25:56Z","timestamp":1742394356776,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540250494"},{"type":"electronic","value":"9783540318118"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31811-8_7","type":"book-chapter","created":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T15:30:50Z","timestamp":1267457450000},"page":"80-94","source":"Crossref","is-referenced-by-count":3,"title":["$\\mathcal {ESC}$ : A Tool for Automatic Composition of e-Services Based on Logics of Programs"],"prefix":"10.1007","author":[{"given":"Daniela","family":"Berardi","sequence":"first","affiliation":[]},{"given":"Diego","family":"Calvanese","sequence":"additional","affiliation":[]},{"given":"Giuseppe","family":"De Giacomo","sequence":"additional","affiliation":[]},{"given":"Maurizio","family":"Lenzerini","sequence":"additional","affiliation":[]},{"given":"Massimo","family":"Mecella","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","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":"7_CR2","unstructured":"Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services (Version 1.1) (May 2004), http:\/\/www-106.ibm.com\/developerworks\/library\/ws-bpel\/"},{"volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","year":"2003","key":"7_CR3","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Batini, C., Mecella, M.: Enabling Italian e-Government Through a Cooperative Architecture. IEEE Computer\u00a034(2) (2001)","DOI":"10.1109\/2.901166"},{"key":"7_CR5","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Service Composition by Description Logic Based Reasoning. In: Proceedings of the Int. Workshop on Description Logics (DL 2003), Rome, Italy (2003)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Berardi, D., Calvanese, D., Giacomo, G.D., Lenzerini, M., Mecella, M.: Automatic composition of e-services. Technical Report 22-03, Dipartimento di Informatica e Sistemistica, Universit\u00e0 di Roma \u201cLa Sapienza\u201d (2003)","DOI":"10.1007\/978-3-540-24593-3_4"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-24593-3_4","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"D. Berardi","year":"2003","unstructured":"Berardi, D., Calvanese, D., Giacomo, G.D., Lenzerini, M., Mecella, M.: Automatic composition of e-services that export their behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol.\u00a02910, pp. 43\u201358. Springer, Heidelberg (2003)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-540-25982-4_4","volume-title":"Web Services, E-Business, and the Semantic Web","author":"D. Berardi","year":"2004","unstructured":"Berardi, D., Calvanese, D., Giacomo, G.D., Lenzerini, M., Mecella, M.: A foundational vision of e-services. In: Bussler, C.J., Fensel, D., Orlowska, M.E., Yang, J. (eds.) WES 2003. LNCS, vol.\u00a03095, pp. 28\u201340. Springer, Heidelberg (2004)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Berardi, D., De Rosa, F., De Santis, L., Mecella, M.: Finite State Automata as Conceptual Model for e-Services. Journal of Integrated Design and Process Science (2004) (to appear)","DOI":"10.3233\/JID-2004-8209"},{"key":"7_CR10","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1613\/jair.21","volume":"1","author":"M. Buchheit","year":"1993","unstructured":"Buchheit, M., Donini, F.M., Schaerf, A.: Decidable reasoning in terminological knowledge representation systems. J. of Artificial Intelligence Research\u00a01, 109\u2013138 (1993)","journal-title":"J. of Artificial Intelligence Research"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Bultan, T., Fu, X., Hull, R., Su, J.: Conversation Specification: A New Approach to Design and Analysis of E-Service Composition. In: Proceedings of the WWW 2003 Conference (2003)","DOI":"10.1145\/775152.775210"},{"key":"7_CR12","unstructured":"Colombo, E., Francalanci, C., Pernici, B., Plebani, P., Mecella, M., De Antonellis, V., Melchiori, M.: Cooperative Information Systems in Virtual Districts: the VISPO Approach. IEEE Data Engineering Bulletin\u00a025(4) (2002)"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/3-540-44809-8_3","volume-title":"Technologies for E-Services","author":"A.K.H. Kuno","year":"2001","unstructured":"Kuno, A.K.H., Lemon, M., Beringer, D.: Conversations + Interfaces = Business Logic. In: Casati, F., Georgakopoulos, D., Shan, M.-C. (eds.) TES 2001. LNCS, vol.\u00a02193, p. 30. Springer, Heidelberg (2001)"},{"key":"7_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER System Description. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 701\u2013705. Springer, Heidelberg (2001)"},{"key":"7_CR15","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"7_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/3-540-69778-0_30","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"I. Horrocks","year":"1998","unstructured":"Horrocks, I.: The FaCT System. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol.\u00a01397, pp. 307\u2013312. Springer, Heidelberg (1998)"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Hull, R., Benedikt, M., Christophides, V., Su, J.: E-Services: A Look Behind the Curtain. In: Proceedings of the PODS 2003 Conference, San Diego, CA, USA (2003)","DOI":"10.1145\/773153.773154"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"McIlraith, S., Son, T., Zeng, H.: Semantic web services. IEEE Intelligent Systems\u00a016(2) (2001)","DOI":"10.1109\/5254.920599"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Papazoglou, M., Georgakopoulos, D.: Service Oriented Computing (special issue). Communications of the ACM\u00a046(10) (October 2003)","DOI":"10.1145\/944217.944233"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Pistore, M., Barbon, F., Bertoli, P., Shaparau, D., Traverso, P.: Planning and Monitoring Web Service Composition. In: Proc. of ICAPS Workshop on Planning for Web and Grid Service, P4WGS 2004 (2004)","DOI":"10.1007\/978-3-540-30106-6_11"},{"key":"7_CR21","unstructured":"Katz, R.H.: Contemporany Logic Design. Benjamin Commings\/Addison Wesley Publishing Company (1993)"}],"container-title":["Lecture Notes in Computer Science","Technologies for E-Services"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31811-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T22:38:17Z","timestamp":1739918297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31811-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540250494","9783540318118"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31811-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}