{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:00:16Z","timestamp":1743048016912,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540885634"},{"type":"electronic","value":"9783540885641"}],"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-88564-1_36","type":"book-chapter","created":{"date-parts":[[2008,10,20]],"date-time":"2008-10-20T12:17:23Z","timestamp":1224505043000},"page":"567-582","source":"Crossref","is-referenced-by-count":3,"title":["Formal Model for Semantic-Driven Service Execution"],"prefix":"10.1007","author":[{"given":"Tomas","family":"Vitvar","sequence":"first","affiliation":[]},{"given":"Adrian","family":"Mocan","sequence":"additional","affiliation":[]},{"given":"Maciej","family":"Zaremba","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"36_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11576280_7","volume-title":"Formal Methods and Software Engineering","author":"M. Altenhofen","year":"2005","unstructured":"Altenhofen, M., B\u00f6rger, E., Lemcke, J.: An abstract model for process mediation. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol.\u00a03785, pp. 81\u201395. Springer, Heidelberg (2005)"},{"issue":"3","key":"36_CR2","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1016\/j.datak.2005.07.006","volume":"58","author":"B. Benatallah","year":"2006","unstructured":"Benatallah, B., Casati, F., Toumani, F.: Representing, analysing and managing web service protocols. Data Knowl. Eng.\u00a058(3), 327\u2013357 (2006)","journal-title":"Data Knowl. Eng."},{"key":"36_CR3","doi-asserted-by":"crossref","unstructured":"Cimpian, E., Mocan, A.: Wsmx process mediation based on choreographies. In: Business Process Management Workshops, pp. 130\u2013143 (2005)","DOI":"10.1007\/11678564_12"},{"issue":"2","key":"36_CR4","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.websem.2008.01.001","volume":"6","author":"J. Domingue","year":"2008","unstructured":"Domingue, J., et al.: Irs-iii: A broker-based approach to semantic web services. J. Web Sem.\u00a06(2), 109\u2013132 (2008)","journal-title":"J. Web Sem."},{"key":"36_CR5","unstructured":"Euzenat, J., et al.: Results of the Ontology Alignment Evaluation Initiative 2006. In: Proceeding of International Workshop on Ontology Matching (OM 2006), CEUR Workshop Proceedings, Athens, Georgia, USA, November 2006, vol.\u00a0225, pp. 73\u201395 (2006)"},{"key":"36_CR6","doi-asserted-by":"crossref","unstructured":"Friesen, A., Lemcke, J.: Composing web-service-like abstract state machines (asm). In: Autonomous and Adaptive Web Services (2007)","DOI":"10.1109\/SERVICES.2007.24"},{"key":"36_CR7","doi-asserted-by":"crossref","unstructured":"Haselwanter, T., et al.: WSMX: A Semantic Service Oriented Middleware for B2B Integration. In: ICSOC, pp. 477\u2013483 (2006)","DOI":"10.1007\/11948148_43"},{"key":"36_CR8","unstructured":"Kuster, U., Konig-Ries, B.: Dynamic binding for bpel processes - a lightweight approach to integrate semantics into web services. In: Second International Workshop on Engineering Service-Oriented Applications: Design and Composition (WESOA 2006) at 4th International Conference on Service Oriented Computing (ICSOC 2006), Chicago, Illinois, USA (December 2006)"},{"key":"36_CR9","doi-asserted-by":"crossref","unstructured":"Lerner, B.S.: Verifying process models built using parameterized state machines. In: ISSTA, pp. 274\u2013284 (2004)","DOI":"10.1145\/1013886.1007549"},{"key":"36_CR10","doi-asserted-by":"crossref","unstructured":"Margaria, T., et al.: The sws mediator with webml\/webratio and jabc\/jeti: A comparison. In: ICEIS (4), pp. 422\u2013429 (2007)","DOI":"10.5220\/0002436604220429"},{"key":"36_CR11","doi-asserted-by":"crossref","unstructured":"Mocan, A., Cimpian, E.: An Ontology-Based Data Mediation Framework for Semantic Environments. International Journal on Semantic Web and Information Systems (IJSWIS)\u00a03(2) (April - June, 2007)","DOI":"10.4018\/jswis.2007040104"},{"key":"36_CR12","doi-asserted-by":"crossref","unstructured":"Preist, C., et al.: Automated Business-to-Business Integration of a Logistics Supply Chain using Semantic Web Services Technology. In: Proc. of 4th Int. Semantic Web Conference (2005)","DOI":"10.1007\/11574620_70"},{"issue":"1","key":"36_CR13","doi-asserted-by":"crossref","first-page":"77","DOI":"10.3233\/APO-2005-000008","volume":"1","author":"D. Roman","year":"2005","unstructured":"Roman, D., et al.: Web Service Modeling Ontology. Applied Ontologies\u00a01(1), 77\u2013106 (2005)","journal-title":"Applied Ontologies"},{"key":"36_CR14","doi-asserted-by":"crossref","unstructured":"Vitvar, T., Kopecky, J., Fensel, D.: WSMO-Lite: Lightweight Semantic Descriptions for Services on the Web. In: ECOWS (2007)","DOI":"10.1109\/ECOWS.2007.30"},{"issue":"2","key":"36_CR15","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s11761-007-0009-9","volume":"2","author":"T. Vitvar","year":"2007","unstructured":"Vitvar, T., et al.: Semantically-enabled service oriented architecture: concepts, technology and application. Service Oriented Computing and Applications\u00a02(2), 129\u2013154 (2007)","journal-title":"Service Oriented Computing and Applications"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web - ISWC 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88564-1_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,2]],"date-time":"2025-02-02T04:11:21Z","timestamp":1738469481000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88564-1_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540885634","9783540885641"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88564-1_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}