×
克里斯蒂亚诺·布拉加；阿尔贝托·维尔德乔

具有策略的模块化结构操作语义。 （英语） Zbl 1277.68114号

van Glabbeek，R.（ed.）等人，《结构操作语义第三次研讨会论文集》（SOS 2006），德国波恩，2006年8月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》175，第1期，3-17页（2007年）。
摘要：策略是控制基于规则的系统中规则应用的强大机制。例如，可以定义不同的转换关系，然后通过策略进行组合，从而产生一个有效的工具来定义编程语言的语义。通过将MMT与Maude策略语言解释器原型相结合，我们为模块化结构操作语义的可执行环境Maude MSOS工具（MMT）赋予了在其转换规则上定义策略的可能性。由于莫德的反射能力，这种组合是可能的。MMT与策略的一个可能用途是执行有序的SOS规范。我们展示了如何定义特定形式的策略来表示OSOS订单，从而执行，例如，带有否定前提的SOS规范。在这种情况下，我们还讨论了在我们的环境中如何简化OSOS中表示负前提的两种已知技术。
关于整个系列，请参见[Zbl 1273.68049号].

引用于5文件

MSC公司：

68问题55 计算理论中的语义学
2012年第68季度 语法和重写系统
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

模块化SOS；策略；订购SOS；否定前提

软件：

莫德；MMT公司
PDF格式BibTeX公司 XML格式引用
\textit{C.Braga}和\textit{A.Verdejo}，电子。注释Theor。计算。科学。175，第1号，第3--17号（2007；Zbl 1277.68114）
全文： 内政部

参考文献：

[1] Chalub F.，“模块化结构操作语义在Maude中的实现”，硕士论文，联邦Fluminense大学（2005），http://www.ic.uffbr/frosario/desertation.pdf；Chalub F.，“模块化结构操作语义在Maude中的实现”，硕士论文，联邦Fluminense大学（2005），http://www.ic.uffbr/frosario/论文.pdf
[2] Chalub F.和C.Braga，Maude MSOS工具，收录于：G.Denker和C.Talcott，编辑，《重写逻辑及其应用第六届国际研讨会论文集》，WRLA 2006，《理论计算机科学电子笔记》（2006），即将出版；Chalub F.和C.Braga，Maude MSOS工具，在：G.Denker和C.Talcott，编辑，第六届重写逻辑及其应用国际研讨会论文集，WRLA 2006，理论计算机科学电子笔记（2006），即将出版
[3] Clavel，M。；杜兰，F。；埃克，S。；梅塞盖尔，J。；Stehr，M.-O.，Maude作为正式的meta-tool，（Wing，J.；Woodcock，J.）。；Davies，J.，FM'99——形式方法，Proc。世界计算系统开发形式方法大会，第二卷。FM'99：形式方法，程序。1999年9月在法国图卢兹举行的计算机系统开发形式方法世界大会，第二卷。FM'99：形式方法，程序。世界计算系统开发形式方法大会，第二卷。FM'99：形式方法，程序。世界计算系统开发形式方法大会，第二卷，法国图卢兹，1999年9月，计算机科学讲义，第1709卷（1999）），1684-1703
[4] Durán，F.，“反射模代数及其在Maude语言中的应用”，马拉加大学博士论文（1999）；Durán，F.，“反思模块代数及其在毛德语言中的应用”，马拉加大学博士论文（1999年）
[5] 伊达尔戈·赫雷罗，M。；Hidalgo-Herrero，A。；奥尔特加·马伦（Ortega-Mallén，Y.），《通过莫德及其战略寻找伊甸园》（Looking for Eden through Maude and its strategies），（López-Fraguas，F.，V Jornadas sobre Programación Y Lenguajes.V Jornadas sobre Programacióny Lengaujes，PROLE 2005（2005），13-23
[6] ISO/IEC，《信息技术-LOTOS的增强》（E-LOTOS），国际标准ISO/IEC FDIS 15437（2001）；ISO/IEC，信息技术-LOTOS（E-LOTOS）增强，国际标准ISO/IEC FDIS 15437（2001）
[7] 新墨西哥州马丁·奥列特。；梅塞盖尔，J。；Verdejo，A.，《迈向莫德的战略语言》，（Martí-Oliet，N.，《重写逻辑及其应用第五届国际研讨会论文集》，WRLA 2004。2004年3月27日至4月4日，西班牙巴塞罗那，WRLA 2004，第五届重写逻辑及其应用国际研讨会论文集。第五届重写逻辑及其应用国际研讨会论文集，WRLA 2004。第五届重写逻辑及其应用国际研讨会论文集，WRLA 2004，巴塞罗那，西班牙，2004年3月27日至4月4日，理论计算机科学电子笔记，第117卷（2005），417-441
[8] 梅塞盖尔，J。；Braga，C.，编程语言的模块化重写语义，（Rattray，C.；Maharaj，S.；Shankland，C.，《代数方法论和软件技术：第十届国际会议》，AMAST 2004，会议记录。代数方法论与软件技术：《第十届国际会议》，2004年AMAST，会议记录，英国苏格兰斯特林，2004年7月。代数方法论与软件技术：第十届国际会议，美国数学与科学协会2004年会议记录。代数方法论和软件技术：第十届国际会议，AMAST 2004，会议记录，斯特林，苏格兰，英国，2004年7月，计算机科学讲义，第3116卷（2004）），364-378·兹比尔1108.68401
[9] Mosses，P.D.，ML并发原语的模块化SOS，技术报告BRICS-RS-99-57，奥胡斯大学计算机科学系（1999）；Mosses，P.D.，ML并发原语的模块化SOS，技术报告BRICS-RS-99-57，奥胡斯大学计算机科学系（1999）
[10] Mosses，P.D.，模块化结构操作语义，《逻辑与代数编程杂志》，60-61195-228（2004）·Zbl 1072.68061号
[11] Mosses，P.D.，《语言定义的建设性方法》，《通用计算机科学杂志》，11，7，1117-1134（2005）
[12] 穆萨维，M.，“结构化操作语义”，埃因霍温理工大学博士论文（2005）；穆萨维，M.，“结构化操作语义”，埃因霍温理工大学博士论文（2005）
[13] Mousavi，M.和M.A.Reniers，Maude SOS元理论原型，编辑：P.D.Mosses和I.Ulidowski，《结构操作语义第二次研讨会论文集》（SOS 2005），理论计算机科学电子笔记156(1); Mousavi，M.和M.A.Reniers，Maude SOS元理论原型，编辑：P.D.Mosses和I.Ulidowski，《结构操作语义第二次研讨会论文集》（SOS 2005），理论计算机科学电子笔记156(1)·Zbl 1273.68212号
[14] Rosa-Velardo，F.、C.Segura和A.Verdejo，《Maude的打字移动环境》，H.Cirstea和N.Martí-Oliet，编辑，第六届基于规则编程国际研讨会论文集（Rule 2005），理论计算机科学电子笔记147; Rosa-Velardo，F.、C.Segura和A.Verdejo，《Maude的打字移动环境》，H.Cirstea和N.Martí-Oliet，编辑，第六届基于规则编程国际研讨会论文集（Rule 2005），理论计算机科学电子笔记147·兹比尔1276.68101
[15] 乌利多夫斯基，I。；Phillips，I.，用于分支和紧急互模拟的有序SOS过程语言，信息和计算，178180-213（2002）·Zbl 1012.68116号
[16] Verdejo，A。；Martí-Oliet，N.，《Maude中的可执行结构操作语义》，《逻辑与代数编程杂志》，67，226-293（2006）·Zbl 1088.68095号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。