{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T23:17:33Z","timestamp":1725751053683},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642412295"},{"type":"electronic","value":"9783642412301"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41230-1_21","type":"book-chapter","created":{"date-parts":[[2013,10,7]],"date-time":"2013-10-07T01:14:17Z","timestamp":1381108457000},"page":"243-256","source":"Crossref","is-referenced-by-count":7,"title":["Verifying Transactional Requirements of Web Service Compositions Using Temporal Logic Templates"],"prefix":"10.1007","author":[{"given":"Scott","family":"Bourne","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudia","family":"Szabo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Quan Z.","family":"Sheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Papazoglou, M.P., Traverso, P., Dustdar, S., Leymann, F.: Service-Oriented Computing: State of the Art and Research Challenges. IEEE Computer\u00a040(11) (2007)","DOI":"10.1109\/MC.2007.400"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Sheng, Q., Maamar, Z., Yahyaoui, H., Bentahar, J., Boukadi, K.: Separating Operational and Control Behaviors: A New Approach to Web Services Modeling. IEEE Internet Computing\u00a0(3), 68\u201376 (2010)","DOI":"10.1109\/MIC.2010.78"},{"issue":"1","key":"21_CR3","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/TSC.2009.28","volume":"3","author":"A. Liu","year":"2010","unstructured":"Liu, A., Li, Q., Huang, L., Xiao, M.: FACTS: A Framework for Fault-tolerant Composition of Transactional Web Services. IEEE Transactions on Services Computing\u00a03(1), 46\u201359 (2010)","journal-title":"IEEE Transactions on Services Computing"},{"issue":"1","key":"21_CR4","first-page":"86","volume":"23","author":"J. Domingue","year":"2009","unstructured":"Domingue, J., Fensel, D.: Toward a Service Web: Integrating the Semantic Web and Service Orientation. IEEE Intelligent Systems\u00a023(1), 86\u201388 (2009)","journal-title":"IEEE Intelligent Systems"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Bhiri, S., Perrin, O., Godart, C.: Ensuring Required Failure Atomicity of Composite Web Services. In: Proceedings of the 14th International Conference on World Wide Web, pp. 138\u2013147. ACM (2005)","DOI":"10.1145\/1060745.1060769"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Montagut, F., Molva, R., Golega, S.: Automating the Composition of Transactional Web Services. International Journal of Web Services Research (IJWSR)\u00a05(1) (2008)","DOI":"10.4018\/jwsr.2008010102"},{"issue":"1","key":"21_CR7","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/TSC.2010.5","volume":"3","author":"J. Hadad El","year":"2010","unstructured":"El Hadad, J., Manouvrier, M., Rukoz, M.: TQoS: Transactional and QoS-Aware Selection Algorithm for Automatic Web Service Composition. IEEE Transactions on Services Computing\u00a03(1), 73\u201385 (2010)","journal-title":"IEEE Transactions on Services Computing"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Montagut, F., Molva, R., Tecumseh Golega, S.: The Pervasive Workflow: A Decentralized Workflow System Supporting Long-Running Transactions. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews (2008)","DOI":"10.1109\/TSMCC.2008.919184"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in Property Specifications for Finite-State Verification. In: Proceedings of the 1999 International Conference on Software Engineering, pp. 411\u2013420. IEEE (1999)","DOI":"10.1145\/302405.302672"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Smith, R.L., Avrunin, G.S., Clarke, L.A., Osterweil, L.J.: PROPEL: an Approach Supporting Property Elucidation. In: Proceedings of the 24th International Conference on Software Engineering, pp. 11\u201321. ACM (2002)","DOI":"10.1145\/581339.581345"},{"key":"21_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-17358-5_2","volume-title":"Service-Oriented Computing","author":"A. Elgammal","year":"2010","unstructured":"Elgammal, A., Turetken, O., van den Heuvel, W.-J., Papazoglou, M.: Root-Cause Analysis of Design-Time Compliance Violations on the Basis of Property Patterns. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol.\u00a06470, pp. 17\u201331. Springer, Heidelberg (2010)"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Emerson, E.: Temporal and Modal Logic. In: Handbook of Theoretical Computer Science, vol.\u00a02, pp. 995\u20131072 (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"21_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/978-3-642-34321-6_34","volume-title":"Service-Oriented Computing","author":"S. Bourne","year":"2012","unstructured":"Bourne, S., Szabo, C., Sheng, Q.Z.: Ensuring Well-Formed Conversations Between Control and Operational Behaviors of Web Services. In: Liu, C., Ludwig, H., Toumani, F., Yu, Q. (eds.) ICSOC 2012. LNCS, vol.\u00a07636, pp. 507\u2013515. Springer, Heidelberg (2012)"},{"key":"21_CR14","unstructured":"Baier, C., Katoen, J.P., et al.: Principles of Model Checking. MIT Press (2008)"},{"key":"21_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An Opensource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 359\u2013364. Springer, Heidelberg (2002)"},{"key":"21_CR16","first-page":"83","volume":"16","author":"S. Kripke","year":"1963","unstructured":"Kripke, S.: Semantical Considerations on Modal Logic. Acta Philosophica Fennica\u00a016, 83\u201394 (1963)","journal-title":"Acta Philosophica Fennica"},{"key":"21_CR17","unstructured":"Kim, W.: Modern Database Systems: The Object Model, Interoperability, and Beyond. ACM Press\/Addison-Wesley Publishing Co. (1995)"},{"key":"21_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/11912873_18","volume-title":"Web Information Systems \u2013 WISE 2006","author":"J. Yu","year":"2006","unstructured":"Yu, J., Manh, T.P., Han, J., Jin, Y., Han, Y., Wang, J.: Pattern Based Property Specification and Verification for Service Composition. In: Aberer, K., Peng, Z., Rundensteiner, E.A., Zhang, Y., Li, X. (eds.) WISE 2006. LNCS, vol.\u00a04255, pp. 156\u2013168. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Web Information Systems Engineering \u2013 WISE 2013"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41230-1_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T15:09:52Z","timestamp":1558105792000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41230-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642412295","9783642412301"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41230-1_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}