｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2024,4,27]，“date time”：“2024-04-27T17:49:55Z”，“timestamp”：1714240195513｝，“reference count”：14，“publisher”：“Springer Science and Business Media LLC”，“issue”：“2”，“license”：[｛“start”：｛“date parts”：[[2006,7,5]]，“date time”：“2006-07-05T00:00:00Z”，“timestamp”：1152057600000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Int J Softw Tools Technol Transfer“]，”published-print“：{”date-parts“：[[2007,3,2]}”，“DOI”：“10.1007\/s10009-00 6-0015-9“，”类型“：”日志文章“，”创建“：{“date-parts”：[[2006,7,6]]，“date-time”：“2006-07-06T00:25:08Z”，“timestamp”：1152145508000}，“page”：“169-178”，“source”：”Crossref“，“is-referenced-by-count”：20，“title”：[“软件组件匹配的本体论”]，“前缀”：“10.1007”，“卷”：“9”，“作者”：[{“给定”：“Claus”，“family”：“Pahl”，”sequence“：”first“，“affiliation”：[]}]，“成员”：“297”，“published-online”：{“date-parts”：[[2006,7,5]]}，“reference”：[{“key”：“15_CR1”，“volume-title”：“Component Software:Beyond Object-Oriented Programming”，“author”：“C Szyperski”，“year”：“2002”，“unstructured”：“Szyperski C（2002）Component Software:Byond Object-Oriented Program，2nd edn.Addison-Wesley，Reading”，“edition”：“2”}，{“key”：”15_CR2“，“卷标题”：“基于组件的系统的基础”，“作者”：“G.T.Leavens”，“年份”：“2000”，“非结构化”：“Leavens G.T.，Sitamara M.（2000）基于组件的系统的基础。剑桥大学出版社，剑桥”}，{“问题”：“4”，“关键”：“15_CR3”，“doi断言者”：“crossref”，“第一页”：“333”，“doi”：“10.1145\/2261640.261641”，“卷”：“6”，“author”：“A.Moorman Zaremski”，“year”：“1997”，“unstructured”：“Moorman Zaremski A.，Wing J.M.（1997）软件组件的规范匹配。ACM Trans.Softw.Eng.Methods 6（4）：333\u2013369”，“journal-title”：“ACM Trans.Softw.Eng.Methods”}，{“key”：“15_CR4”，“非结构化”：“DAML-S联盟。DAML-S-语义Web的Web服务描述。摘自：Horrocks，I.，Hendler，J.（eds.）2002年第一届国际语义Web会议的会议记录，第279\u2013291页。LNCS 2342，Springer，Berlin Heidelbery New York（2002）“}，{“key”：“15_CR5”，“doi-asserted-by”：“crossref”，“first-page”：“6”，“doi”：“10.1007\/3-540-36578-8_2”，“volume-title”：“软件工程基本方法的过程FASE\u20192003”，”作者“C.Pahl”，年“”：“2003”，“非结构化”：“Pahl C.（2003）。用于软件组件匹配的本体。收录：Pezz\u00e8 M.（编辑）。软件工程基本方法程序FASE\u20192003，LNCS 2621，Springer，Berlin Heidelbery New York，pp.6\u201321“}，{“key”：“15_CR6”，“unstructured”：“W3C语义Web Activity:Semantic Web Activity Statement.http://www.w3.org\/2001\/sw.（访问06\/12\/2004）2004”}，}“key:”15_CR7“volume-title”：“描述逻辑手册”，“年份”：“2003年”，“非结构化”：“Baader F.，McGuiness D.，Nardi D.，Schneider P.P.ed.（2003）描述逻辑手册。剑桥大学出版社，剑桥“}，{“key”：“15_CR8”，“unstructured”：“Schild，K.术语逻辑对应理论：初步报告。第十二届国际人工智能联合会议（1991）会议记录”}作者“：”D.Kozen“，”year“：”1990“，”unstructured“：”Kozen D.，Tiuryn J.（1990）。程序逻辑。收件人：van Leeuwen J.（编辑）。《理论计算机科学手册》，第B卷，爱思唯尔出版社，阿姆斯特丹，第789\u2013840页“}，{“key”：“15_CR10”，“doi-asserted-by”：“crossref”，“first page”：”112“，“doi”：“10.1007\/BFb0015458”，“volume-title”：“KORSO\u2013构建正确软件的方法、语言和工具”，“author”：“S.Gastinger”，“year”：“1995”，“unstructured”：“Gastinger S.、Hennicker R.、Stabl R.（1995）。可重用模块化软件系统的设计。收录人：Broy M.，J\u00e4technihen S.（eds）。KORSO\u2013构建正确软件的方法、语言和工具，LNCS 1009，Springer，Berlin Heidelberg New York，pp.112\u2013127“}，{“问题”：“10”，“关键”：“15_CR11”，“doi-asserted-by”：“crossref”，“首页”：“40”，“doi”：“10.1109\/2.161279”，“卷”：“25”，“作者”：“B.Meyer”，《年份》：“1992”，“非结构化”：“Meyer B.（1992）采用合同设计。计算机25（10）：40\u201351“，”journal-title“：”Computer“}，{”key“：”15_CR12“，”doi-asserted-by“：”crossref“，”unstructured“：”Inverardi，P.，Tivoli，M。正确组件组装的软件体系结构。In:计算机、通信和软件系统设计的形式化方法：软件体系结构。LNCS Series，Springer，Berlin Heidelberg New York（2003）“，”DOI“：”10.1007\/978-3-540-39800-4_6“}，{”key“：”15_CR13“，”first page“：“254”，”volume-title“：”European Conference on Web Services ECOWS 2004“，”author“：”R.Lara“，”year“：”2004“，“unstructured”：”Lara R.，Roman D.，Polleres A.，Fensel D.（2004）。WSMO与OWL-S的概念比较。收录人：Zhang L.-J.，Jeckle M.（编辑）。2004年欧洲网络服务会议ECOWS。LNCS 3250，Springer，Berlin Heidelberg New York，pp.254\u2013269“}，{“key”：“15_CR14”，“unstructured”：“Reussner，R.，Poernomo，I.，Schmidt，H.软件组件的合同和质量属性。摘自：Weck，W.，Bosch，J.，Szyperski，C.（eds.）第八届面向组件编程国际研讨会WCOP\u201903（2003）”}]，“container-title“：[“国际技术转让软件工具杂志”]，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/s10009-006-0015-9.pdf”，“content-type”：“application\/pdf”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http:\/\/link.springer.com/article\/10.1007\/s10009-006-0015-9\/fulltext.html“，”content-type“：”text\/html“，”内容版本“：”vor“，”intended-application“：”text-mining“}，{”URL“：”http://\/link.springer.com\/content\/pdf\/10.10007\/s10009-1006-0015-9“，”content-type y-检查“}]，”存放“：{“date-parts”：[[2019,5,29]]，“date-time”：“2019-05-29T07:25:22Z”，“timestamp”：1559114722000}，“score”：1，“resource”：{（主要）：{”URL“：”http:\\/link.springer.com\/10007\/s10009-006-0015-9“}}，”副标题“：[]，”短标题“：[]，“issued”：{“date-parts”：[2006,7,5]]}，“：14，”新闻发布“：{”发布“：”2“，”发布发布“：date-parts“：[[2007,3,2]}}，”alternative-id“：[”15“]，”URL“：”http://\/dx.doi.org\/10.1007\/s10009-006-0015-9“，”relation“：{}，“ISSN”：[“1433-2779”，“1433-2787”]，“ISSN-type”：[{“value”：“1433-21779”，”type“：”print“}，{“value”：”1433-2786“，”types“：”electronic“}]，”subject“：[]，”已发布“：{”日期部分“：[[2006,7,5]]}}}