×
鲁宾·鲁比奥;马丁·奥列特，纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔

Maude中的参数化策略规范。 （英语） Zbl 1444.68104号

JoséLuiz（编辑）Fiadeiro等人，代数开发技术的最新趋势。第24届IFIP工作组1.3国际研讨会，2018年7月2日至5日，英国埃格姆，WADT 2018。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11563, 27-44 (2019).
概要：策略和参数化是两种方便的工具，用于构建复杂计算系统的清晰且易于配置的组合规范。参数化是Maude重写框架的一个广泛使用的特性，我们最近用策略模块完成了该框架的策略语言实现。
本文描述了Maude策略语言和相关的参数化技术。然后，给出了一些策略参数化系统实例的说明和分析。
关于整个系列，请参见[Zbl 1428.68017号].

引用于10文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
03B70号 计算机科学中的逻辑
第68季度第42季度 语法和重写系统

关键词：

重写逻辑;策略;莫德;参数化规范
PDF格式BibTeX公司 XML格式引用
\textit{R.Rubio}等人，Lect。注释计算。科学。11563、27-44（2019年；Zbl 1444.68104）
全文： 内政部 哈尔

参考文献：

[1] 奥纳·安德烈；Lucanu，Dorel，膜系统基于策略的证明演算，理论计算机科学电子笔记，238，3，23-43（2009）·Zbl 1347.68126号 ·doi:10.1016/j.entcs.2009.05.011
[2] 博罗万斯克，P。；基什内尔，C。；基什内尔，H。；Ringeissen，C.，《用ELAN中的策略重写：一种功能语义学》，国际期刊Found。计算。科学。，12, 1, 69-95 (2001) ·Zbl 1319.68125号 ·doi:10.1142/S0129054101000412
[3] 布胡拉，A。；Jouannaud，JP；Meseguer，J.，《隶属关系方程逻辑的规范和证明》，Theor。计算。科学。，236, 1, 35-132 (2000) ·Zbl 0938.68057号 ·doi:10.1016/S0304-3975（99）00206-6
[4] 克里斯蒂亚诺·布拉加；Verdejo，Alberto，模块结构操作语义与策略，理论计算机科学电子笔记，175，1，3-17（2007）·Zbl 1277.68114号 ·doi:10.1016/j.entcs.2006.10.024
[5] Bravenboer，M。；Kalleberg，KT；弗吉尼亚州。；Visser，E.，Stratego/XT 0.17。一种用于程序转换的语言和工具集，Sci。计算。程序。，72, 1-2, 52-70 (2008) ·doi:10.1016/j.scico.2007.11.003
[6] Clavel，M.，《关于莫德的一切——高性能逻辑框架》（2007），海德堡：施普林格出版社·兹比尔1115.68046 ·doi:10.1007/978-3-540-71999-1
[7] Clavel，M.、Durán，F.、Eker，S.、Lincoln，P.、Martí-Oliet，n.、Meseguer，J.、Talcott，C.：《茂德手册》（第2.7.1版），2016年7月。http://maude.cs.uiuc.edu/ ·Zbl 1038.68559号
[8] 史蒂文·艾克（Steven Eker）；马丁·奥列特，纳西索；何塞·梅塞盖尔；Verdejo，Alberto，演绎、策略和重写，理论计算机科学电子笔记，174，11，3-25（2007）·Zbl 1277.68241号 ·doi:10.1016/j.entcs.2006.03.017
[9] 伊达尔戈·赫雷罗（Hidalgo-Herrero），梅赛德斯（Mercedes）；阿尔贝托·维尔德乔（Alberto Verdejo）；Ortega Mallén，Yolanda，《使用Maude及其策略定义伊甸园语义分析框架》，理论计算机科学电子笔记，174，101119-137（2007）·Zbl 1277.68104号 ·doi:10.1016/j.entcs.2007.02.051
[10] Martí-Oliet，北卡罗来纳州。；梅塞盖尔，J。；DM Gabbay；Guenthner，F.，《重写逻辑作为逻辑和语义框架》，《哲学逻辑手册》，1-87（2002），荷兰：施普林格，荷兰·Zbl 0930.03028号 ·doi:10.1007/978-94-017-0464-9_1
[11] 马丁·奥列特，纳西索；何塞·梅塞盖尔；阿尔贝托·维尔德乔（Alberto Verdejo），《迈向莫德的战略语言》（Towards a Strategy Language for Maude），《理论计算机科学中的电子笔记》（Electronic Notes in Theory Computer Science），117417-441（2005）·doi:10.1016/j.entcs.2004.06.020
[12] Martí-Oliet，北卡罗来纳州。；帕洛米诺，M。；Verdejo，A.，《语义框架中的策略和模拟》，J.Algorithms，62，3，95-116（2007）·兹比尔1131.68059 ·doi:10.1016/j.jalgor.2007.04.002
[13] Meseguer，J.，《作为并发统一模型的条件重写逻辑》，Theor。计算。科学。，96, 1, 73-155 (1992) ·Zbl 0758.68043号 ·doi:10.1016/0304-3975（92）90182-F
[14] Murty，KG，线性规划（1983），纽约：威利·Zbl 0521.90071号
[15] Rubio，R.，Martí-Oliet，N.，Pita，I.，Verdejo，A.：莫德网页的战略语言。http://maude.sip.ucm.es/strategies网站 ·兹比尔1444.68104
[16] 阿尔贝托·维尔德乔（Alberto Verdejo）；Martí-Oliet，Narciso，作为Maude策略语言的另一个应用的基本完成策略，《理论计算机科学中的电子论文集》，82，17-36（2012）·doi:10.4204/EPTCS.82.2
[17] Winskel，G.，《编程语言的形式语义：计算基础》（1993），剑桥：麻省理工学院出版社，剑桥·Zbl 0919.68082号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。