｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2022,4,1]]，“date-time”：“2022-04-01T21:01:57Z”，“timestamp”：1648846917732｝，“publisher location”：“Berlin，Heidelberg”，“reference count”：19，“publisher”：“Springer Berlin Heidelberg”，“isbn type”：[｛“value”：“9783642357428”，“type”：“print”｝，｛“value”：“9783642357435”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2012]]}，”DOI“：”10.1007\/978-3642-35743-5_21“，”type“：”book-capter“，”created“：”{“date-part”：[2012,12,14]]，“date-time”：“2012-12-14T01:40:4 2Z“，”时间戳“：1355449242000}，”页面“：”350-367“，“source”：“Crossref”，“is-referenced-by-count”：2，“title”：[“验证自然语言中用例的时间属性”]，“prefix”：“10.1007”，”author“：[{”given“：”Viliam“，”family“：”Simko“，”sequence“：”first“，”affiliation“：[]}，{”fixed“：”David“，，“序列”：“additional”，“affiliation”：[]}，{“given”：“Petr”，“family”：“Hnetynka”，“sequence”：“addressive”，“abfiliation“：[]{”given“：Frantisek”，“家族”：“Plasil”，“sequence”:“additionable”，“filiation:[]}]，“member”：“297”，“reference”：[{“issue”：“5”，“key”：“doi”：“10.1145\/503271.503226”，“卷”：“26”，“作者”：“L.Alfaro de”，“year”：“2001”，“unstructured”：“de Alfaro，L.，Henzinger，T.A.：接口自动机。SIGSOFT Softw.Eng.Notes\u00a026（5），109\u2013120（2001）”，“日记标题”：“SIGSOFT-Softw.Eng.Notes”}，{“key”：“21_CR2”，“volume-title”：“软件工程经济学”，“author”：“B.Boehm”，“年份”：“1981”，“非结构化”：“Boehm，B.：软件工程经济学。Prentice-Hall，Englewood Cliffs（1981）”}，{“key”：“21_CR3”，“volume-title”：“Writing Effective Use Cases”，“author”：“A.Cockburn”，“year”：“2000”，“unstructured”：“Cockburn:”A.：“Wring Effectional Use Cases.Addison-Wesley，Boston（2000）”}.，{（key）：“21-CR4”，“series-title”：《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：“856”，“doi”：“10.1007\/978-3-540-69507-3_74”，“volume-title”：“SOFSEM 2007:计算机科学理论与实践”，“author”：“J.Drazan”，“year”：“2007”，“unstructured”：“Drazan，J.，Mencl，V.：文本用例的改进处理：衍生行为规范。收录于：van Leeuwen，J.、Italiano，G.F.、van der Hoek，W.、Meinel，C.、Sack，H.、Pl\u00e1\u0161il，F.（编辑）SOFSEM 2007。LNCS，第u00a04362卷，第856\u2013868页。Springer，Heidelberg（2007）“}，{”key“：”21_CR5“，”doi-asserted-by“：”crossref“，”unstructured“：”Firesmith，D.：“全球个人市场系统需求规范（2003），http://www.it.uu.se\/edu\/cources\/homepage\/pvt\/SRS.pdf“，“doi”：“10.5381\/jot.2003.2.c6”}，“key”：“21_CR6”，“unstructure”：“”Hoare，C.A.R.：通信顺序过程。Prentice Hall Int.（UK）Ltd.（1985）“}，{”key“：”21_CR7“，”doi-asserted-by“：”crossref“，”unstructured“：”Kof，L.：从文本场景到消息序列图：包含条件生成和参与者提取。摘自：Proc.RE 2008，pp.331\u2013332。IEEE CS（2008）“，”DOI“：”10.1109\/RE.2008.12“}，{”key“：”21_CR8“，”DOI-asserted-by“：”publisher“，”first page“：“75”，“DOI”：“10.1109\/SEW.2008.14”，“volume-title”：“SEW 2008:2008年第32届IEEE软件工程研讨会论文集”，“author”：“J.Kofron”，“year”：“2008”，“unstructured”：“”Kofron，J.、Poch，T.、Sery，O.：TBP：面向代码的组件行为规范。收录于：SEW 2008：2008年第32届IEEE软件工程研讨会论文集，第75\u201383页。IEEE CS，Washington，DC（2008）“}，{“key”：“21_CR9”，“volume title”：“应用UML和模式：面向对象分析与设计及迭代开发导论”，“author”：“C.Larman”，“year”：“2004”，“nonstructured”：“Larman，C.：应用UML和模式：面向对象的分析和设计以及迭代开发简介。Prentice Hall PTR，Upper Saddle River（2004）“}，{”key“：”21_CR10“，”doi-asserted-by“：”publisher“，”first page“：“40”，“doi”：“10.1007\/s00766-003-0179-8”，“volume”：“9”，“author”：“M.Luisa”，“year”：“2004”，“unstructured”：“Luisa，M.，Mariangela，F.，Pierluigi，I.：使用语言工具进行需求分析的市场研究。要求。Eng.\u00a09，40\u201356（2004）“，”期刊标题“：”要求。工程师“}，{”key“：”21_CR11“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“137”，“doi”：“10.1007\/3-540-60406-5_12”，“volume-title”：“软件工程-ESEC\u201995”，“author”：“J.Magee”，“year”：“1995”，“unstructured”：“Magee，J.，Dulay，N.，Eisenbach，S.，Kramer，J.：指定分布式软件架构。收录：Botella，P.，Sch\u00e4fer，W.（eds.）ESEC 1995。LNCS，卷\u00a0989，第137\u2013153页。Springer，Heidelberg（1995），http://\/pubs.doc.ic.ac.uk\/SpecifyDistributedArchitectures\/“}，{“key”：“21_CR12”，“unstructured”：“Mencl，V.：从文本用例中导出行为规范。In：WITSE 2004（2004年9月）Proc.”}，}“key:”21_CR13“，“volume-title”：“Communication and Concurrency”，“author”：“R.Milner”，“year”：“1995”非结构化”：“Milner，R.：沟通与并发。普伦蒂斯·霍尔国际（英国）有限公司，赫特福德郡（1995）“}，{“key”：“21_CR14”，“unstructured”：“OMG:统一建模语言（2008），http://www.uml.org”}，}“issue”：“4”，”key“：”21_CR15“，”first-page“：”63“，”volume“：“7”，“author”：“F.Plasil”，“year”：“2003”，“非结构化”：“Plasil，F.，Mencl，V.：在用例模型中获取\u2019全貌\u2019行为。行程。集成设计与过程科学。\u00a07（4），63\u201379（2003）“，”期刊标题“：”期刊。集成设计与过程科学。“}，{”key“：”21_CR16“，”doi-asserted-by“：”crossref“，”unstructured“：”Pow-Sang，J.A.，Nakasone，A.，Imbert，R.，Moreno，A.M.：基于用例确定软件需求构建序列的方法。摘自：ASEA 2008 Proc.，pp.17\u201322。IEEE CS，Washington，DC（2008）“，“DOI”：“10.1109\/ASEA.2008.33”}，{“key”：“21_CR17”，“unstructured”：“Simko，V.：规范文档中的模式。技术报告2011\/6，Charles Uni.（2011），http://\/d3s.mff.cuni.cz\/publications\/download\/tr2011-6.pdf”}“，”第一页“：”337“，”DOI“：”10.1007\/978-3-642-13595-8_26“，”volume-title“：”建模基础和应用程序“，”author“：”T.Yue“，”year“：”2010“，”unstructured“：”Yue，T.，Briand，L.，Labiche，Y.：将用例转换为活动图的自动化方法。收录：K\u00fchne，T.，Selic，B.，Gervais，M.-P.，Terrier，F.（编辑）ECMFA 2010。LNCS，第u00a06138卷，第337\u2013353页。Springer，Heidelberg（2010）“}，{“key”：“21_CR19”，“series title”：“计算机科学讲义”，“doi断言”：“publisher”，“首页”：“484”，“doi”：“10.1007\/978-3-642-04425-0_37”，“volume title”：“Model Driven Engineering Languages and Systems”，“author”：“T.Yue”，“year”：“2009”，“nonstructured”：“Yue，T.，Briand，L.C.，Labiche，Y.：促进向分析模型过渡的用例建模方法：概念和经验评估。摘自：Sch\u00fcrr，A.，Selic，B.（eds.）MODELS 2009。LNCS，第u00a05795卷，第484\u2013498页。Springer，Heidelberg（2009）“}]，“container-title”：[“组件软件的形式方面”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com/content\/pdf\/10.1007\/978-3642-35743-5_21.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]存放“：{“date-parts”：[[2021,5,4]]，“date-time”：“2021-05-04T13:25:11Z”，“timestamp”：1620134711000}，“score”：1，“resource”：{”primary“：{“URL”：“http://\/link.springer.com\/10.1007\/978-3642-35743-5_21”}，”subtitle“：[]，”shorttitle“：[]，”issued“：”{“日期-parts”：[2012年]}，《国际标准图书编号》：[”97838383]642357428“，”9783642357435“]，”references-count“：19，”URL“：”http://\/dx.doi.org \/10.1007\/978-3642-35743-5_21“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”值“：”0302-7743“”，”类型“：”打印“}，{”数值“：”1611-33049“，”类型”：“电子”}]，”主题“：[]，”发布“：{”日期段“：[2012]]}}}}