{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,9]]，“日期时间”：“2024-09-09T04:39:57Z”，“时间戳”：1725856797421}，“出版商位置”：“柏林，海德堡”，“参考计数”：26，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“979”83540243281“}，{”类型“：“electronic”，“value”：“9783540305811”}]，“license”：[{“start”：{“date-parts”：[[2005,1,1]]，“date-time”：“2005-01-01T00:00:00Z”，“timestamp”：1104537600000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]}，“short-container-title”：[]，“published-print”用法：{“date-parts”：[[2005]]}，“DOI”：“10.1007\/978-3-540-30581-1_5”，“type”：“book-chapter”，“created”：{（日期-部件）：[[2010,3,1]]，“date-time”：“2010-03-01T15:29:00Z”，“timestamp”：1267457340000}，”page“：”43-54“，”source“Crossref”，“is-referenced-by-count”：409，“title”：[“自动化Web服务组合方法概览”]，“前缀：“10.1007”，“作者”：[{“给定”：“静海”，“家族”：“饶”，“序列”：“第一个”，“从属关系”：[]}，{“给定”：“小蒙”，“家庭”：“苏”，“顺序”：“附加”，“隶属关系”：[]}]，“成员”：“297”，“引用”：[{“问题”：“1”，“密钥”：“5_CR1”，”doi-asserted-by“发布者”，“首页”：“5”，“doi”：“10.1016\/0304-975（94）00103-0”，“卷”：“135”，“作者”：“S.Abramsky”，“年份”：“1994”，“非结构化”：“Abramsky，S.：作为过程的证明。理论计算机科学\u00a0135（1），5\u20139（1994）”，“期刊标题”：“理论计算机科学”}，{“key”：“5_CR2”，“unstructured”：“Andrews，T.，et al.：Web Services的业务流程执行语言（BPEL4WS）1.1（2003年5月），\n\nhttp://www-106.ibm.com/developerworks\/webservices\/library\/ws-bpel“}，{“问题”：“1”，“密钥”：“5_CR3”，“doi-asserted-by”：“发布者”，“首页”：“11”，“doi”：“10.1016\/0304-3975（94）00104-9”，“卷”：“135”，“作者”：“G.Bellin”，“年份”：“1994”，“非结构化”：“Bellin，G.，Scott，P.J.：关于微积分和线性逻辑。理论计算机科学\u00a0135（1），11\u201365（1994）“，”杂志标题“：”理论计算机科学“}，{“key”：“5_CR4”，“unstructured”：“Bellwood，T.等人：通用描述、发现和集成规范（UDDI）3.0.，\n\n http://UDDI.org\/pubs\/UDDI-v3.00-published-20020719.htm”}，}“key“：”5_CR5“，”first page“：“265”，”volume-title“：”Towards Patterns of Web Services Composition“，”author“：”B.Benatallah“，”year“：”2003“，”unstructured“：”Benatalla，B.，Dumas，M.，Fauvet，M.-C.，Rabi，F.：并行和分布式计算的模式和框架。在：走向Web服务组合模式，第265页\u2013296。Springer，Heidelberg（2003）“}，{“key”：“5_CR6”，“unstructured”：“Box，D.，et al.：Simple Object Access Protocol（SOAP）1.1（2001），\n\n http://www.w3.org\/TR\/SOAP\/”}，}“key”：”5_CR7“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：”13“，”doi“：”10.1007\/3-540-45140-4_3“，“volume-title”：“Advanced Information Systems Engineering”，“author”：“F.Casati”，“year”：“2000”，“unstructured”：“Casati，F.，Ilnicki，S.，Jin，L.：EFlow中的自适应和动态服务组合。收录：Wangler，B.，Bergman，L.D.（编辑）CAiSE 2000。LNCS，卷\u00a01789，第13页。Springer，Heidelberg（2000）“}，{”key“：”5_CR8“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“171”，”doi“：”10.1007\/3-540-45341-5_12“，”volume-title“：“Advanced Information Systems Engineering”，“author”：“F.Casati”，“year”：“2001”，“unstructured”：“Casati，F.、Sayal，M.、Shan，M.-C.：开发用于组合电子服务的电子服务。收录：Dittrich，K.R.，Geppert，A.，Norrie，M.C.（编辑）CAiSE 2001。LNCS，卷\u00a02068，第171页。Springer，Heidelberg（2001），\n\n http://\/link.Springer.de\/link\/service\/series\/0558\/bibs\/20680171.htm“}，{“key”：“5_CR9”，“unstructured”：“Chinnici，R.，et al.：Web Services Description Language（WSDL）1.2，\n\n http://www.w3.org\/TR\/WSDL\/”}5_CR10“，”doi-asserted-by“：”crossref“，”unstructured“：”Grosof，B.N.，Horrocks，I.，Volz，R.，Decker，S.：描述逻辑程序：将逻辑程序与描述逻辑相结合。收录于：《第十二届万维网国际会议论文集》（WWW 2003），匈牙利布达佩斯（2003）“，”DOI“：”10.2139\/ssrn.460986“}，{“key”：“5_CR11”，“DOI-asserted-by”：“crossref”，“unstructured”：“Hull，R.、Benedikt，M.、Christophides，V.、Su，J.：电子服务：幕后观照。摘自：美国圣地亚哥第22届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集（2003年6月），“DOI”：“10.1145\/7731573154”}，{“key”：“5_CR12”，“unstructured”：“L\u00e4mmermann，S.：基于逻辑的程序合成的运行时服务组合。皇家理工学院微电子与信息技术系博士论文（2002年6月）“}，{“issue”：“1”，“key”：“5_CR13”，“doi-asserted-by”：“publisher”，“first-pages”：“90”，“doi”：“10.1145\/357084.357090”，《volume》：“2”，“author”：“Z.Manna”，“year”：“1980”，“unstructured”：“Manna，Z.，Waldinger，R.J.：程序综合的演绎方法。ACM程序设计语言与系统汇刊\u00a02（1），90\u2013121（1980）”，“期刊标题”：“ACM程序设计语言与系统汇刊”}，｛“密钥”：“5_CR14”，“非结构化”：“Martin，D.等人：DAML-S（和OWL-S）0.9草案发布（2003年5月），\n\n http://www.daml.org\/services\/daml-s\/0.9\/“}，{“volume-title”：“第六届人工智能规划与调度国际会议论文集”，“年份”：“2002年”，“作者”：“D.McDermott”，“key”：“5_CR15”，“非结构化”：“McDermott，D.：与Web服务交互的估计回归规划。摘自：法国图卢兹第六届人工智能规划与调度国际会议记录。AAAI Press，Menlo Park（2002）“}，{“key”：“5_CR16”，“unstructured”：“McIlraith，S.，Son，T.C.：将Golog改编为语义Web服务的组合。In:第八届知识表示与推理国际会议论文集（KR 2002），法国图卢兹（2002年4月）”}，}“issue”：“2”，“key“：”5_CR17“doi-asserted-by”：“publisher”，“首页”：“46”，“DOI”：“10.1109\/5254.920599”，“卷”：“16”，“作者”：“S.McIlraith”，“年份”：“2001”，“非结构化”：“McIlraith，S.，Son，T.C.，Zeng，H.：语义Web服务。IEEE Intelligent Systems\u00a016（2），46\u201353（2001）“，“journal-title”：“IEEE Inteligent Systems”}，{“key”：“5_CR18”，“doi-asserted-by”：“crossref”，“unstructured”：“Medjahed，B.，Bouguettaya，A.，Elmagarmid，A.K.：在语义Web上组合Web服务。VLDB journal \u00a2012（4）（2003年11月）”，“doi”：“10.1007”\/s0078-003-0101-5“}，}”“volume-title”：“第十一届国际万维网会议论文集”，“year”：“2002”，“author”：“S.Narayanan”，“key”：“5_CR19”，“unstructured”：“Narayana，S.，McIlraith，S.：Web服务的模拟、验证和自动组合。收录于：《第十一届国际万维网会议论文集》，美国夏威夷火奴鲁鲁，ACM，纽约（2002），演示文稿，网址：\n\n http://www2002.org//presentations\/narayanan.pdf“}，{“key”：“5_CR20”，“unstructured”：“Ponnekanti，S.R.，Fox，A.：SWORD：用于Web服务组合的开发人员工具包。In:Proceedings of the 11th World Wide Web Conference，Honolulu，HI，USA（2002）“}，{“key”：“5_CR21”，“unstructured”：“Rao，J.，K\u00fcngas，P.，Matskin，M.：线性逻辑在Web服务组合中的应用。In:Processes of the 1st International Conferences on Web Services，Las Vegas，USA《2004年Web服务国际会议论文集》，“年份”：“2004年”，“作者”：“J.Rao”，“关键”：“5_CR22”，“非结构化”：“Rao，J.，K\u00fcngas，P.，Matskin，M.：基于逻辑的Web服务组合：从服务描述到过程模型。2004年7月，美国圣地亚哥，2004年网络服务国际会议记录。IEEE，Los Alamitos（2004）“}，{”key“：”5_CR23“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“247”，”doi“：”10.1007\/3-540-45140-4_17“，”volume-title“：“Advanced Information Systems Engineering”，“author”：“H.Schuster”，“year”：“2000”，“unstructured”：“Schuster，H.、Georgakopoulos，D.、Cichocki，A.、Baker，D.：基于服务和参考流程的多企业流程建模和组合。收录：Wangler，B.，Bergman，L.D.（编辑）CAiSE 2000。LNCS，卷\u00a01789，第247页。Springer，Heidelberg（2000）“}，{“key”：“5_CR24”，“unstructured”：“Sirin，E.，Hendler，J.，Parsia，B.：使用语义描述的Web服务的半自动组合。In：《Web服务学报：建模、架构和基础设施研讨会与ICEIS 2003（2002）》”}，}人工智能课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“250”，“doi”：“10.1007\/3-540-45484-5_20”，“volume-title”：“Agent-Based Systems的正式方法”，“author”：“R.Waldinger”，“year”：“2001”，“unstructured”：“Waldinger，R.：Web代理演绎合作。收录人：Rash，J.L.，Rouff，C.A.，Truszkowski，W.，Gordon，D.F.，Hinchey，M.G.（编辑）FAABS 2000。LNCS（LNAI），第u00a01871卷，第250\u2013262页。Springer，Heidelberg（2001）“}，{“key”：“5_CR26”，“doi asserted by”：“crossref”，“nonstructured”：“Wu，D.，Sirin，E.，Hendler，J.，Nau，D.，Parsia，B.：使用SHOP2的自动Web服务组合。In:Web服务规划研讨会，意大利特伦托（2003年6月）“，“DOI”：“10.21236\/ADA448067”}]，“container-title”：[“计算机科学课堂讲稿”，“语义Web服务和Web进程组合”]，“原文标题”：[]，“language”：“en”，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/101007\/978-3-540-30581-1_5”，“content-type”：“unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,19]]，”date-time“：”2019-05-19T17:25:44Z“，”timestamp“：1558286744000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://link.springer.com/10.1007\/978-3540-30581-1_5”}}，“subtitle”：[]，“shorttitle”“：[]，”已发布“：{”日期部分“：[[2005]]}，“ISBN”：[“9783540243281”，“9783540305811”]，“references-count”：26，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-540-30581-1_5”，“relation”：{}，“ISSN”：【“0302-9743”，“1611-3349”】，“ISSN-type”：[{“type”:“print”，“value”：“0302-7743”}，{“类型”：“electronic”，“值”：“1611-349”}]，“主题”：[]，“发布”：{“日期部分”：[[2005]]}}