博斯特罗姆，蓬图斯;弗雷德里克·德格伦德;塞雷，凯萨;瓦尔登，玛丽娜 通过Event-B模型的逐步调度导出并发程序。 （英语） Zbl 1342.68056号 正式Asp。计算。 26，第2期，281-303（2014）. 引用于三文件 理学硕士： 第68页第19页 其他编程范式（面向对象、顺序、并发、自动等） 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：并发;事件-B;模式;行程安排;逐步发展 软件：csp2B型;罗丹;马戏团 PDF格式BibTeX公司 XML格式引用 \textit{P.Boström}等人，正式Asp。计算。26，第2281-303号（2014年；兹bl 1342.68056） 全文： 内政部 参考文献： [1] Abrial J-R（2010）《事件B中的建模：系统和软件工程》，剑桥大学出版社，剑桥·Zbl 1213.68214号 ·doi:10.1017/CBO9781139195881 [2] Abrial J-R，Hallerstede S（2007）离散模型的细化、分解和实例化：应用于Event-B。Fundam Inform 77（1-2）：1-28·Zbl 1118.68392号 [3] Boström P，Degerlund F，Sere K，Waldén m（2011）Event-B模型的并发调度。摘自：《第15届国际精炼研讨会论文集》，第166-182页。http://dx.doi.org/10.4204/EPTCS.55.11 ·Zbl 1342.68056号 [4] Butler M，Edmunds A（2011）任务事件B：生成并发代码的事件B的扩展。地点：2011年PLACES 2011研讨会。http://places11.di.fc.ul.pt/proceedings.pdf/view ·Zbl 1118.68392号 [5] Back R-JR，Kurki-Soonio R（1983），集中控制过程网络的分散。摘自：第二届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集，第131-142页·Zbl 0383.68028号 [6] Boström P（2010）从Event-B模型创建顺序程序。摘自：IFM’10《第八届综合形式方法国际会议论文集》，LNCS第6396卷。纽约州施普林格，第74-88页 [7] Back R-JR，Sere K（1991），动作系统的逐步细化。结构程序12:17-30 [8] Butler M（2000）csp2B：结合CSP和B的实用方法。形式方面计算12（3）：182-198·Zbl 0969.68578号 ·doi:10.1007/PL00003930 [9] Back R，von Wright J（1990）精化演算，第一部分：序列非确定性程序。收录：de Bakker J、de Roever W、Rozenberg G（eds）《分布式系统模型的逐步细化、形式主义、正确性》，《计算机科学讲义》第430卷。柏林施普林格，第42-66页 [10] Back R-JR，von Wright J（1998）《精化演算：系统介绍》。计算机科学研究生课程。柏林施普林格·Zbl 0949.68094号·doi:10.1007/978-1-4612-1674-2 [11] Back R-JR，von Wright J（1999）《关于循环的代数推理》。Acta Inform公司36:295-334·Zbl 0940.68011号 ·doi:10.1007/s002360050163 [12] Back R-JR，von Wright J（2003）合成动作系统精化。形式方面计算15:103-117·Zbl 1093.68007号 ·doi:10.1007/s00165-003-0005-6 [13] Cavalcanti A、Sampaio A、Woodcock J（2003）马戏团的改进策略。形式方面计算15:146-181·Zbl 1093.68555号 ·doi:10.1007/s00165-003-0006-5 [14] Degerlund F，Grönblom R，Sere K（2011）Event-B模型的代码生成和调度。1027技术报告。图尔库计算机科学中心（TUCS）·Zbl 0969.68578号 [15] Edmunds A（2010）为Event-B开发提供并行实施。南安普顿大学电子与计算机学院博士论文·兹比尔1075.68618 [16] Grönblom R（2009）Event-B模型的代码生成和并行执行框架。奥博阿卡德米大学硕士论文 [17] Hoang TS，Abrial J-R（2010）《并行程序的事件B分解》。In：抽象状态机，B和Z，LNCS第5977卷。柏林施普林格，第319-333页 [18] Hallerstede S（2008）《事件B证明义务》。In：抽象状态机，B和Z，LNCS第5238卷。柏林施普林格，第125-138页·Zbl 1156.68348号 [19] Hallerstede S（2010）结构化事件B模型和证明。In：抽象状态机，B和Z，LNCS第5977卷。柏林施普林格，第273-286页 [20] Hoare CAR（1978）通信顺序过程。通信ACM 21:666-677·Zbl 0383.68028号·doi:10.1145/359576.359585 [21] Hoare CAR（1985）通信顺序过程。上鞍河普伦蒂斯·霍尔·Zbl 0637.68007号 [22] Iliasov A（2009）关于事件B和控制流。技术报告CS-TR-1159。纽卡斯尔大学计算科学学院 [23] Jones CB（1983）《为干扰程序开发方法的初步步骤》。跨程序语言系统5（4）：596-619·Zbl 0517.68032号 ·电话：10.1145/69575.69577 [24] Méry D，Singh NK（2010）EB2C：事件B到C转换支持工具。In：SEFM 2010海报和工具演示。http://hal.inria.fr/inria-00540006/PDF/cameraraady-sefm2010.PDF [25] Owicki SS，Gries D（1976）并行程序的公理证明技术I.Acta Inform 6:319-340·Zbl 0312.68011号 ·doi:10.1007/BF00268134 [26] Plosila J，Sere K，Waldén M（2005）《异步系统综合》。科学计算程序55:259-288·Zbl 1075.68618号 ·doi:10.1016/j.scico.2004.05.018 [27] 罗丹平台。网址：http://www.event-b.org [28] de Roever WP等人（2001）《并发验证：组合和非组合方法简介》。剑桥大学出版社·Zbl 1009.68020号 [29] Sekerinski E，Sere K（1996）《优先组合理论》。计算J 39（8）：701-712·doi:10.1093/comjnl/39.8701 [30] Schneider S、Treharne H、Wehrheim H（2010）Event-B中的CSP控制方法。in：综合形式方法2010，LNCS第6396卷。柏林施普林格，第260-274页 [31] Wright S（2009）从Event-B自动生成C。In：基于模型的形式化方法和工具集成研讨会。http://www.cs.bris.ac.uk/Publications/pub_master.jsp？id=2000990 ·Zbl 0517.68032号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。