{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,12,28]]，“日期时间”：“2022-12-28T21:31:06Z”，“时间戳”：167226306681}，“引用-计数”：0，“出版商”：“Springer Science and Business Media LLC”，“问题”：“4”，“许可证”：[{“开始”：}“日期部分“：[2002,12,1]]，”日期-时间“：“2002-12-01T00:00:00Z”，“timestamp”：1038700800000}，“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“：[2002,12,1]}”，“DOI”：“10.1007\/s00760200019”，“type”：“journ”al-article“，”created“：{”date-parts“：[2003,12,10]]，“date-time”：“2003-12-10T23:13:29Z”，“timestamp”：1071098009000}，“page”：“243-263”，“source”：”Crossref“，”is-referenced-by-count“：23，“title”：[“Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts”]，“prefix”：“10.1007”，“volume”:“7”，“author”：[{“given”：“”：“David N.”，“family”：“Jansen”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Roel”，“家族”：“Wieringa”，“serquence”:“additionable”，“abfiliation“：[]{”，”member“：”297“，”container-title“：[”Requirements Engineering“]，”original-title”：[]，“link”：[{“URL”：“http://link.springer.com\/content\/pdf\/10007\/s00760200019.pdf”，“内容类型”：“application\/pdf”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http://\/link.springer.com/article\/10.1007\/s007660200019\/fulltext.html”，“内容类型”：“文本\/html”，“content-version“：”vor“，”intended-application“：”text-miniing“}，}“URL“：”http://\-link.sprinter.com/content\/pdf\/10007\/s007 60200019“，”内容类型“：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2019,5,29]]，“date-time”：“2019-05-29T05:59:32Z”，“timestamp”：1559109572000}，“score”：1，“resource”：{“primary”：“{”URL“http://link.springer.com/10.1007\/s00760200019”}，”subtittle“[]，”shorttitle“：[]，”已发布“：{”日期部分“：[[2002,12,1]]}，“references-count”：0，“journal-issue”：{“issue”：“4”}，“alternative-id”：[“6HKUPMV3F2ATB8XL”]，“URL”：“http://\/dx.doi.org\/10.1007\/s00760200019”，“relationship”：{}，”ISSN“：[“0947-3602”]，”ISSN-type“：[{”value“0947~3602”，“type”：“print”}]，“subject”：[]，“published”：{date部分”：[[2002,12,1]]}}}