{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T09:00:27Z”，“时间戳”：1725440427785}，“引用-计数”：17，“发布者”：“IEEE Compute.Soc”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器-时间“：[]”，“DOI“：”10.1109\/icpads.2000.857687“，“type”：“proceedings-article”，“created”：{“date-parts”：[2002,11,7]]，“date-time”：“2002-11-07T17:31:28Z”，“timestamp”：1036690288000}，“page”：”91-98“，“source”：：“Crossref”，“is-referenced-by-count”：1，“title”：[“层次反应系统的系统要求和形式规范”]，“prefix”：“10.1109”，”volume“e78 a”，“author”：[{“given”:“a.”，“family”：“Togashi”，“sequence”：“first”，“affiliation”：[]}，{“family”：“Xiaosong Lu”，”sequence“：“additional”，“filiation“：[]{”given“：”F.“，”family“：”Kanezashi“，“se序列”：“additive”，“从属关系”：[]}，“member”：“263”，“reference”：[{“journal title”：“Handbook of Theoretical Computer Science”，“first page”：“995”，“year”：“1990”，“author”：“emerson”“，”key“：”ref10“}，{“key”：“ref11”，“first-page”：“1468”，“article-title”：“系统需求的验证和细化”，“volume”：”e78 a“，“author”：“song”，“year”：“1995”，“journal-title“：”IEICE Trans Fund Electron Commun Comp Sci“}，{”key“：”ref12“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-0-387-35271-8_24“}”，{310“，”文章标题“：“从系统需求导出形式规范的方法”，“卷”：“40”，“作者”：“kanezashi”，“年份”：“1999”，“期刊标题”：“信息处理学会杂志”}，{“关键”：“参考14”，“首页”：“74”，“文章标题”：：“软件工程基金会”}，{“新闻标题”：“第57届全国信息处理学会会议纪要”，“文章标题”：《有效软件开发环境的系统模拟器》，“年份”：“1998年”，“作者”：“ishii”，“密钥”：“ref15”}：“系统需求和规范诊断”，“author”：“lu”，“year”：“1997”，“journal-title”：“Software Engineering Foundation”}，{“journali-title“：“Research Report Computer Science”，“年”：“1999”，“作者”：“卢”，“key”：“ref17”}、{“key“：”ref4“，”doi-asserted-by“：”publisher“，”doi“10.1109\/CMPEUR.1992.218505”}：“publisher”，“DOI”：“10.1109\/32.368134”}，{“journal-title”：“基于扩展状态转移模型的Estelle形式描述技术”，“year”：“1989”，“key”：“ref6”}：“形式描述技术LOTOS”，“首页”：“23”，“年份”：“1989”，“key”：“ref7”}，{“key“：“ref2”，“first page“：”54“，”article-title“：“On the Formal semantics of Statecharts”，“author”：“harel”，“year”：“1986”，“journal-title”：“Proc first IEEE Symp-Logic in Computer Science”}23（87）90035-9“}，{“key”：“ref9”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/288195.288305”}]，“event”：{“name”：“第七届并行和分布式系统国际会议”，“缩写词”：“ICPADS-00”，“location”：“日本岩手”}，“container-title”：[“第七次并行和分布式体系国际会议论文集（分类号PR00568）”]，“original-title“：[]，”link“：[{”URL“：”http://\/xplorestaging.ieee.org\/ielx5\/6934\/18631\/00857687.pdf？arnumber=857687“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2017,3,10]]，”date-time“：“2017-03-10T12:36:56Z”，“timestamp”：148 9149416000}，“分数”：1，“资源”：{primary“：{”URL“：”http://\/ieeexplore.iee.org\/document\/857687\/“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{date-parts”：[[null]]}，“references-count”：17，“URL”：“http://\/dx.doi.org\/10.109\/icpads.2000.857687”，“relationship”：{}，，“subject”：[]}