乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,7,3]],"date-time":"2022-07-03T21:16:12Z","timestamp":1656882972429},"reference-count":26,"publisher":"Elsevier BV","issue":"8","license":[{"start":{"date-parts":[[2009,11,1]],"date-time":"2009-11-01T00:00:00Z","timestamp":1257033600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,11,1]],"date-time":"2013-11-01T00:00:00Z","timestamp":1383264000000},"content-version":"vor","delay-in-days":1461,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Logic and Algebraic Programming"],"published-print":{"date-parts":[[2009,11]]},"DOI":"10.1016\/j.jlap.2009.07.001","type":"journal-article","created":{"date-parts":[[2009,8,7]],"date-time":"2009-08-07T10:02:02Z","timestamp":1249639322000},"page":"730-748","source":"Crossref","is-referenced-by-count":4,"title":["A barred operational semantics for a subset of WS-CDL with time restrictions"],"prefix":"10.1016","volume":"78","author":[{"given":"Valent\u0131\u00b4n","family":"Valero","sequence":"first","affiliation":[]},{"given":"Gregorio","family":"D\u00edaz","sequence":"additional","affiliation":[]},{"given":"Mar\u00eda Emilia","family":"Cambronero","sequence":"additional","affiliation":[]},{"given":"Hermenegilda","family":"Maci\u00e0","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.jlap.2009.07.001_bib1","series-title":"Web Services","author":"Alonso","year":"2002"},{"key":"10.1016\/j.jlap.2009.07.001_bib2","unstructured":"T. Andrews et al., BPEL4WS \u2013 Business Process Execution Language for Web Services. Version 1.1. May 2003. ."},{"key":"10.1016\/j.jlap.2009.07.001_bib3","series-title":"Process Algebra with Timing","author":"Baeten","year":"2002"},{"key":"10.1016\/j.jlap.2009.07.001_bib4","series-title":"Petri Net Algebra","author":"Best","year":"2001"},{"issue":"1","key":"10.1016\/j.jlap.2009.07.001_bib5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.jlap.2006.05.002","article-title":"Service oriented computing from a process algebraic perspective","volume":"70","author":"Bravetti","year":"2007","journal-title":"J. Logic Algebraic Program."},{"key":"10.1016\/j.jlap.2009.07.001_bib6","doi-asserted-by":"crossref","unstructured":"A. Brogi, C. Canal, E. Pimentel, A. Vallecillo, Formalizing web service choreography, in: WS-FM\u201904. Electronic Notes in Theoretical Computer Science, vol. 105, 2004, pp. 73\u201394.","DOI":"10.1016\/j.entcs.2004.05.007"},{"key":"10.1016\/j.jlap.2009.07.001_bib7","doi-asserted-by":"crossref","unstructured":"N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, G. Zavattaro, Choreography and orchestration: a synergic approach for system design, Third International Conference of Service Oriented Computing, Lecture Notes in Computer Science, vol. 3826, 2005, pp. 228\u2013240.","DOI":"10.1007\/11596141_18"},{"key":"10.1016\/j.jlap.2009.07.001_bib8","unstructured":"N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, G. Zavattaro, Choreography and orchestration conformance for system design, in: Eighth Int. Conference on Coordination Models and Languages. Lecture Notes in Computer Science, vol. 4038, 2006, pp. 63\u201381."},{"issue":"3","key":"10.1016\/j.jlap.2009.07.001_bib9","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/j.entcs.2006.12.041","article-title":"Calculus of global interaction based on session types","volume":"171","author":"Carbone","year":"2007","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"10.1016\/j.jlap.2009.07.001_bib10","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/j.entcs.2008.04.007","article-title":"A theoretical basis of communication-centred concurrent programming","volume":"209","author":"Carbone","year":"2008","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"10.1016\/j.jlap.2009.07.001_bib11","unstructured":"G. D\u00edaz, J.J. Pardo, M.E. Cambronero, V. Valero, F. Cuartero, Automatic translation of WS-CDL choreographies to timed automata, in: Proceedings Second International Workshop on Web Services and Formal Methods, WS-FM\u201905, Lecture Notes in Computer Science, vol. 3670, 2005, pp. 230\u2013242."},{"key":"10.1016\/j.jlap.2009.07.001_bib12","unstructured":"R. Hamadi, B. Benatallah, A Petri net-based model for web service composition, in: Proceedings of the 14th Australasian Database Conference, vol. 17, 2003, pp. 191\u2013200."},{"key":"10.1016\/j.jlap.2009.07.001_bib13","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-3-540-71316-6_4","article-title":"Calculus for orchestration of web services","volume":"4421","author":"Lapadula","year":"2007","journal-title":"Lect. Notes Comput. Sci."},{"issue":"1","key":"10.1016\/j.jlap.2009.07.001_bib14","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1016\/j.jlap.2006.05.007","article-title":"A pi-calculus based semantics for WS-BPEL","volume":"70","author":"Lucchi","year":"2007","journal-title":"Web Services and Formal Methods, J. Logic Algebraic Program."},{"key":"10.1016\/j.jlap.2009.07.001_bib15","doi-asserted-by":"crossref","unstructured":"M. Mazzara, Timing Issues in Web Services Composition, EPEW2005 and WS-FM 2005, Lecture Notes in Computer Science, vol. 3670, 2005, pp. 287\u2013302.","DOI":"10.1007\/11549970_21"},{"key":"10.1016\/j.jlap.2009.07.001_bib16","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"issue":"1","key":"10.1016\/j.jlap.2009.07.001_bib17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","article-title":"A Calculus of mobile processes, part I and II","volume":"100","author":"Milner","year":"1992","journal-title":"Inform. Comput."},{"key":"10.1016\/j.jlap.2009.07.001_bib18","doi-asserted-by":"crossref","unstructured":"Z. Qiu, X. Zhao, C. Cai, H. Yang, Towards the theoretical foundation of choreography, in: Proceedings of the 16th International Conference on World Wide Web, WWW 2007, 2007, pp. 973\u2013982.","DOI":"10.1145\/1242572.1242704"},{"key":"10.1016\/j.jlap.2009.07.001_bib19","doi-asserted-by":"crossref","unstructured":"G. Salaun, L. Bordeaux, M. Schaerf, Describing and reasoning on web services using process algebra, in: Second International Conference on Web Services, IEEE Computer Society Press, 2004.","DOI":"10.1109\/ICWS.2004.1314722"},{"key":"10.1016\/j.jlap.2009.07.001_bib20","doi-asserted-by":"crossref","unstructured":"V. Valero, M.E. Cambronero, G. D\u00edaz, H. Maci\u00e0, A Petri net approach for the design and analysis of web services choreographies, J. Logic Algebraic Program., in press.","DOI":"10.1016\/j.jlap.2008.09.002"},{"key":"10.1016\/j.jlap.2009.07.001_bib21","unstructured":"World Wide Web Consortium (W3C). ."},{"key":"10.1016\/j.jlap.2009.07.001_bib22","unstructured":"Web Services Choreography Description Language Version 1.0 (WS-CDL). ."},{"key":"10.1016\/j.jlap.2009.07.001_bib23","unstructured":"Web Service Choreography Interface (WSCI) 1.0, 2002. ."},{"key":"10.1016\/j.jlap.2009.07.001_bib24","doi-asserted-by":"crossref","unstructured":"H. Yang, X. Zhao, Z. Qiu, G. Pu, S. Wang, A formal model for web service choreography description language (WS-CDL), in: International Conference on Web Services (ICWS\u201906), IEEE Computer Society Press, 2006, pp. 893\u2013894.","DOI":"10.1109\/ICWS.2006.3"},{"key":"10.1016\/j.jlap.2009.07.001_bib25","doi-asserted-by":"crossref","unstructured":"W.L. Yeung. Mapping WS-CDL and BPEL into CSP for behavioural specification and verification of web services, in: Proceedings of 4th IEEE European Conference on Web Services 2006 (ECOWS\u201906), IEEE Computer Society, 2006, pp. 297\u2013305.","DOI":"10.1109\/ECOWS.2006.26"},{"key":"10.1016\/j.jlap.2009.07.001_bib26","unstructured":"Q. Zongyan, Z. Xiangpeng, C. Chao, Y. Hongli, Towards the theoretical foundation of choreography, in: Proceedings of the 16th International World Wide Web Conference, ACM, 2007, pp. 973\u2013982."}],"container-title":["The Journal of Logic and Algebraic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1567832609000794?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1567832609000794?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T22:31:38Z","timestamp":1558477898000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1567832609000794"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11]]},"references-count":26,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2009,11]]}},"alternative-id":["S1567832609000794"],"URL":"https:\/\/doi.org\/10.1016\/j.jlap.2009.07.001","relation":{},"ISSN":["1567-8326"],"issn-type":[{"value":"1567-8326","type":"print"}],"subject":[],"published":{"date-parts":[[2009,11]]}}}