{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:39:09Z","timestamp":1648773549887},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T00:00:00Z","timestamp":1330128000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1007\/s11432-011-4460-z","type":"journal-article","created":{"date-parts":[[2012,2,24]],"date-time":"2012-02-24T06:17:05Z","timestamp":1330064225000},"page":"638-649","source":"Crossref","is-referenced-by-count":1,"title":["Complexity of synthesis of composite service with correctness guarantee"],"prefix":"10.1007","volume":"55","author":[{"given":"Ting","family":"Deng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JinPeng","family":"Huai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"TianYu","family":"Wo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,2,25]]},"reference":[{"key":"4460_CR1","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1145\/1083784.1083807","volume":"34","author":"R. Hull","year":"2005","unstructured":"Hull R, Su J W. Tools for composite web services: a short overview. SIGMOD Rec, 2005, 34: 86\u201395","journal-title":"SIGMOD Rec"},{"key":"4460_CR2","first-page":"43","volume-title":"Proceedings of International Conference on Service Oriented Computing","author":"D. Berardi","year":"2003","unstructured":"Berardi D, Calvanese D, Giacomo G D, et al. Automatic composition of e-services that export their behavior. In: Orlowska M E, Weerawarana S, Papazoglou M P, et al., eds. Proceedings of International Conference on Service Oriented Computing. Trento: Springer, 2003. 43\u201358"},{"key":"4460_CR3","first-page":"613","volume-title":"Proceedings of International Conference on Very Large Data Bases","author":"D. Berardi","year":"2005","unstructured":"Berardi D, Calvanese D, Giacomo G D, et al. Automatic composition of transition-based semantic web services with messaging. In: Bohm K, Jensen C S, Haas L M, et al., eds. Proceedings of International Conference on Very Large Data Bases. Trondheim: ACM, 2005. 613\u2013624"},{"key":"4460_CR4","first-page":"231","volume-title":"Proceedings of 27th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems","author":"W. Fan","year":"2008","unstructured":"Fan W, Geerts F, Gelade W, et al. Complexity and composition of synthesized web services. In: Lenzerini M, Lembothe D, eds. Proceedings of 27th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. Vancouver BC: ACM, 2008. 231\u2013240"},{"key":"4460_CR5","first-page":"364","volume-title":"Proceeding of International Conference on Web Services","author":"S. Mitra","year":"2007","unstructured":"Mitra S, Kumar R, Basu S. Automated choreographer synthesis for web services composition using i\/o automata. In: Leymann F, Shan M C, eds. Proceeding of International Conference on Web Services. Salt Lake City: IEEE Computer Society, 2007. 364\u2013371"},{"key":"4460_CR6","first-page":"96","volume-title":"Proceeding of IEEE International Conference on Web Services(ICWS)","author":"X. Fu","year":"2004","unstructured":"Fu X, Bultan T, Su J. Realizability of conversation protocols with message contents. In: Zhang L J, ed. Proceeding of IEEE International Conference on Web Services(ICWS). San Diego: IEEE Computer Society, 2004. 96\u2013103"},{"key":"4460_CR7","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1145\/988672.988756","volume-title":"Proceedings of the 13th International Conference on World Wide Web","author":"X. Fu","year":"2004","unstructured":"Fu X, Bultan T, Su J. Analysis of interacting BPEL web services. In: Feldman S I, Uretsky M, Najork M, et al., eds. Proceedings of the 13th International Conference on World Wide Web. New York: ACM, 2004. 621\u2013630"},{"key":"4460_CR8","first-page":"90","volume-title":"Proceedings of the 25th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","author":"A. Deutsch","year":"2006","unstructured":"Deutsch A, Sui L, Vianu V, et al. Verification of communicating data-driven web services. In: Vansummeren S, ed. Proceedings of the 25th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. Chicago: ACM, 2006. 90\u201399"},{"key":"4460_CR9","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1145\/357084.357090","volume":"2","author":"Z. Manna","year":"1980","unstructured":"Manna Z, Waldinger R. A deductive approach to program synthesis. ACM Trans Progr Lang Sys (TOPLAS), 1980, 2: 90\u2013121","journal-title":"ACM Trans Progr Lang Sys (TOPLAS)"},{"key":"4460_CR10","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","author":"E. A. Emerson","year":"1982","unstructured":"Emerson E A, Clarke E M. Using branching time logic to synthesize synchronization skeletons. Sci Comput Program, 1982, 2: 241\u2013266","journal-title":"Sci Comput Program"},{"key":"4460_CR11","first-page":"179","volume-title":"Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages","author":"A. Pnueli","year":"1989","unstructured":"Pnueli A, Rosner R. On the synthesis of a reactive module. In: Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages. Austin: ACM, 1989. 179\u2013190"},{"key":"4460_CR12","doi-asserted-by":"crossref","first-page":"652","DOI":"10.1007\/BFb0035790","volume-title":"Proceeding 16th International Colloquium on Automata, Languages, and Programs","author":"A. Pnueli","year":"1989","unstructured":"Pnueli A, Rosner R. On the synthesis of an asynchronous reactive module. In: Ausiello G, Ciancaglini M D, Rocca S, eds. Proceeding 16th International Colloquium on Automata, Languages, and Programs. Stresa: Springer, 1989. 652\u2013671"},{"key":"4460_CR13","first-page":"91","volume-title":"Proceeding of 2nd International Conference on Temporal Logic","author":"O. Kupferman","year":"1997","unstructured":"Kupferman O, Vardi M Y. Synthesis with incomplete information. In: Proceeding of 2nd International Conference on Temporal Logic. Manchester: Kluwer, 1997. 91\u2013106"},{"key":"4460_CR14","first-page":"321","volume-title":"Proceedings of 20th Annual Symposium on Logic in Computer Science","author":"B. Finkbeiner","year":"2005","unstructured":"Finkbeiner B, Schewe S. Uniform distributed synthesis. In: Jagadeesan R, Jeffrey A, eds. Proceedings of 20th Annual Symposium on Logic in Computer Science. Chicago: IEEE Computer Society, 2005. 321\u2013330"},{"key":"4460_CR15","first-page":"395","volume-title":"Proceedings of 13th International Conference on Foundation of Software science and Computation Structures","author":"Y. Lustig","year":"2009","unstructured":"Lustig Y, Vardi M Y. Synthesis from component libraries. In: Alfaro L D, ed. Proceedings of 13th International Conference on Foundation of Software science and Computation Structures. New York: Springer, 2009. 395\u2013409"},{"key":"4460_CR16","doi-asserted-by":"crossref","first-page":"1534","DOI":"10.1007\/s11432-009-0155-0","volume":"52","author":"J. P. Huai","year":"2009","unstructured":"Huai J P, Deng T, Li X X, et al. AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee. Sci China Ser F-Inf Sci, 2009, 52: 1534\u20131549","journal-title":"Sci China Ser F-Inf Sci"},{"key":"4460_CR17","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1109\/ICWS.2005.27","volume-title":"Proceeding of International Conference on Web Services","author":"M. Pistore","year":"2005","unstructured":"Pistore M, Traverso P, Bertoli P, et al. Automated synthesis of composite bpel4WS web services. In: Chang C K, Zhang L J, eds. Proceeding of International Conference on Web Services. V\u00e4xj\u0151: IEEE Computer Society, 2005. 293\u2013301"},{"key":"4460_CR18","doi-asserted-by":"crossref","first-page":"967","DOI":"10.3724\/SP.J.1001.2008.00967","volume":"19","author":"J. S. Wang","year":"2008","unstructured":"Wang J S, Li Z J, Li M J. Composing semantic web services with description logics. J Softw, 2008, 19: 967\u2013980","journal-title":"J Softw"},{"key":"4460_CR19","first-page":"1057","volume":"29","author":"Z. Z. Qian","year":"2006","unstructured":"Qian Z Z, Lu S L, Xie L. Automatic composition of petri net based web services. Chinese J Comput, 2006, 29: 1057\u20131066","journal-title":"Chinese J Comput"},{"key":"4460_CR20","first-page":"31","volume-title":"Proceedings of International Conference on Data Engineering","author":"K. Pu","year":"2006","unstructured":"Pu K, Hristidis V, Koudas N. Syntactic rule based approach to Web service composition. In: Liu L, Reuter A, Whang K Y, et al., eds. Proceedings of International Conference on Data Engineering. Atlanta: IEEE Computer Society, 2006. 31\u201340"},{"key":"4460_CR21","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1016\/j.datak.2005.07.006","volume":"58","author":"B. F. C. Boualem","year":"2006","unstructured":"Boualem B F C, Toumani F. Representing, analysing and managing web service protocols. Data Knowl Eng, 2006, 58: 327\u2013357","journal-title":"Data Knowl Eng"},{"key":"4460_CR22","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1145\/333979.333987","volume":"47","author":"K. Orna","year":"2000","unstructured":"Orna K, Moshe Y V, Pierre W. An automata-theoretic approach to branching-time model checking. J ACM, 2000, 47: 312\u2013360","journal-title":"J ACM"},{"key":"4460_CR23","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/BFb0015261","volume":"1000","author":"Y. V. Moshe","year":"1995","unstructured":"Moshe Y V. Alternating automata and program verification. Comput Sci Today, 1995, 1000: 471\u2013485","journal-title":"Comput Sci Today"},{"key":"4460_CR24","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/0304-3975(94)00214-4","volume":"141","author":"D. E. Muller","year":"1995","unstructured":"Muller D E, Schupp P E. Simulating alternating tree automata by nondeterministic automata: new results and new proofs of the theorems of Rabin, McNaughton and Safra. Theor Comput Sci, 1995, 141: 69\u2013107","journal-title":"Theor Comput Sci"},{"key":"4460_CR25","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/3-540-61474-5_59","volume-title":"Proceedings of International Conference on Computer Aided Verification","author":"O. Kupferman","year":"1996","unstructured":"Kupferman O, Moshe Y V. Module checking. In: Alur R, Henzinger T A, eds. Proceedings of International Conference on Computer Aided Verification. New Brunswick: Springer, 1996. 75\u201386"},{"key":"4460_CR26","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1093\/logcom\/6.4.523","volume":"6","author":"O. Kupferman","year":"1996","unstructured":"Kupferman O, Grumberg O. Buy one, get one free!!! J Logic Comput, 1996, 6: 523\u2013539","journal-title":"J Logic Comput"},{"key":"4460_CR27","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0022-0000(86)90026-7","volume":"32","author":"M. Y. Vardi","year":"1986","unstructured":"Vardi M Y, Wolper P. Automata-theoretic techniques for modal logics of programs. J Comput Syst Sci, 1986, 32: 183\u2013221","journal-title":"J Comput Syst Sci"},{"key":"4460_CR28","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"M. J. Fischer","year":"1979","unstructured":"Fischer M J, Ladner R E. Propositional dynamic logic of regular programs. J Comput Syst Sci, 1979, 18: 194\u2013211","journal-title":"J Comput Syst Sci"},{"key":"4460_CR29","first-page":"997","volume-title":"Handbook of Theoretical Computer Science","author":"E. A. Emerson","year":"1990","unstructured":"Emerson E A. Temporal and modal logic. In: Handbook of Theoretical Computer Science, Vol B. Cambridge: MIT Press, 1990. 997\u20131072"},{"key":"4460_CR30","first-page":"240","volume-title":"Proceedings of Annual ACM Symposium on Theory of Computing","author":"M. Y. Vardi","year":"1985","unstructured":"Vardi M Y, Stockmeyer L. Improved upper and lower bounds for modal logics of programs. In: Sedgewick R, ed. Proceedings of Annual ACM Symposium on Theory of Computing. Providence: ACM, 1985. 240\u2013251"},{"key":"4460_CR31","first-page":"14","volume-title":"Proceedings of ACM symposium on Theory of computing","author":"E. A. Emerson","year":"1984","unstructured":"Emerson E A, Sistla A P. Deciding braching time logic. In: DemMillo R, ed. Proceedings of ACM symposium on Theory of computing. Washington DC: ACM, 1984. 14\u201324"},{"key":"4460_CR32","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1137\/S0097539793304741","volume":"29","author":"E. A. Emerson","year":"2000","unstructured":"Emerson E A, Jutla C S. The complexity of tree automata and logics of programs. SIAM J Comput, 2000, 29: 132\u2013158","journal-title":"SIAM J Comput"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-011-4460-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-011-4460-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-011-4460-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T15:37:43Z","timestamp":1559403463000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-011-4460-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2,25]]},"references-count":32,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["4460"],"URL":"https:\/\/doi.org\/10.1007\/s11432-011-4460-z","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,2,25]]}}}