{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,1]]，“日期时间”：“2022-04-01T09:49:46Z”，“时间戳”：1648806586544}，“出版商位置”：“柏林，海德堡”，“参考计数”：24，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540749738”，“类型”：“打印”}，{“值”：“9783540749745”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2009,1,1]]，“date-time”：“2009-01T00:00:00Z”，“timestamp”：1230768000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\/\/www.springer.com\/tdm”}，{“tart”：“2009-01-01T00:00:00Z”，“时间戳”：123076800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[2009]]}，”DOI“：”10.1007\/978-3-540-93851-4_28“，”type“：”book-capter“，”created“：”{“date-part”rts“：[2009,1,13]]，“日期时间”：“2009-01-13T07:17:17Z”，“时间戳”：1231831097000}，“页面”：“282-294”，“源”：“交叉引用”，“按计数引用”：0，“标题”：[“组合电信服务的设计与分析”]，“前缀”：“10.1007”，“作者”：[{“给定”：“皮尔吉奥吉奥”，“家族”：“贝托利”，“序列”：“第一”，“从属关系”：[]}，{“已知”：“劳拉”，“家庭”：“法拉利”，”序列“附加”，“附属关系”：[]}第页，{“given”：“Raman”，“family”：“Kazhamakin”，“sequence”：“additional”，“affiliation”：[]}，{“给定”：“Corrado”，“家族”：“Moiso”，“序列”：“附加的”，“从属关系”：[]}，}“给定的”：“Marco”，“家庭”：“Pistore”，“顺序”：“额外的”，]，“成员”：“297”，“引用”：[{“问题”：“2”，“关键”：“28_CR1”，“首页”：“80”，“卷”：“13”，“作者”：“G.Turner”，“年份”：“1995”，“非结构化”：“Turner，G.：服务创建。BT Technology Journal\u00a013（2），80\u201386：“Kazhamiakin，R.，Pistore，M.，Santuria，L.：Web服务组合中的通信模型分析。摘自：Proc.International World Wide Web Conference（WWW）（2006）”，“DOI”：“10.1145\/11355777.1135819”}，{“key”：“28_CR3”，“DOI-asserted-by”：“crossref”，“unstructured”：“Kazhamakin，R.，Pistore，M.：Web服务组合中控制和数据的静态验证。in:Proc.International Conference on Web Services（ICWS）（2006）”，“DOI”：“10.1109\/ICWS.2006.124”}，{“key”：“28_CR4”，“DOI-asserted-by”：“crossref”，“unstructured”：“Kazhamakin，R.，Pandya，P.K.，Pistore，M.：Web服务组合中时间属性的表示、验证和计算。in:Proc.International Conference on Web Services（ICWS）（2006）”，“DOI”：“10.1109\/ICWS.2006.112”}，{“key”：“28_CR5”，“unstructured”：“Parlay-X Group：3GPP，Open Service Access（OSA）-Parlay X Web Services（Release 6）“}，{“key”：“28_CR6”，“unstructured”：“OSA Parlay Group:3GPP，Open Service Access（OSA）-应用程序编程接口（Release6）”}，}“key:”28_CR7“，“series-title”：“Computer Science中的讲义”，“doi-asserted-by”：“publisher”，“first-page:”302“，”doi“：”10.1007\/11538394_20“，”volume-title“：”业务流程管理”，“作者”：“A.Barros”，“年份”：“2005年”，“非结构化”：“Barros，A.，Dumas，M.，ter Hofstede，A.H.M.：服务交互模式。收录人：van der Aalst，W.M.P.，Benatallah，B.，Casati，F.，Curbera，F.（编辑）BPM 2005。LNCS，第u00a03649卷，第302\u2013318页。Springer，Heidelberg（2005）“}，{”key“：”28_CR8“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“188”，”doi“：”10.1007\/3-540-36189-8_15“，”volume-title“：“Web Services，E-Business，and the Semantical Web”，“author”：“X.Fu”，“year”：“2002”，“unstructured”：“Fu，X.，Bultan，T.，Su，J.：电子服务和工作流的正式验证。收录人：Bussler，C.J.，McIlraith，S.A.，Orlowska，M.E.，Pernici，B.，Yang，J.（编辑）CAiSE 2002和WES 2002。LNCS，卷\u00a02512，第188\u2013202页。Springer，Heidelberg（2002）“}，{“key”：“28_CR9”，“doi-asserted-by”：“crossref”，“unstructured”：“Cimatti，A.，Clarke，E.M.，Giunchiglia，F.，Roveri，M.：NuSMV:一种新的符号模型检查器。国际技术转让软件工具杂志（STTT）\u00a02（4）（2000）”，“doi”：“10.1007 \/s100090050046”}，}，“issue”：“5”，“key“：”28_CR10“，”doi-as由“：”插入publisher“，”first page“：”279“，”DOI“：”10.1109\/32.588521“，”volume“：“23”，”author“：”G.J.Holzmann“，”year“：”1997“，”unstructured“：”Holzmann-，G.J.：The Model Checker SPIN。软件工程\u00a023（5），279\u2013295（1997）“，”杂志标题“：”软件工程“}，{“key”：“28_CR11”，“volume-title”：“理论计算机科学手册，B卷：形式模型和语义”，“author”：“E.A.Emerson”，“year”：“1990”，“unstructured”：“Emerson，E.A.：时序和模态逻辑。In:van Leeuwen，J.（ed.）理论计算机科学手册，B卷：形式模型和语义。Elsevier，Amsterdam（1990）“}，{”key“：”28_CR12“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/3-540-58179-0_69“，”volume-title“：“计算机辅助验证”，“author”：“D.Peled”，“year”：“1994”，“unstructured”：“Peled，D.：将部分订单缩减与实际模型检查相结合。In:Dill，D.L.（编辑）CAV 1994。LNCS，卷\u00a0818。Springer，Heidelberg（1994）“}，{“key”：“28_CR13”，“doi-asserted-by”：“crossref”，“unstructured”：“Fu，X.，Bultan，T.，Su，J.：交互BPEL Web服务分析。In:Proc.International World Wide Web Conference（WWW）（2004）”，“doi”：“10.1145\/988672.988756”}，“{”key“：”28_CR14“doi-sserted-byFoster，H.，Uchitel，S.，Magee，J.，Kramer，J.：基于模型的web服务组合验证。In：程序。国际自动化软件工程会议（ASE）（2003）“，”DOI“：”10.1109\/ASE.2003.1240303“}，{”key“：”28_CR15“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“200”，“DOI”：“10.1007\/978-3540-39648-2_18”，“volume-title”：“概念建模-ER 2003”，“author”：“P.Wohed”，“year”：“2003”非结构化”：“Wohed，P.，van der Aalst，W.M.P.，Dumas，M.，ter Hofstede，A.H.M.：web服务组合语言分析：以BPEL4WS为例。收录人：Song，I.-Y.，Liddle，S.W.，Ling，T.-W.，Scheuermann，P.（编辑）ER 2003。LNCS，第u00a02813卷，第200\u2013215页。Springer，Heidelberg（2003）“}，{”key“：”28_CR16“，”unstructured“：”Nakajima，S.：“可靠Web服务的模型检查验证。In:Proc.OOPSLA Workshop on Object-Oriented Web Services（2002）”}，}，“key”：“28_CR17”，“doi-asserted-by”：“crossref”，“unstructure”：“”Ferrara，A.：Web服务：过程代数方法。In：程序。国际面向服务计算会议（ICSOC），第242\u2013251（2004）页，“DOI”：“10.1145\/10351617.1035202”｝，｛“key”：“28_CR18”，“series title”：“计算机科学讲义”，“DOI asserted by”：“publisher”，“first page”：“38”，“DOI”：“10.1007\/11841197_3”，“volume title”：“Web服务和形式方法”，“author”：“M.Boreale”，““2006年”，“非结构化”：“Boreale，M.，Bruni，R.，Caires，L.，De Nicola，R.、Lanese，I.、Loreti，M.、Martins，F.、Montanari，U.、Ravara，A.、Sangiorgi，D.、Vasconcelos，V.、Zavataro，G.：SCC：以服务为中心的微积分。收录：Bravetti，M.，N\u00fa\u00f1ez，M.、Zavataro，G.（编辑）WS-FM 2006。LNCS，卷\u00a04184，第38页\u201357。Springer，Heidelberg（2006）“}，{“key”：“28_CR19”，“unstructured”：“Schmidt，K.，Stahl，C.：BPEL4WS\u2013验证和应用的petri网语义。摘自：第十一届petri网算法和工具研讨会论文集，pp.1\u20136（2004）”}，“key“：”28_CR20“，”doi-asserted-by“：”crossref“，”unstructure“：”Zhang，J.，Chung，J.Y.，Chang，C.K.，Kim，S.W.：WS-Net：基于Petri网的Web服务规范模型。In：程序。Web服务国际会议（2004）“，”DOI“：”10.1109\/ICWS.2004.1314766“}，{”key“：”28_CR21“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“188”，“DOI”：“10.1007\/3-540-45089-0_18”，“volume-title”：“Automata的实现与应用”，“author”：“X.Fu”，”year“：”2003“，”unstructured“：”Fu，X.，Bultan，T.，Su，J.：对话协议：反应式电子服务规范和验证的形式主义。收录：H.Ibarra，O.，Dang，Z.（编辑）CIAA 2003。LNCS，卷\u00a02759，第188\u2013200页。Springer，Heidelberg（2003）“}，{“key”：“28_CR22”，“doi-asserted-by”：“crossref”，“unstructured”：“D\u00edaz，G.，Pardo，J.J.，Cambronero，M.，Valero，V.，Cuartero28_CR23“，“非结构化”：“Benatallah，B.，Casati，F.，Ponge，J.，Toumani，F.：关于Web服务协议的时间抽象。In：程序。CAiSE论坛（2005）“}，{“key”：“28_CR24”，“doi-asserted-by”：“crossref”，“unstructured”：“Deutsch，A.，Sui，L.，Vianu，V.：数据驱动Web服务的规范和验证。In:PODS 2004:第23届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集，第71\u201382（2004）页”，“doi”：“10.1145\/105558.1055571”}]，“container-title“：[“面向服务的计算\u2013 ICSOC 2007”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-93851-4_28”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期-部件”：[2019,5,17]]，“date-time”：“2019-05-17T05:50:25Z”，“timestamp”：1558072225000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/link.springer.com/10.1007\/978-3-540-93851-4_28”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2009年]}”，“ISBN”：[“9783540749738”，“9783549745”]，”reference nces-count“：24，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-93851-4_28“，“relation”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”