{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T17:56:26Z”，“时间戳”：1725558986400}，“出版商位置”：“柏林，海德堡”，“参考计数”：15，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“9783540 253334“}，{”类型“：“electronic”，“value”：“9783540319801”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2005]]}，”DOI“：”10.1007\/978-3-540-31980-1_38“，”type“：”book-capter“，”created“：{”date-ports“：[2010,7,11]]，”date-time“：”2010-07-11T22:44:55 9Z“，”时间戳“：1278888299000}，”页面“：”557-562“，“source”：“Crossref”，“由count引用”：44，“title”：[“jETI:远程工具集成工具”]，“prefix”：“10.1007”，“author”：[｛”给定“：“Tiziana”，“family”：“Margaria”，“sequence”：“first”，“affiliation”：[]｝，｛”给定“：“Ralf”，“family”：“Nagel”，“sequence”：“additional”，“affiliation”：[]｝，｛”给定“：“Bernhard”，“family”：“Steffen”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“38_CR1”，“doi-asserted-by”：“crossref”，”unstructured“：”Berners-Lee，T.，Hendler，J.，Lassila，O.：The Semantic Web.Scientific American（2001年5月）“，”doi“：”10.1038\/scificamerican0501-34“}，”{“key”：”38_CR2“，”unsructured“38_CR3”，“非结构化”：“Margaria，T.：ETI平台中基于Web服务的工具集成。SoSyM，软件和系统建模国际期刊，即将出版。Springer Verlag（Springer Online First DOI:10.1007 \/s10270-004-0072-z）”}，{“volume-title”：“ECBS 2005程序，第12届IEEE国际会议和基于计算机系统工程研讨会”，“年份”：“2005年”，“作者”：“T.Margaria”，“key”：“38_CR4”，“unstructured”：“Magaria，T.，Nagel，R.，Steffen，B.：JETI中验证工具的远程集成和协调。in：ECBS 2005程序，第12届IEEE国际会议和计算机系统工程研讨会，美国华盛顿特区，4月4-7日。IEEE Press，Los Alamitos（2005）“}，{”key“：”38_CR5“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“163”，”doi“：”10.1007\/978-3-540-24730-2_14“，”volume-title“：“系统构建和分析的工具和算法”，“author”：“M.M\u00fcller-Olm”，“year”：“2004”，“unstructured”：“”M\u00fcller-Olm，M.，Yoo，H.：元游戏：模型检查游戏的动画工具。收录：Jensen，K.，Podelski，A.（编辑）TACAS 2004。LNCS，第u00a02988卷，第163\u2013167页。Springer，Heidelberg（2004）“}，{“key”：“38_CR6”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BFb0035794”，“volume-title”：《自动化、语言和编程》，“author”：“B.Steffen”，“year”：“1989”，“unstructured”：“Steffen，B.：特征公式。收录：Ronchi Della Rocca，S.，Ausiello，G.，Dezani-Ciancaglini，M.（编辑）ICALP 1989。LNCS，卷\u00a0372。Springer，Heidelberg（1989）“}，{“key”：“38_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“Steffen，B.，Ingolfsdottir，A.：有限状态过程的特征公式。信息与计算\u00a0110（1）（1994）”，“doi”：“10.1006\/inco.1994.1028”}，“key“：”38_CR8“doi-sserted-bySteffen，B.，Margaria，T.，Braun，V.：电子工具集成平台：概念和设计，[10]，pp.\u00a09-30“，“DOI”：“10.1007\/s100090050003”}，{“key”：“38_CR9”，“首页”：“13”，“volume-title”：“软件：概念和工具”，“作者”：“B.Steffen”，“年份”：“1996”，“非结构化”：“Steffen，B.，Margaria，T.，Cla\u00dfen，A.：分布式系统的异构分析和验证。在：软件：概念和工具，vol.\u00a017（1），pp.13\u201325。Springer，Heidelberg（1996）“}，{”key“：”38_CR10“，”unstructured“：”Electronic Tool Integration Platform.Int.Journal on Software Tools for Technology Transfer（1997年11月）“电子工具集成平台专区”}，“key”：“38_CR11”，“unstructure”：“SUN Microsystems.Java WebService Developer Pack，http://Java.SUN.com/webservices//”}、{“key“”：“38 _CR12”，“非结构化“：”Tomcat主页，http://\/jakarta.apache.org\/Tomcat\/“}，{“key”：“38_CR13”，“unstructured”：“WebServices.org-WebServices和SOA社区的主页，http://\\ www.WebServices.org\/”}，“key“：”38_CR14“，“unsructuredWeb Service Choreography Interface（WSCI）1.0，W3C Note，2002年8月8日，http://www.w3.org\/TR\/2002\/Note-WSCI 20020808“}]，“container-title”：[“计算机科学中的讲义”，“系统构建和分析的工具和算法”]，“original-title“：[]，“link”：[{“URL”：“http:\/\/link.springer.com/content\/pdf\/10.1007\/978-3-540-31980-1_38.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2020,11,19]]，”date-time“：“2020-11-19T04:32:49Z”，”timestamp“：1605760369000}，”score“：1，”resource“：”{“primary”：{“URL”：“http:\/\/link.springer.com/10.1007\/978-3-540-31980-1_38“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2005]]}，“ISBN”：[“9783540253334”，”9783540319801“]，”引用计数“：15，”URL“http://\/dx.doi.org\/10.10007\/978 \/978-3040-31980-1_38”，“关系”：{}，：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“类型”：“打印”，“值”：“0302-7743”}，{“键入“：”electronic“，”value“：”1611-3349“}]，”subject“：[]，”published“：{”date-parts“：[[2005]]}}