{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T20:24:02Z”，“时间戳”：1725567842573}，“出版商位置”：“柏林，海德堡”，“参考计数”：16，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540229599“}，{”类型“：“electronic”，“value”：“9783540301066”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2004]]}，”DOI“：”10.1007\/978-3-540-30106-6_11“，”type“：”book-capter“，”created“：”{“date-part”：[2010,10,24]]，“date-time”：“2010-10-24T16:31:10 Z“，”时间戳“：1287937870000}，”页面“：”106-115“，“source”：“Crossref”，“is-referenced-by-count”：76，“title”：[“规划和监视Web服务组合”]，“prefix”：“10.1007”，”author“：[{”given“：”M.“，”family“：”Pistore“，”sequence“：”first“，”affiliation“：[]}，{”fixed“：”F.“，“affiliation”：[]}，{“given”：“D.”，“family”：“Shaparau”，“sequence”：“additional”，“affaliance”：[]}：“Andrews，T.，Curbera，F.，Dolakia，H.，Goland，J.，Klein，J.，Leymann，F.，Liu，K.，Roller，D.，Smith，D.，Thatte，S.，Trickovic，I.，Weeravarana，S.：Web服务的业务流程执行语言，1.1版（2003）”}，｛“key”：“11_CR2”，“series title”：“计算机科学讲义”，“doi asserted by”：“publisher”，“first page”：“348”，“doi”：“10.1007\/3-540-48005-6_27”，“volume-title”：“语义Web-ISWC 2002”，“author”：“A.Ankolekar”，“year”：“2002”，”unstructured“：“Ankoleka，A.：DAML-S:语义Web的Web服务描述。In:Horrocks，I.，Hendler，J.（eds.）ISWC 2002。LNCS，卷\u00a02342，第348页。Springer，Heidelberg（2002）“}，{”key“：”11_CR3“，”unstructured“：”Bertoli，P.，Pistore，M.：“具有扩展目标和部分可观测性的规划。In:ICAPS 2004（2004）的程序”}，“{”key“：“11_CR4”，“unstructure”：“”Bertoli，P.，Cimatti，A.，Roveri，M.，Traverso，P.：通过符号模型检查在部分可观测性下的非确定性领域中的规划。摘自：Nebel，B.（编辑）Proc。IJCAI 2001（2001）“}，{“key”：“11_CR5”，“unstructured”：“Bertoli，P.，Cimatti，A.，Pistore，M.，Traverso，P.：部分可观测性下具有扩展目标的规划框架。In：Proc.ICAPS 2003（2003）”}，}，“key“：”11_CR6“，”unstructure“：”Blythe，J.，Deelman，E.，Gil，Y.：网格上工作流构建和维护的规划。In：程序。ICAPS 2003 Web服务规划研讨会（2003）“}，{“key”：“11_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“Bonet，B.，Geffner，H.：在信念空间中使用不完整信息进行启发式搜索的规划。in:Proc.AIPS 2000（2000）”，“doi”：“10.1007\/10720246_28”}，}，“key“：”11_CR8“，“unsructured“：”Dal Lago，U.，Pistore，M.，Traverso，P.：用扩展目标的语言进行规划。In：程序。AAAI 2002（2002）“}，{“key”：“11_CR9”，“unstructured”：“McDermott，D.：规划领域定义语言手册。技术报告1165，耶鲁计算机科学大学。CVC报告98-003（1998）”}，}，“key“：”11_CR10“，”series-title“：”形式模型和语义“，”volume-title“：“理论计算机科学手册”，“作者”：“E.A.Emerson”，“年份”：“1990年”，“非结构化”：“Emerson，E.A.：In:van Leeuwen，J.（ed.）《理论计算机科学手册》。形式模型与语义，vol.\u00a0B，Elsevier，Amsterdam（1990）“}，{“key”：“11_CR11”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：《335》，“doi”：“10.1007\/978-3-540-24593-3_23”，“volume-title”：《面向服务的计算-ICSOC 2003》，“author”：“A.Lazovik”，《年份》：“2003”，“非结构化”：“Lazovik，A.，Aiello，M.，Papazoglou，M.：规划和监控Web服务请求的执行。收录：Orlowska，M.E.，Weerawarana，S.，Papazoglou，M.P.，Yang，J.（编辑）ICSOC 2003。LNCS，卷\u00a02910，第335\u2013350页。Springer，Heidelberg（2003）“}，{“key”：“11_CR12”，“doi-asserted-by”：“crossref”，“unstructured”：“Narayanan，S.，McIlraith，S.：Web服务的模拟、验证和自动组合。In:WWW-11（2002）Proc.”，“doi”：“10.1145\/51146.511457”}Pistore，M.，Traverso，P.：规划是对非确定性领域中扩展目标的模型检查。In：程序。IJCAI 2001（2001）“}，{“key”：“11_CR14”，“unstructured”：“Pistore，M.，Bettin，R.，Traverso，P.：非确定性领域扩展目标规划的符号技术。in:Proc.ECP 2001（2001Thakkar，S.、Knoblock，C.、Ambite，J.L.：Web服务动态组合的视图集成方法。In：程序。ICAPS 2003 Web服务规划研讨会（2003）“｝，｛”key“：”11_CR16“，”系列标题“：”计算机科学讲义“，”doi断言“：”publisher“，”首页“：”195“，”doi“：”10.1007\/978-3-540-39718-2_13“，”卷标题“：”语义网-ISWC 2003“，”作者“：”D.Wu“，”年份“：”2003“，”非结构化“：”Wu，D.，Parsia，B.，Sirin，E.，Hendler，J.，Nau，D.：使用SHOP2自动化DAML-S Web服务组合。收录人：Fensel，D.、Sycara，K.、Mylopoulos，J.（编辑）ISWC 2003。LNCS，卷\u00a02870，第195\u2013210页。Springer，Heidelberg（2003）“}]，“container-title”：[“计算机科学课堂讲稿”，“人工智能：方法论、系统和应用”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10.1007\/978-3-540-30106-6_11.pdf”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期部分”：[[2020,11,19]]，“日期时间”：“2020-11-19T04:40:22Z”，“时间戳”：1605760822000}，“分数”：1，“资源”：{“主要”：}“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-30106-6_11”}，，“ISBN”：[“9783540229599”，“978354301066”]，“references-count“：16，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-30106-6_11“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”类型“：”electronic“，”value“：“1611-3399”}]，”主题“：[]，“published”：{“date-parts”：[[2004]]}}}