{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,27]],"date-time":"2023-08-27T08:21:17Z","timestamp":1693124477166},"reference-count":39,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[2013,9,1]],"date-time":"2013-09-01T00:00:00Z","timestamp":1377993600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T00:00:00Z","timestamp":1504224000000},"content-version":"vor","delay-in-days":1461,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Computer and System Sciences"],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1016\/j.jcss.2013.01.007","type":"journal-article","created":{"date-parts":[[2013,1,21]],"date-time":"2013-01-21T18:54:22Z","timestamp":1358794462000},"page":"873-891","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":1,"title":["On the aggregation problem for synthesized Web services"],"prefix":"10.1016","volume":"79","author":[{"given":"Ting","family":"Deng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenfei","family":"Fan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonid","family":"Libkin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yinghui","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"4","key":"10.1016\/j.jcss.2013.01.007_br0010","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1142\/S0218843005001201","article-title":"Automatic service composition based on behavioral descriptions","volume":"14","author":"Berardi","year":"2005","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"10.1016\/j.jcss.2013.01.007_br0020","doi-asserted-by":"crossref","unstructured":"X. Fu, T. Bultan, J. Su, Analysis of interacting BPEL Web services, in: Proc. 12th Int. World Wide Web Conf., 2004, pp. 621\u2013630.","DOI":"10.1145\/988672.988756"},{"key":"10.1016\/j.jcss.2013.01.007_br0030","doi-asserted-by":"crossref","unstructured":"C.E. Gerede, R. Hull, O.H. Ibarra, J. Su, Automated composition of e-services: lookaheads, in: Proc. 2nd Int. Conf., Service-Oriented Computing, 2004, pp. 252\u2013262.","DOI":"10.1145\/1035167.1035203"},{"issue":"2","key":"10.1016\/j.jcss.2013.01.007_br0040","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1006\/jcss.2000.1708","article-title":"Relational transducers for electronic commerce","volume":"61","author":"Abiteboul","year":"2000","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/j.jcss.2013.01.007_br0050","unstructured":"D. Berardi, D. Calvanese, G.D. Giacomo, R. Hull, M. Mecella, Automatic composition of transition-based semantic web services with messaging, in: Proc. 31st Int. Conf. on Very Large Data Bases, 2005, pp. 613\u2013624."},{"issue":"3","key":"10.1016\/j.jcss.2013.01.007_br0060","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1016\/j.jcss.2006.10.006","article-title":"Specification and verification of data-driven Web applications","volume":"73","author":"Deutsch","year":"2007","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/j.jcss.2013.01.007_br0070","doi-asserted-by":"crossref","unstructured":"A. Deutsch, L. Sui, V. Vianu, D. Zhou, Verification of communicating data-driven Web services, in: Proc. 25th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, 2006, pp. 90\u201399.","DOI":"10.1145\/1142351.1142364"},{"key":"10.1016\/j.jcss.2013.01.007_br0080","doi-asserted-by":"crossref","unstructured":"W. Fan, F. Geerts, W. Gelade, F. Neven, A. Poggi, Complexity and composition of synthesized Web services, in: Proc. 27th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, 2008, pp. 231\u2013240.","DOI":"10.1145\/1376916.1376949"},{"issue":"1","key":"10.1016\/j.jcss.2013.01.007_br0090","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1016\/S0022-0000(02)00029-6","article-title":"Verification of relational transducers for electronic commerce","volume":"66","author":"Spielmann","year":"2003","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/j.jcss.2013.01.007_br0100","doi-asserted-by":"crossref","unstructured":"K. Bhattacharya, C.E. Gerede, R. Hull, R. Liu, J. Su, Towards formal analysis of artifact-centric business process models, in: Proc. 5th Int. Conf. Business Process Management (BPM), 2007, pp. 288\u2013304.","DOI":"10.1007\/978-3-540-75183-0_21"},{"key":"10.1016\/j.jcss.2013.01.007_br0110","doi-asserted-by":"crossref","unstructured":"A. Deutsch, R. Hull, F. Patrizi, V. Vianu, Automatic verification of data-centric business processes, in: Proc. 12th Int. Conf. on Database Theory, 2009, pp. 252\u2013267.","DOI":"10.1145\/1514894.1514924"},{"key":"10.1016\/j.jcss.2013.01.007_br0120","doi-asserted-by":"crossref","unstructured":"C. Fritz, R. Hull, J. Su, Automatic construction of simple artifact-based business processes, in: Proc. 12th Int. Conf. on Database Theory, 2009, pp. 225\u2013238.","DOI":"10.1145\/1514894.1514922"},{"key":"10.1016\/j.jcss.2013.01.007_br0130","doi-asserted-by":"crossref","unstructured":"R. Hull, Artifact-centric business process models: brief survey of research results and challenges, in: Proc. OTM Confederated Int. Conf. On the Move to Meaningful Internet Systems: CoopIS, DOA, ODBASE, GADA, and IS, Volume Part II (OTM Conferences (2)), 2008, pp. 1152\u20131163.","DOI":"10.1007\/978-3-540-88873-4_17"},{"key":"10.1016\/j.jcss.2013.01.007_br0140","doi-asserted-by":"crossref","unstructured":"S. Abiteboul, L. Segoufin, V. Vianu, Static analysis of active XML systems, in: Proc. 27th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, 2008, pp. 221\u2013230.","DOI":"10.1145\/1376916.1376948"},{"issue":"1\u20132","key":"10.1016\/j.jcss.2013.01.007_br0150","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.tcs.2004.07.004","article-title":"Conversation protocols: a formalism for specification and verification of reactive electronic services","volume":"328","author":"Fu","year":"2004","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/j.jcss.2013.01.007_br0160","doi-asserted-by":"crossref","unstructured":"E. Damaggio, A. Deutsch, V. Vianu, Artifact systems with data dependencies and arithmetic, in: Proc. 14th Int. Conf. on Database Theory, 2011, pp. 66\u201377.","DOI":"10.1145\/1938551.1938563"},{"key":"10.1016\/j.jcss.2013.01.007_br0170","doi-asserted-by":"crossref","unstructured":"Y. Lustig, M.Y. Vardi, Synthesis from component libraries, in: Proc. 12th Int. Conf. Foundations of Software Science and Computational Structures (FoSSaCS), 2009, pp. 395\u2013409.","DOI":"10.1007\/978-3-642-00596-1_28"},{"key":"10.1016\/j.jcss.2013.01.007_br0180","doi-asserted-by":"crossref","unstructured":"A. Muscholl, I. Walukiewicz, A lower bound on Web services composition, in: Proceedings of International Conference on Foundations of Software Science and Computational Structures (FoSSaCS), 2007, pp. 274\u2013286.","DOI":"10.1007\/978-3-540-71389-0_20"},{"key":"10.1016\/j.jcss.2013.01.007_br0190","doi-asserted-by":"crossref","unstructured":"Y. Zhang, W. Fan, et al. Extending online travel agency with adaptive reservations, in: Proc. OTM Confederated Int. Conf. on the Move to Meaningful Internet Systems: CoopIS, DOA, ODBASE, GADA, and IS, Volume Part I (OTM Conference (1)), 2007, pp. 285\u2013299.","DOI":"10.1007\/978-3-540-76848-7_19"},{"key":"10.1016\/j.jcss.2013.01.007_br0200","author":"IBM"},{"issue":"3","key":"10.1016\/j.jcss.2013.01.007_br0210","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1147\/sj.423.0428","article-title":"Business artifacts: an approach to operational specification","volume":"42","author":"Nigram","year":"2003","journal-title":"IBM Syst. J."},{"key":"10.1016\/j.jcss.2013.01.007_br0220","doi-asserted-by":"crossref","unstructured":"S. Nakajima, Verification of web service flows with model-checking techniques, in: Proc. 1st Int. Symp. on Cyber Worlds (CW), 2002, pp. 78\u2013385.","DOI":"10.1109\/CW.2002.1180904"},{"key":"10.1016\/j.jcss.2013.01.007_br0230","series-title":"Model Checking","author":"Clarke","year":"1999"},{"key":"10.1016\/j.jcss.2013.01.007_br0240","doi-asserted-by":"crossref","unstructured":"T. Deng, W. Fan, L. Libkin, Y. Wu, On the aggregation problem for synthesized web services, in: Proc. 13th Int. Conf. on Database Theory, 2010, pp. 242\u2013251.","DOI":"10.1145\/1804669.1804700"},{"key":"10.1016\/j.jcss.2013.01.007_br0250","doi-asserted-by":"crossref","unstructured":"P.A. Bonatti, P. Festa, On optimal service selection, in: Proc. 14th Int. World Wide Web Conf., 2005, pp. 530\u2013538.","DOI":"10.1145\/1060745.1060823"},{"issue":"23","key":"10.1016\/j.jcss.2013.01.007_br0260","doi-asserted-by":"crossref","first-page":"5484","DOI":"10.1016\/j.ins.2007.07.011","article-title":"A probabilistic approach to modeling and estimating the QoS of web-services-based workflows","volume":"177","author":"Hwang","year":"2007","journal-title":"Inform. Sci."},{"issue":"2","key":"10.1016\/j.jcss.2013.01.007_br0270","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s10257-005-0052-z","article-title":"Service selection algorithms for Web services with end-to-end QoS constraints","volume":"3","author":"Yu","year":"2005","journal-title":"Inf. Syst. E-Bus. Manag."},{"issue":"5","key":"10.1016\/j.jcss.2013.01.007_br0280","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1109\/TSE.2004.11","article-title":"QoS-aware middleware for Web services composition","volume":"30","author":"Zeng","year":"2004","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/j.jcss.2013.01.007_br0290","doi-asserted-by":"crossref","unstructured":"A. Simitsis, K. Wilkinson, M. Castellanos, U. Dayal, Qox-driven etl design: reducing the cost of etl consulting engagements, in: SIGMOD, 2009, pp. 953\u2013960.","DOI":"10.1145\/1559845.1559954"},{"key":"10.1016\/j.jcss.2013.01.007_br0300","first-page":"940","article-title":"Optimal top-k query evaluation for weighted business processes","volume":"3","author":"Deutch","year":"2010","journal-title":"PVLDB"},{"key":"10.1016\/j.jcss.2013.01.007_br0310","doi-asserted-by":"crossref","unstructured":"D. Deutch, T. Milo, Evaluating top-k queries over business processes, in: Proc. 25th Int. Conf. on Data Engineering, 2009, pp. 1195\u20131198.","DOI":"10.1109\/ICDE.2009.199"},{"issue":"2","key":"10.1016\/j.jcss.2013.01.007_br0370","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1023\/B:WWWJ.0000017210.55153.3d","article-title":"A peer-to-peer approach to web service discovery","volume":"7","author":"Schmidt","year":"2004","journal-title":"World Wide Web J."},{"issue":"1","key":"10.1016\/j.jcss.2013.01.007_br0380","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/s00778-003-0117-x","article-title":"On automating Web services discovery","volume":"14","author":"Benatallah","year":"2004","journal-title":"VLDB J."},{"key":"10.1016\/j.jcss.2013.01.007_br0390","doi-asserted-by":"crossref","unstructured":"M. Pistore, P. Roberti, P. Traverso, Process-level composition of executable web services: \u201con-the-fly\u201d versus \u201conce-for-all\u201d composition, in: Proc. European Conf. on the Semantic Web: Research and Applications (ESWC), 2005, pp. 62\u201377.","DOI":"10.1007\/11431053_5"},{"key":"10.1016\/j.jcss.2013.01.007_br0400","series-title":"Logic, Foundations of Mathematics and Computability Theory","first-page":"121","article-title":"Some purely mathematical results inspired by mathematical logic","volume":"vol. 9","author":"Matijasevic","year":"1975"},{"issue":"2","key":"10.1016\/j.jcss.2013.01.007_br0410","doi-asserted-by":"crossref","first-page":"859","DOI":"10.1090\/S0273-0979-1980-14832-6","article-title":"Undecidable Diophantine equations","volume":"3","author":"Jones","year":"1980","journal-title":"Bull. Amer. Math. Soc."},{"key":"10.1016\/j.jcss.2013.01.007_br0420","series-title":"Computational Complexity","author":"Papadimitriou","year":"1994"},{"key":"10.1016\/j.jcss.2013.01.007_br0430","series-title":"Complexity and Approximation: Combinatorial Optimization Problems and Their Approximability Properties","author":"Ausiello","year":"1999"},{"key":"10.1016\/j.jcss.2013.01.007_br0440","doi-asserted-by":"crossref","unstructured":"D. Berardi, G.D. Giacomo, M. Mecella, D. Calvanese, Composing web services with nondeterministic behavior, in: Proc. IEEE Int. Conf. on Web Services, 2006, pp. 909\u2013912.","DOI":"10.1109\/ICWS.2006.45"}],"container-title":["Journal of Computer and System Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0022000013000172?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0022000013000172?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,7,8]],"date-time":"2019-07-08T16:26:40Z","timestamp":1562603200000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0022000013000172"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":39,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2013,9]]}},"alternative-id":["S0022000013000172"],"URL":"https:\/\/doi.org\/10.1016\/j.jcss.2013.01.007","relation":{},"ISSN":["0022-0000"],"issn-type":[{"value":"0022-0000","type":"print"}],"subject":[],"published":{"date-parts":[[2013,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"On the aggregation problem for synthesized Web services","name":"articletitle","label":"Article Title"},{"value":"Journal of Computer and System Sciences","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jcss.2013.01.007","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2013 Elsevier Inc. All rights reserved.","name":"copyright","label":"Copyright"}]}}