{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:56:01Z","timestamp":1747810561947,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642173578"},{"type":"electronic","value":"9783642173585"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-17358-5_8","type":"book-chapter","created":{"date-parts":[[2010,11,24]],"date-time":"2010-11-24T12:06:22Z","timestamp":1290600382000},"page":"108-121","source":"Crossref","is-referenced-by-count":3,"title":["A Service Execution Control Framework for Policy Enforcement"],"prefix":"10.1007","author":[{"given":"Masahiro","family":"Tanaka","sequence":"first","affiliation":[]},{"given":"Yohei","family":"Murakami","sequence":"additional","affiliation":[]},{"given":"Donghui","family":"Lin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Ishida, T.: Language Grid: An infrastructure for intercultural collaboration. In: IEEE\/IPSJ Symposium on Applications and the Internet (SAINT 2006), pp. 96\u2013100 (2006)","DOI":"10.1109\/SAINT.2006.40"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1109\/TSE.2004.11","volume":"30","author":"L. Zeng","year":"2004","unstructured":"Zeng, L., Benatallah, B., Ngu, A.H., Dumas, M., Kalagnanam, J., Chang, H.: Qos-aware middleware for web services composition. IEEE Transactions on Software Engineering\u00a030, 311\u2013327 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/11926078_10","volume-title":"The Semantic Web - ISWC 2006","author":"A.B. Hassine","year":"2006","unstructured":"Hassine, A.B., Matsubara, S., Ishida, T.: A constraint-based approach to horizontal web service composition. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 130\u2013143. Springer, Heidelberg (2006)"},{"issue":"3","key":"8_CR4","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/s11280-006-0016-3","volume":"10","author":"A. Charfi","year":"2007","unstructured":"Charfi, A., Mezini, M.: AO4BPEL: An aspect-oriented extension to bpel. World Wide Web\u00a010(3), 309\u2013344 (2007)","journal-title":"World Wide Web"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/978-3-540-72988-4_24","volume-title":"Advanced Information Systems Engineering","author":"L. Baresi","year":"2007","unstructured":"Baresi, L., Guinea, S., Plebani, P.: Policies and aspects for the supervision of BPEL processes. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol.\u00a04495, pp. 340\u2013354. Springer, Heidelberg (2007)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Tanaka, M., Murakami, Y., Lin, D., Ishida, T.: Service supervision for service-oriented collective intelligence. In: IEEE 7th International Conference on Services Computing (SCC 2010) (to appear 2010)","DOI":"10.1109\/SCC.2010.64"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.entcs.2005.07.038","volume":"151","author":"S. Nakajima","year":"2006","unstructured":"Nakajima, S.: Model-checking behavioral specification of bpel applications. Electronic Notes in Theoretical Computer Science\u00a0151, 89\u2013105 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Tanaka, M., Ishida, T., Murakami, Y., Morimoto, S.: Service supervision: Coordinating web services in open environment. In: IEEE International Conference on Web Services (ICWS 2009), pp. 238\u2013245 (2009)","DOI":"10.1109\/ICWS.2009.60"},{"key":"8_CR9","unstructured":"Business process execution language for web services (BPEL), version 1.1 (2003), \n                      \n                        http:\/\/www.ibm.com\/developerworks\/library\/ws-bpel\/"},{"key":"8_CR10","volume-title":"The SPIN Model Checker","author":"G. Holzmann","year":"2004","unstructured":"Holzmann, G.: The SPIN Model Checker. Addison-Wesley, Reading (2004)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Narayanan, S., McIlraith, S.A.: Simulation, verification and automated composition of web services. In: The 11th International Conference on World Wide Web (WWW 2002), pp. 77\u201388 (2002)","DOI":"10.1145\/511446.511457"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/11574620_6","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"A. Ankolekar","year":"2005","unstructured":"Ankolekar, A., Paolucci, M., Sycara, K.: Towards a formal verification of owl-s process models. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 37\u201351. Springer, Heidelberg (2005)"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting bpel web services. In: The 13th conference on World Wide Web (WWW2004), pp. 621\u2013630 (2004)","DOI":"10.1145\/988672.988756"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-540-89652-4_20","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"A. Mosincat","year":"2008","unstructured":"Mosincat, A., Binder, W.: Transparent runtime adaptability for bpel processes. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol.\u00a05364, pp. 241\u2013255. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17358-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T07:57:07Z","timestamp":1553241427000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17358-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642173578","9783642173585"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17358-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}