×
卡尔·海因茨·佩内曼

开发正确的图形转换系统。 （英语） 兹比尔1175.68230

Ehrig，Hartmut（编辑）等人，《图形变换》。2008年9月7日至13日在英国莱斯特举行的2008年第四届国际燃气轮机大会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87404-1/pbk）。计算机科学讲义5214，508-510（2008）。
摘要：本论文的一个主要目标是能够确定由图形前提、图形程序和图形后置条件组成的图形规范的正确性。根据Dijkstra的观点，程序规范的正确性可以通过构造程序相对于后置条件的最弱先决条件并检查该先决条件是否意味着最弱的先决条件来体现。出于工具支持的目的，我们研究最弱图前提的构造，考虑蕴涵问题可判定的图条件片段，并研究一般情况下该问题的近似解。所有研究都是在粘合剂高级替代类别的框架内进行的。因此，该结果将适用于不同类型的转换系统和Petri网。
关于整个系列，请参见[Zbl 1148.68002号].

引用于8文件

MSC公司：

2012年第68季度 语法和重写系统
68号30 软件工程的数学方面（规范、验证、度量、需求等）
60年第68季度 规范和验证（程序逻辑、模型检查等）
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

软件：

TPTP公司；梅斯4；沟槽；8月2日；VAMPIRE公司
PDF格式BibTeX公司 XML格式引用
\textit{K.-H.Pennemann}，莱克特。注释计算。科学。5214508-510（2008年；Zbl 1175.68230）
全文： 内政部 链接

参考文献：

[1] 哈贝尔，A。；Pennemann，K.-H。；Rensink，A。；Corradini，A。；埃里格，H。；蒙塔纳里，美国。；里贝罗。；Rozenberg，G.，《高级项目最薄弱的前提条件》，《图形转换》，445-460（2006），海德堡：斯普林格出版社·Zbl 1156.68347号 ·doi:10.1007/11841883_31
[2] 彭尼曼，K.H。；Ehrig，H.，高级条件下的类分辨率定理证明，Proc。ICGT 2008（2008），海德堡：施普林格，海德伯格
[3] Pennemann，K.H.，高级条件可满足性问题的近似算法，Proc。GT-VC 2007，75-94（2008），阿姆斯特丹：爱思唯尔，阿姆斯特朗·Zbl 1283.68211号
[4] Habel，A.，Pennemann，K.H.：高级转换系统相对于嵌套条件的正确性。MSCS（接受出版，2008年）·Zbl 1168.68022号
[5] 哈贝尔，A。；赫克尔，R。；Taentzer，G.，《负应用条件下的图形文法》，《信息基础》，26，3-4，287-313（1996）·Zbl 0854.68055号
[6] Heckel，R.，Wagner，A.：确保条件图语法的一致性。收录于：SEGRAGRA 1995。ENTCS，第2卷，第95-104页（1995年）·Zbl 0910.68154号
[7] 科赫，M。；Mancini，L。；Parisi-Presicce，F.，基于图形的访问控制策略规范，JCSS，71，1-33（2005）·Zbl 1081.68072号
[8] 埃里格，H。；埃里格，K。；哈贝尔，A。；Pennemann，K.H。；埃里格，H。；恩格斯，G。；平价，F。；Rozenberg，G.，约束和应用条件：从图到高层结构，图变换，287-303（2004），海德堡：施普林格·Zbl 1116.68479号
[9] Pennemann，K.H.：图变换系统的广义约束和应用条件。奥尔登堡大学计算科学系硕士论文（2004）
[10] Rensink，A。；埃里格，H。；恩格斯，G。；平价，F。；Rozenberg，G.，用图表示一阶逻辑，图变换，319-335（2004），海德堡：施普林格
[11] 哈贝尔，A。；Pennemann，K.H。；Kreowski，H.-J。；蒙塔纳里，美国。；Orejas，F。；Rozenberg，G。；Taentzer，G.，《高层结构的嵌套约束和应用条件》，《软件和系统建模中的形式化方法》，293-308（2005），海德堡：斯普林格出版社·Zbl 1075.68623号
[12] 埃里格，H。；埃里格，K。；哈贝尔，A。；Pennemann，K.H.，《约束和应用条件理论：从图到高层结构》，《信息学基础》，74135-166（2006）·Zbl 1106.68054号
[13] 哈贝尔，A。；普拉普，D。；Honsell，F。；Miculan，M.，《基于图变换的编程语言计算完整性》，《软件科学和计算结构基础》，230-245（2001），海德堡：斯普林格出版社·Zbl 0978.68028号 ·doi:10.1007/3-540-45315-6_15
[14] Azab，K.，Habel，A.，Pennemann，K.H.，Zuckschwerdt，C.：ENFORCe：确保高级程序形式正确性的系统。In：程序。GraBaT 2006。ECEASST，第1卷，第82-93页（2007年）
[15] Zuckschwerdt，C.：Anwendungsbedingungen的Ein系统zur转换von Konsistenz。Berichte aus dem Department für Informatik 2006年11月，114页，奥尔登堡大学（2006）
[16] 哈贝尔，A。；Pennemann，K.H。；Corradini，A。；埃里格，H。；蒙塔纳里，美国。；里贝罗，L。；Rozenberg，G.，高级条件的可满足性，图变换，430-444（2006），海德堡：施普林格·Zbl 1156.68428号 ·doi:10.1007/11841883_30
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。