{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,2,20]]，“日期时间”：“2023-02-20T10:16:18Z”，“时间戳”：1676888178285}，“引用计数”：6，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print”：{“日期部分”：[[2008,6]]}，“DOI”：“10.1109\/tase.2008.35”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2008,6,24]]，“date-time”：“2008-06-24T18:35:12Z”，“timestamp”：1214332512000}，“source”：”Crossref“，“is-referenced-by-count”：7，“title”：[“从焦点规范生成UML模型：机场安全法规的应用”]，“prefix”：“10.109”，“author”：[{“given”：“David”，“family”：“Delahaye”，“sequence”：“first”，“affiliation”：[]｝，｛“given”：“Jean-Frederic”，“family”：“Etienne”，“sequence”：“additional”，“affiliation”：[]｝，｛“given”：“Veronique Viguie”，“family”：“Donzeau Gouge”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“263”，“reference”：[｛“key”：“3”，“year”：“0”｝，｛“key”：“2”，“year”：“0”｝，｛“key”：“1”，doi断言者：“publisher”，“DOI”：“10.1007\/978-3-540-75560-9_13”}，{“key”：“6”，“year”：“0”}，“结束”：{“日期部分”：[[2008,6,19]]}}，“container-title”：[“2008年第二届IFIP\/IEEE国际软件工程理论研讨会”]，“original-title“：[]，“link”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx5\/45498868\/4548995.pdf？arnumber=4549895”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”用法：{“date-parts”：[[2020,7,20]]，“date-time”：“2020-07-20T22:01:11Z”，“timestamp”：1595282471000}，“score”：1，“resource”：{主“URL”：“https:\/\/ieeexplore.iee.org\/document\/4549895\/”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-parts“：[2008,6]]}”，“references-count”：6，“URL”：“http://\/dx.doi.org\/10.109\/tase.2008.35”，“关系”：{}，“主题”：[]，“已发布”：{“日期部分”：[[2008,6]]}}}