{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:30:24Z","timestamp":1725514224847},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540682332"},{"type":"electronic","value":"9783540682349"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68234-9_48","type":"book-chapter","created":{"date-parts":[[2008,5,23]],"date-time":"2008-05-23T13:43:26Z","timestamp":1211550206000},"page":"659-673","source":"Crossref","is-referenced-by-count":7,"title":["WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic"],"prefix":"10.1007","author":[{"given":"Dumitru","family":"Roman","sequence":"first","affiliation":[]},{"given":"Michael","family":"Kifer","sequence":"additional","affiliation":[]},{"given":"Dieter","family":"Fensel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"48_CR1","doi-asserted-by":"crossref","unstructured":"Ankolekar, A., Paolucci, M., Sycara, K.P.: Towards a formal verification of owl-s process models. In: International Semantic Web Conference, pp. 37\u201351 (2005)","DOI":"10.1007\/11574620_6"},{"key":"48_CR2","unstructured":"Bonner, A.J., Kifer, M.: Concurrency and Communication in Transaction Logic. In: Joint International Conference and Symposium on Logic Programming (1996)"},{"key":"48_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines\u2014A Method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.F.: Abstract State Machines\u2014A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"48_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71316-6_2","volume-title":"Programming Languages and Systems","author":"M. Carbone","year":"2007","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured global programming for communication behaviour. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, Springer, Heidelberg (2007)"},{"key":"48_CR5","doi-asserted-by":"crossref","unstructured":"Davulcu, H., Kifer, M., Ramakrishnan, C.R., Ramakrishnan, I.V.: Logic Based Modeling and Analysis of Workflows. In: PODS, pp. 25\u201333 (1998)","DOI":"10.1145\/275487.275491"},{"key":"48_CR6","doi-asserted-by":"crossref","unstructured":"Davulcu, H., Kifer, M., Ramakrishnan, I.V.: CTR\u2013S: A Logic for Specifying Contracts in Semantic Web Services. In: WWW2004, p. 144+ (2004)","DOI":"10.1145\/1013367.1013391"},{"key":"48_CR7","doi-asserted-by":"crossref","DOI":"10.1002\/0471741442","volume-title":"Process-aware information systems: bridging people and software through process technology","author":"M. Dumas","year":"2005","unstructured":"Dumas, M., van der Aalst, W.M., ter Hofstede, A.H.: Process-aware information systems: bridging people and software through process technology. John Wiley & Sons, Inc., Chichester (2005)"},{"key":"48_CR8","unstructured":"Vedamuthu, A., et al. (eds.): Web Services Policy 1.5 \u2013 Framework (WS-Policy), W3c recommendation, W3C (September 2007), http:\/\/www.w3.org\/TR\/ws-policy"},{"key":"48_CR9","first-page":"221","volume-title":"EDOC 2006","author":"G. Governatori","year":"2006","unstructured":"Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: EDOC 2006, pp. 221\u2013232. IEEE Computer Society, Los Alamitos (2006)"},{"key":"48_CR10","unstructured":"Grosof, B., Gruninger, M., Kifer, M., Martin, D., McGuinness, D., Parsia, B., Payne, T., Tate, A.: Semantic Web Services Language Requirements Version 1. Working draft, SWSI Language Committee (2005), http:\/\/www.daml.org\/services\/swsl\/\/requirements\/swsl-requirements.shtml"},{"issue":"3","key":"48_CR11","first-page":"63","volume":"24","author":"M. Gr\u00fcninger","year":"2003","unstructured":"Gr\u00fcninger, M., Menzel, C.: The process specification language (PSL) theory and applications. AI Mag.\u00a024(3), 63\u201374 (2003)","journal-title":"AI Mag."},{"key":"48_CR12","doi-asserted-by":"crossref","unstructured":"Kagal, L., Berners-Lee, T., Connolly, D., Weitzner, D.J.: Using Semantic Web Technologies for Policy Management on the Web. In: AAAI (2006)","DOI":"10.21236\/ADA458366"},{"key":"48_CR13","doi-asserted-by":"crossref","unstructured":"Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: Proceedings of the 11th International World Wide Web Conference (WWW 2002), Honolulu, Hawaii (May 2002)","DOI":"10.1145\/511446.511457"},{"key":"48_CR14","doi-asserted-by":"crossref","unstructured":"Qiu, Z., Zhao, X., Cai, C., Yang, H.: Towards the theoretical foundation of choreography. In: WWW, pp. 973\u2013982 (2007)","DOI":"10.1145\/1242572.1242704"},{"key":"48_CR15","unstructured":"Roman, D., Kifer, M.: Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic. In: VLDB (2007)"},{"key":"48_CR16","unstructured":"Roman, D., Kifer, M.: Simulating Abstract State Machines (ASMs) with Concurrent Transaction Logic (CTR). WSMO Deliverable D14.2v0.1. Technical report, DERI Innsbruck (2007), http:\/\/www.wsmo.org\/TR\/d14\/d14.2\/v0.1\/d14.2v01.pdf"},{"key":"48_CR17","unstructured":"Roman, D., Scicluna, J., Nitzsche, J. (eds.): Ontology-based Choreography. WSMO Deliverable D14v0.1. Technical report, DERI Innsbruck (2007), http:\/\/www.wsmo.org\/TR\/d14\/v1.0\/"},{"key":"48_CR18","unstructured":"Semantic Web Services Framework. SWSF Version 1.0 (2005), http:\/\/www.daml.org\/services\/swsf\/1.0\/"},{"key":"48_CR19","doi-asserted-by":"crossref","unstructured":"Senkul, P., Kifer, M., Toroslu, I.: A Logical Framework for Scheduling Workflows under Resource Allocation Constraints. In: VLDB 2002, pp. 694\u2013705 (2002)","DOI":"10.1016\/B978-155860869-6\/50067-6"},{"key":"48_CR20","unstructured":"The OWL Services Coalition. OWL-S 1.1 beta release (July 2004), http:\/\/www.daml.org\/services\/owl-s\/1.1B\/"},{"key":"48_CR21","doi-asserted-by":"crossref","unstructured":"Traverso, P., Pistore, M.: Automated composition of semantic web services into executable processes. In: International Semantic Web Conference, pp. 380\u2013394 (2004)","DOI":"10.1007\/978-3-540-30475-3_27"},{"key":"48_CR22","doi-asserted-by":"crossref","unstructured":"Uszok, A., Bradshaw, J.M., Jeffers, R., Tate, A., Dalton, J.: Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment. In: International Semantic Web Conference (2004)","DOI":"10.1007\/978-3-540-30475-3_30"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web: Research and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68234-9_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,18]],"date-time":"2023-05-18T13:31:32Z","timestamp":1684416692000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68234-9_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540682332","9783540682349"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68234-9_48","relation":{},"subject":[]}}