×
罗伯托·布鲁尼;阿尔贝托·卢什·拉富恩特;乌戈·蒙塔纳里

用Maude重写分层设计。 （英语） Zbl 1347.68072号

Grigore（编辑），《第七届重写逻辑及其应用国际研讨会论文集》（WRLA 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》238，第3期，45-62（2009）。
概要：体系结构设计重写（ADR）是一种基于规则的方法，用于动态软件体系结构的设计。使ADR成为一个合适且富有表现力的框架的关键特征是代数表示和条件重写规则的使用。这些功能支持分层（自上而下、自下而上或基于合成）设计和归纳定义的重新配置。本文的贡献是双重的：我们定义了层次化设计重写（HDR），并给出了我们的原型工具支持。HDR是ADR的一种风格，它利用层次图的概念来处理结合了符号和解释部分的系统规范。我们的原型实现基于Maude，其表示有多种用途。首先，我们表明HDR不仅是一种基础良好的形式化方法，而且是一种工具支持的软件架构设计和分析框架。其次，我们为特定设计代数和特定场景定制的插图追踪了在其他场景中重用和利用ADR概念的一般方法。
有关整个系列，请参见[Zbl 1279.68017号].

引用于3文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
2012年第68季度 语法和重写系统

关键词：

莫德;重写逻辑;紧急求救信号;图表;软件架构

软件：

SLMC公司;年教育;莫德;CBabel公司;图形ML
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，《电子》。理论注释。计算。科学。238，第3号，45-62（2009；Zbl 1347.68072）
全文： 内政部

参考文献：

[1] 阿吉雷，N。；Maibaum，T.S.E.，动态可重构组件系统的层次时间规范，ENTCS，108，69-81（2004）
[2] 巴雷西，L。；赫克尔，R。；Thöne，S。；Varró，D.，面向服务架构的基于样式的建模和细化，软件和系统建模，5187-207（2006年6月）
[3] Batory，D.S.，《程序重构、程序合成和模型驱动开发》，（Krishnamurthi，S.；Odersky，M.，《第16届编译器构造国际会议论文集》（CC'07）。第16届编译器构造国际会议论文集（CC'07），LNCS，第4420卷（2007），Springer，156-171
[4] Brandes，美国。；艾格尔斯佩格，M。；赫尔曼，I。；Himsolt，M。；Marshall，M.，《GraphML进度报告：结构层建议》，（第九届图形绘制国际研讨会论文集（GD'01）。第九届图形绘制国际研讨会论文集（GD'01），LNCS，第2265卷（2002），Springer，501-512·Zbl 1054.68543号
[5] 布鲁尼，R。；Lluch Lafuente，A。；蒙塔纳里，美国。；Tuosto，E.，面向服务的建筑设计，（第三届可信全球计算国际研讨会论文集（TGC'07）。第三届可信全球计算国际研讨会论文集（TGC’07），LNCS，第4912卷（2007），施普林格出版社，186-203年
[6] R.Bruni、A.Lluch Lafuente、U.Montanari和E.Tuosto。软件架构的基于样式的重新配置。技术报告TR-07-17，信息学院，比萨大学，2007年。请参见网址：http://www.albertolluch.com/adr.html；R.Bruni、A.Lluch Lafuente、U.Montanari和E.Tuosto。软件架构的基于样式的重新配置。技术报告TR-07-17，信息学院，比萨大学，2007年。请参见http://www.albertollouch.com/adr.html ·Zbl 1169.68306号
[7] 布鲁尼，R。；Meseguer，J.，《广义重写理论的语义基础》，Theor。计算。科学。，360, 1-3, 386-414 (2006) ·Zbl 1097.68051号
[8] Caires，L。；Cardelli，L.，并发的空间逻辑（第一部分），信息与计算，186，2，194-235（2003）·Zbl 1068.03022号
[9] Clavel，M。；杜兰，F。；艾克，S。；林肯，P。；新墨西哥州马丁·奥列特。；梅塞盖尔，J。；Talcott，C.L.，All About Maude-A High-Performance Logical Framework.How to Specify，Program and Verify Systems in Rewriting Logic，LNCS，volume 4350（2007），Springer出版社·Zbl 1115.68046号
[10] 克莱门茨，P。；Garlan，D。；巴斯，L。；斯塔福德，J。；罗德岛北部。；艾弗斯，J。；Little，R.，《记录软件架构：观点与超越》（2002），培生教育
[11] Courcelle，B.，《一元二阶逻辑中图形属性和图形变换的表达》（Rozenberg，G.，《图形语法和图形变换计算手册》（1997），世界科学出版社），313-400
[12] yEd图形编辑器主页
[13] 法拉利，G.L。；赫希·D·。；拉内斯，我。；蒙塔纳里，美国。；Tuosto，E.，《作为面向服务计算模型的同步超边缘替换》，（de Boer，F.S.；Bonsangue，M.M.；Graf，S.；de Roever，W.P.，第四届组件和对象形式化方法国际研讨会（FMCO'05）。第四届组件和对象形式化方法国际研讨会（FMCO'05），LNCS，第4111卷（2005），斯普林格出版社，22-43·Zbl 1196.68025号
[14] Fiadeiro，J.L。；Lopes，A。；Bocchi，L.，《服务组件体系结构的形式化方法》，（第三届Web服务和形式化方法国际研讨会（WS-FM’06）论文集）。第三届网络服务和形式方法国际研讨会（WS-FM’06）论文集，LNCS，第4184卷（2006），施普林格出版社，193-213
[15] 甘斯纳，E.R。；North，S.C.，开放式图形可视化系统及其在软件工程中的应用，软件实践与经验，30，11，1203-1233（2000）·Zbl 1147.68782号
[16] Habel，A.，《超边缘替换：语法和语言》（1992年），Springer Verlag·Zbl 0787.68066号
[17] 赫希·D·。；Montanari，U.，《成型分层建筑设计》，ENTCS，109，97-109（2004）·Zbl 1271.68120号
[18] O.H.Jensen和R.Milner。双图和移动进程。《570号技术报告》，剑桥大学计算机实验室，2003年；O.H.Jensen和R.Milner。双图和移动进程。《技术报告570》，剑桥大学计算机实验室，2003年·Zbl 1321.68126号
[19] 杰拉德，C。；巴考伊，K。；Grissa-Touzi，A.，《LfP软件体系结构Maude中的层次验证》，（Oquendo，F.，ECSA.ECSA，《计算机科学讲义》，第4758卷（2007），施普林格出版社），156-170
[20] （König，B.；Montanari，U.；Gardner，P.，《分布式和移动系统建模的图形变换和过程代数》，2004年6月6日至11日。分布式和移动系统建模的图形变换和过程代数，2004年6月6日至11日，Dagstuhl研讨会论文集，第04241卷（2005），IBFI:IBFI Schloss Dagstuhel，德国）
[21] 新墨西哥州马丁·奥列特。；梅塞盖尔，J。；Verdejo，A.，《迈向莫德战略语言》，ENTCS，117417-441（2005）
[22] 梅塞盖尔，J。；帕洛米诺，M。；Martí-Oliet，N.，等式抽象，（Baader，F.，《第九届自动扣除国际会议论文集》（CADE'03）。第九届自动扣除国际会议记录（CADE'03），LNCS，第2741卷（2003），斯普林格出版社，2-16·Zbl 1278.68185号
[23] 梅塞盖尔，J。；Rosu，G.，重写逻辑语义项目，TCS，373，3，213-237（2007）·Zbl 1111.68068号
[24] Métayer，D.L.，使用图文法描述软件架构风格，IEEE软件工程学报，24，7，521-533（1998）
[25] Plotkin，G.D.，《结构操作语义学的起源》，J.Log。阿尔盖布。程序。，60-61, 3-15 (2004) ·Zbl 1072.68063号
[26] Rademaker，A。；de O.Braga，C。；Sztajnberg，A.，软件体系结构描述语言的重写语义，Electr。理论注释。计算。科学。，130, 345-377 (2005) ·Zbl 1272.68109号
[27] M·肖。；Garlan，D.，《软件架构：新兴学科的观点》（1996），普伦蒂斯·霍尔出版社·Zbl 0948.68506号
[28] Verdejo，A。；Martí-Oliet，N.，《Maude中的可执行结构操作语义》，《逻辑与代数编程杂志》，67，1-2，226-293（2006）·Zbl 1088.68095号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。