{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T07:56:20Z","timestamp":1725868580671},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319484716"},{"type":"electronic","value":"9783319484723"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-48472-3_26","type":"book-chapter","created":{"date-parts":[[2016,10,17]],"date-time":"2016-10-17T08:43:13Z","timestamp":1476693793000},"page":"445-455","source":"Crossref","is-referenced-by-count":1,"title":["Efficient Constraint Verification in Service Composition Design and Execution (Short Paper)"],"prefix":"10.1007","author":[{"given":"Touraj","family":"Laleh","sequence":"first","affiliation":[]},{"given":"Joey","family":"Paquet","sequence":"additional","affiliation":[]},{"given":"Serguei A.","family":"Mokhov","sequence":"additional","affiliation":[]},{"given":"Yuhong","family":"Yan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,18]]},"reference":[{"key":"26_CR1","unstructured":"Hamadi, R., Benatallah, B.: A petri net-based model for web service composition. In: Proceedings of the 14th Australasian Database Conference vol. 17, pp. 191\u2013200. Australian Computer Society, Inc. (2003)"},{"key":"26_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/11926078_28","volume-title":"The Semantic Web - ISWC 2006","author":"F L\u00e9cu\u00e9","year":"2006","unstructured":"L\u00e9cu\u00e9, F., L\u00e9ger, A.: A formal model for semantic 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. 4273, pp. 385\u2013398. Springer, Heidelberg (2006). doi: 10.1007\/11926078_28"},{"key":"26_CR3","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., 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. 2910, pp. 43\u201358. Springer, Heidelberg (2003). doi: 10.1007\/978-3-540-24593-3_4"},{"issue":"1","key":"26_CR4","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1109\/TSC.2008.1","volume":"1","author":"SC Oh","year":"2008","unstructured":"Oh, S.C., Lee, D., Kumara, S.R.: Effective web service composition in diverse and large-scale service networks. Serv. Comput. IEEE Trans. 1(1), 15\u201332 (2008)","journal-title":"Serv. Comput. IEEE Trans."},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Zheng, X., Yan, Y.: An efficient syntactic web service composition algorithm based on the planning graph model. In: Proceedings of the IEEE International Conference on Web Services (ICWS 2008), pp. 691\u2013699. IEEE (2008)","DOI":"10.1109\/ICWS.2008.134"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Hashemian, S.V., Mavaddat, F.: A graph-based approach to web services composition. In: The 2005 Symposium on Applications and the Internet, pp. 183\u2013189, January 2005","DOI":"10.1109\/SAINT.2005.4"},{"issue":"6","key":"26_CR7","doi-asserted-by":"crossref","first-page":"770","DOI":"10.1109\/TSMC.2013.2280559","volume":"44","author":"P Wang","year":"2014","unstructured":"Wang, P., Ding, Z., Jiang, C., Zhou, M.: Constraint-aware approach to web service composition. IEEE Trans. Syst. Man Cybern. Syst. 44(6), 770\u2013784 (2014)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"26_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-30581-1_5","volume-title":"Semantic Web Services and Web Process Composition","author":"J Rao","year":"2005","unstructured":"Rao, J., Su, X.: A survey of automated web service composition methods. In: Cardoso, J., Sheth, A. (eds.) SWSWPC 2004. LNCS, vol. 3387, pp. 43\u201354. Springer, Heidelberg (2005). doi: 10.1007\/978-3-540-30581-1_5"},{"key":"26_CR9","first-page":"482","volume":"2","author":"S McIlraith","year":"2002","unstructured":"McIlraith, S., Son, T.C.: Adapting golog for composition of semantic web services. KR 2, 482\u2013493 (2002)","journal-title":"KR"},{"issue":"1","key":"26_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/jwsr.2007010101","volume":"4","author":"SC Oh","year":"2007","unstructured":"Oh, S.C., Lee, D., Kumara, S.R.T.: Web service planner (wspr): An effective and scalable web service composition algorithm. Int. J. Web Serv. Res. 4(1), 1\u201322 (2007)","journal-title":"Int. J. Web Serv. Res."},{"key":"26_CR11","unstructured":"Ponnekanti, S.R., Fox, A.: Sword: A developer toolkit for web service composition. In: Proceedings of the Eleventh International World Wide Web Conference, Honolulu, HI. vol. 45 (2002)"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Aggarwal, R., Verma, K., Miller, J., Milnor, W.: Constraint driven web service composition in meteor-s. In: Services Computing, pp. 23\u201330, Sept 2004","DOI":"10.1109\/SCC.2004.1357986"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Channa, N.: Constraint satisfaction in dynamic web service composition. In: Sixteenth International Workshop on Database and Expert Systems Applications Proceedings, pp. 658\u2013664. IEEE (2005)","DOI":"10.1109\/DEXA.2005.68"},{"key":"26_CR14","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/978-1-4614-7518-7_13","volume-title":"Web Serv. Found.","author":"A Moghaddam","year":"2014","unstructured":"Moghaddam, A., Davis, J.G.: Service selection in web service composition: a comparative review of existing approaches. In: Bouguettaya, A., Sheng, Q.Z., Daniel, F. (eds.) Web Serv. Found., pp. 321\u2013346. Springer, Heidelberg (2014)"},{"key":"26_CR15","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 Ben Hassine","year":"2006","unstructured":"Ben Hassine, A., 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. 4273, pp. 130\u2013143. Springer, Heidelberg (2006). doi: 10.1007\/11926078_10"},{"key":"26_CR16","volume-title":"Web services: principles and technology","author":"M Papazoglou","year":"2008","unstructured":"Papazoglou, M.: Web services: principles and technology. Pearson Education, Englewood Cliffs (2008)"},{"key":"26_CR17","unstructured":"Lee, C.: On quality of service optimization with discrete qos options. In: Real-Time Technology and Applications Symposium, pp. 276\u2013286. IEEE (1999)"},{"key":"26_CR18","unstructured":"Li, J., Yan, Y., Lemire, D.: Full solution indexing for top-k web service composition"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2016 Conferences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48472-3_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T01:19:11Z","timestamp":1498353551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48472-3_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319484716","9783319484723"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48472-3_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}