{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,9,8]]，“日期-时间”：“2023-09-08T00:09:19Z”，“时间戳”：1694131759006}，“参考-计数”：25，“出版商”：“Springer Science and Business Media LLC”“：”2005-12-23T00:00:00Z“，“timestamp”：1135296000000}，“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“：[[2006,4]]}”，“DOI”：“10.1007\/s10009-005-0205-020 6-9“，”type“：”journal-article“，”created“：{“date-parts”：[[2005,12,23]]，“date-time”：“2005-12-23T04:38:29Z”，“timestamp”：1135312709000}，“page”：“146-155”，“source”：”Crossref“，“is-referenced-by-count”：8，“title”：[“Towards a\u201cSynchronous-Reactive\u201d UML profile？”]，“prefix”：“10.1007”，“volume”:“8”，“author”：[{“given”：Robert“，“family”：“de Simone”，”sequence“：“first”，“affiliation”：[]}，{“given”：“Charles”，“family”：“Andr\u00e9”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2005,12,23]]}，“reference”：[{“key”：“206_CR1”，“unstructured”：“Andr\u00e 9，C.：反应行为的表示和分析：同步方法。In：系统应用中的计算工程（CESA），IEEE-SMC（1996）“}，{”key“：”206_CR2“，”unstructured“：”Andr\u00e9，C.：SSM（安全状态机）的语义。Esterel Technologies，电子版，可从http://www.Esterel-Technologies.com获得，2003年4月“}”，{“issue”：“9”，“key”：“206_CR3”，“doi-asserted-by”：“crossref”，“first-page”：“1270”，“doi”：“10.1109\/5.97297”，“volume”：”79“，”作者“：”A。Benveniste，“年份”：“1991年”，“非结构化”：“BenvenisteA.，Berry，G.：反应式和实时系统的同步方法。程序。IEEE 79（9），1270\u20131282（1991）“，”期刊标题“：”。IEEE“}，{“issue”：“1”，“key”：“206_CR4”，“doi-asserted-by”：“crossref”，“first-page”：“64”，“doi”：“10.1109\/JPROC.2002.805826”，“volume”：”91“，“author”：“A.Benveniste”，“year”：“2003”，“unstructured”：“Benvenistee，A.，Caspi，P.，Edwards，S.，Halbwachs，N.，Guernic，P.L.，de Simone，R.：十二年后的同步语言。IEEE会议录，91（1），64\u201383（2003）“，”journal-title“：IEEE会议记录”}，{“key”：“206_CR5”，“unstructured”：“Berry，G.：Pure Esterel的构造语义。仅电子版本（1999）”}、{“key”：”206_CR6“，”unstructure“：”Bj\u00f6rkander，M.：系统级建模和UML。In:FDL'03 Keynote address（2003）”}，{”key“：”206_CR7“，”非结构化“：”Brodsky，S.、Clark，T.、Cook，S.，Evans，A.、Kent，S.：使用精确的oo元建模方法将UML重新构建为语言家族的可行性研究。技术报告，The Precise UML Group（2000）。网址：\/\/www.cs.york.ac.uk \/mmf \/mmf.pdf“}，{”key“：”206_CR8“，”doi-asserted-by“：”crossref“，”unstructured“：”Closse，E.，Poize，M.，Pulou，J.，Vernier，P.，Weil，D.：Saxo-rt:解释顺序执行结构上的Esterel语义。Electron.Notes Theor.Comput.Sci.65（2002）“，”doi“：”10.1016\/S1571-0661（05）80443-8“}”，{“key”：“206_CR9“，”doi断言由“：”crossref“，”非结构化“：”Edwards，S.：将Esterel编译为顺序代码。摘自：《99年诉讼法典》。罗马，意大利（1999）“，“DOI”：“10.1145\/301177.301514”}，{“key”：“206_CR10”，“DOI-asserted-by”：“crossref”，“unstructured”：“Grosu，R.，Stauner，T.，Broy，M.：混合系统的模块化视觉模型。《计算机科学讲义》1486，75\u201391（1998）“，”DOI“：”10.1007\/BFb0055338“}，“issue”：“9”，“key“：”206_CR11“，”DOI-assert by“：”crossref“，”first page“：”1321“，”DOI“：”10.1109\/5.97301“，”volume“：”79“，”author“：”P.Le Guernic“，”year“：”1991“，”unstructured“：”Le Guerrnic，P.，Gautier，T.，Le Borgne，M.，Le-Maire，C.：使用SIGNAL编程实时应用程序。程序。IEEE 79（9），1321\u20131336（1991）“，“期刊标题”：“Proc。IEEE“｝，｛“issue”：“9”，“key”：“206_CR12”，“doi asserted by”：“crossref”，“first page”：“1305”，“doi”：“10.1109\/5.97300”，“volume”：“79”，“author”：“N.Halbwachs”，“year”：“1991”，“nonstructured”：“Halbwachs，N.，Caspi，P.，Raymond，P.，Pilaud，D.：同步数据流编程语言LUSTRE.Proc.IEEE 79（9），1305\u20131320（1991）”，“期刊标题”：“程序。IEEE“}，{“key”：“206_CR13”，“doi-asserted-by”：“crossref”，“unstructured”：“Harel，D.：状态图：复杂系统的可视化形式主义。Sci.Compute.Progr.8（1987）”，“doi”：“10.1016\/0167-6423（87）90035-9”}，}“key:”206_CR14“，”unstructure“：”Lavarene，C.，Seghrouchni，O.，Sorel，Y.，Sorine，M.：用于实时分布式系统设计和实现的SynDEx软件环境。In:Proceedings of European Control Conference（ECC'91）（1991）“}，{“key”：“206_CR15”，“doi-asserted-by”：“crossref”，“unstructured”：“Liu，J.，Lee，E.A.：基于组件的混合单体和混合系统建模和仿真方法。ACM TOMACS（2002）”，“doi”：“10.1145\/643120.643125”}，}“key:”206_CR16Maraninchi，F.，R\u00e9mond，Y.：模式自动机：用于开发安全关键系统的一种新的特定于域的构造（2002）“，”DOI“：”10.1016\/S0167-6423（02）00093-X“}，{“key”：“206_CR17”，“first page”：”01“，”volume“：”number“，”author“：”OMG“，”year“：”2001“，”unstructured“：”OMG：OMG统一建模语言规范。Object Management Group，Inc.，492 Old Connecticut Path，Framing-ham，MA 01701（2001）。OMG文件编号：01-09-67“，”journal-title“：”OMG document“}，{”key“：”206_CR18“，”first page“：“ptc”，“volume”：“number”，“author”：“OMG”，“year”：“2003”，“unstructured”：“OMG:Meta Object Facility（MOF）2.0核心规范。Object Management Group，Inc.，492 Old Connecticut Path，Framing-ham，MA 01701（2003）。OMG文件号：ptc \/03-10-04”，“journal-title“：”OMG document“}，{“key”：“206_CR19”，“first page”：”ptc“，”volume“：”number“，”author“：”omeg“，”year“：”2003“，”unstructured“：”OMG:UML 2.0 Infrastructure Specification。Object Management Group，Inc.，492 Old Connecticut Path，Framing-ham，MA 01701（2003）。OMG文档编号：ptc \/03-09-15“，”journal-title“；”OMG文档“}；{“密钥”：“202_CR20”，“”非结构化“：”OMG:UML 2.0上层结构规范。Object Management Group，Inc.，492 Old Connecticut Path，Framing-ham，MA 01701（2003）。OMG文件编号：ptc \/03-08-02，更新日期：ptc \/04-10-02“}，{“key”：“206_CR21”，“first page”：正式，“volume”：数字，“author”：“OMG”，“year”：“2003”，“unstructured”：“OM G：可调度性、性能和时间规范的UML概要文件。对象管理集团公司，492 Old Connecticut Path，Framing-ham，MA 01701（2003）.OMG文档编号：formal\/03-09-01（v1.0），formal\/05-01-02（v1.1）“，”日志标题“：”OMG文档“}，{“key”：“206_CR22”，“first page”：”realtime“，”volume“：”number“，”author“：”OMG“，”year“：”2005“，”unstructured“：”OMG：实时和嵌入式系统建模和分析的UML概要文件。Object Management Group，Inc.，492 Old Connecticut Path，Framing-ham，MA 01701（2005）。OMG文档编号：realtime \/05-02-06“，”journal-title“：”OMG document“}，{“key”：“206_CR23”，“unstructured”：“Potop，D.，de Simone，R.：优化以更快地执行esterel程序。MEMOCODE'03（2003）”}，}，“key“：”206_CR24“，”doi-asserted-by“：”crossref“，”unstructure“：”Weil，D.，Closse，E.，Poize，M.，Venier，P.，Pulou，J.，Yovine，S.，Sifakis，J.：TAXYS：开发和验证嵌入式系统实时属性的工具。在：CAV'01，LNCS 2102（2001）“，”DOI“：”10.1007\/3-540-44455-4_39“｝，｛”key“：”206_CR25“，”nonstructured“：”http:\/\/wwwesterel-technologies.com“｝]，”container title“：[”International Journal on Software Tools for Technology Transfer“]，”original title“：[]，”language“：”en“，”link“：[｛”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/s10009-005-0206-9.pdf“，”content-type“：”application\/pdf“、”content-version“：”vor“，”intended-application“：”text-mining“}，{”URL“：”http://\/lindex.springer-com/article\/10.10007\/s10009-1005-026-9\/fulltext.html“，”content-type”：“text\/html”，“content-versiion”：“vor”，“intended-application”“：”text-mining“}，{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/s10009-005-0206-9“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2020,4,11]]，”date-time“：“2020-04-11T19:56:29Z”，”timestamp“：1586634989000}，”score“：1，”resource“：”{“primary”：{“URL”：“http:\/\/link.springer.com/10.1007\/s10009-005-0206-9“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2005,12,23]]}，“引用计数”：25，“日志发布”：{“发布”：“2”，“发布-发布”：}“日期部分”：[[2006,4]]}}、“替代id”：[“206”]，“URL”：“http://\/dx”。doi.org \/10.1007\/s10009-005-0206-9“，”关系“：{}，”ISSN“：[”1433-2779“，”1433-2787“]，“issn-type”：[{“value”：“1433-2779”，“type”:“print”}，{“value”：“433-2787”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2005,12,23]]}}}