马克·弗拉皮耶；弗雷德里克·热尔维斯；雷吉尼·拉劳；杰雷米·米尔豪 ASTD的优化模式。 （英语） Zbl 1342.68182号 正式Asp。计算。 26，第5期，919-941（2014）. MSC公司： 65年第68季度 形式语言和自动机 关键词：ASTD公司；精细化；模式；信息系统 软件：马戏团 PDF格式BibTeX公司 XML格式引用 \textit{M.Frappier}等人，正式Asp。计算。26，第5号，919--941（2014；Zbl 1342.68182） 全文： 内政部 参考文献： [1] Abrial JR（1996）《B书：赋予程序意义》。剑桥大学出版社·Zbl 0915.68015号 ·doi:10.1017/CBO9780511624162 [2] Abrial JR（2010）《事件建模——B》，剑桥大学出版社，剑桥·Zbl 1213.68214号 ·doi:10.1017/CBO9781139195881 [3] Aalst WMP，ter Hofstede AHM（2012）将工作流模式置于上下文中。软件系统模型11（3）：319-323·doi:10.1007/s10270-012-0233-4 [4] Bianculli D，Ghezzi C，Pautasso C，Senti P（2012）从研究到工业的规范模式：基于服务的应用程序的案例研究。在：2012年软件工程国际会议论文集。ICSE 2012，美国新泽西州皮斯卡塔韦。IEEE出版社，第968-976页·Zbl 0637.68010号 [5] 回到RJR，Kurki Suonio R（1983）具有集中控制的过程网络的去中心化。摘自：第二届ACM PODC研讨会论文集，第131-142页·Zbl 1283.68236号 [6] Back R-J，Kurki-Soonio R（1988）《与行动系统的分布式合作》。ACM传输程序语言系统10（4）：513-554·Zbl 0663.68028号 ·doi:10.1145/48022.48023 [7] 《Back RJR，von Wright J》（1994年），《追踪行动系统的改进》。In：结构化编程。海德堡施普林格，第367-384页 [8] Choppy C，Mayero M，Petrucci L（2008）《试验petri网精化的形式证明》。计算机科学电子笔记214:231-254·Zbl 1283.68236号 ·doi:10.1016/j.entcs.2008.06.011 [9] Coplian JO（2003）软件设计模式。收录于：计算机科学百科全书。奇切斯特·威利，第1604-1606页·Zbl 1283.68236号 [10] Dwyer MB、Avrunin GS、Corbett JC（1999）有限状态验证的属性规范模式。摘自：《第21届软件工程国际会议论文集》，ICSE’99，美国纽约州纽约市，ACM，第411-420页 [11] Darimont R，van Lamsweerde A（1996）目标驱动需求细化的形式化细化模式。摘自：第四届ACM SIGSOFT软件工程基础研讨会论文集，SIGSOFT'96，美国纽约州纽约市，ACM，第179-190页 [12] Embe Jiague M、Frappier M、Gervais F、Konopacki P、Milhau J、Laleau R、St-Denis R（2010）《功能安全策略的模型驱动工程》。In:企业信息系统国际会议记录3:374-379 [13] Frappier M，Gervais F，Laleau R，Fraikin B，St-Denis R（2008）用进程代数运算符扩展状态图。Innov系统软件工程4（3）：285-292·doi:10.1007/s11334-008-0064-1 [14] Frappier M，Gervais F，Laleau R，Fraikin B（2008）代数状态转移图。技术报告24，Départitment D’informatique，Universityéde Sherbrooke，Sherbrouke，QC，加拿大网址：http://www.dmi.usherb.ca/frappier/Papers/astd2008.pdf·Zbl 0951.68038号 [15] Frappier M，St-Denis R（2003）Eb3：信息系统的基于实体的黑盒规范方法。软件系统模型2（2）：134-149·doi:10.1007/s10270-003-0024-z [16] Gamma E、Helm R、Johnson R、Vlissides J（1994）《设计模式：可重用面向对象软件的元素》。第1版。，Addison-Wesley Professional，波士顿·Zbl 0887.68013号 [17] van Glabbeek RJ（1996）《比较并发语义和动作的细化》。1990年，阿姆斯特丹自由大学博士论文。第二版可作为CWI第109版，CWI，阿姆斯特丹 [18] Harel D（1987）状态图：复杂系统的可视化形式主义。科学计算程序8（3）：231-274·Zbl 0637.68010号 ·doi:10.1016/0167-6423（87）90035-9 [19] Milhau J，Frappier M，Gervais F，Laleau R（2010）从ASTD到Event-B的系统翻译规则。In：Dominique M，Stephan M（eds）综合形式方法，计算机科学讲义第6396卷。柏林/海德堡施普林格，第245-259页 [20] Milhau J（2011）《控制政治信息一体化进程》。Sherbrooke巴黎大学博士论文 [21] Milhau J、Idani A、Laleau R、Labiadh M、Ledru Y、Frappier M（2011）将UML、ASTD和B结合起来，用于访问控制过滤器的正式规范。Innov系统软件工程7（4）：303-313·doi:10.1007/s11334-011-0166-z [22] Meng S，Naixiao Z，Barbosa LS（2004）《关于uml状态图的语义和精化：一个联合的观点》。摘自：第二届软件工程和形式化方法国际会议论文集，SEFM'04，美国华盛顿特区。IEEE计算机学会，第164-173页 [23] Roscoe AW，Hoare CAR，Bird R（1998）并发的理论与实践。Prentice Hall PTR，美国新泽西州上鞍河 [24] Rutten J（2000）《宇宙余代数：系统理论》。理论计算科学249:3-80·Zbl 0951.68038号 ·doi:10.1016/S0304-3975（00）00056-6 [25] 南安普顿大学UML-B博士论文中的MY（2010）精炼和分解方法。网址：http://eprints.ecs.soton.ac.uk/1656/ [26] Scholz P（1998）状态图的精化演算。摘自：Egidio A.（ed）软件工程的基本方法，计算机科学课堂讲稿第1382卷。柏林/海德堡施普林格，第285-301页 [27] Schönborn J，Kyas M（2010）分层uml状态机的细化模式。摘自：Arbab F，Sirjani M（eds）《软件工程基础》，计算机科学课堂讲稿第5961卷。柏林/海德堡施普林格，第371-386页·Zbl 1274.68165号 [28] Schneider S，Treharne H（2011）《持续改变系统接口：CSP的新改进策略》║ B.科学计算程序76（10）：837-860·Zbl 1221.68062号 [29] Schneider S、Treharne H、Wehrheim H（2011）Event-B精炼的csp账户。附：EPTCS 55精炼车间会议记录，第139-154页 [30] Woodcock J，Cavalcanti A（2002）《马戏团的语义》。收录：Bert D、Bowen JP、Henson MC、Robinson K（eds）ZB 2002：计算机科学课堂讲稿第2272卷Z和B中的形式规范和开发。柏林/海德堡施普林格出版社，第184-203页·Zbl 1044.68560号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。