×
沃尔夫拉姆·卡尔

规范的并行组成和分解。 （英语） Zbl 1004.68097号

信息科学。 139，第3-4号，197-220（2001）.
摘要：在通过精化从规范导出程序的学科中，恶魔关系演算是一个成熟的工具，它允许在被视为程序输入输出行为规范的关系上使用恶魔操作符，以及标准关系代数操作符，以推理按细化顺序排序的规范。
本文的主要贡献是引入了一个恶魔产品操作符，它体现了规范并行组合的自然概念。当然，这提出了并行分解的问题，这反过来又促使引入恶魔蕴涵和累加算子。最后，我们也给出了关于并行分解的第一个结果。

引用于2文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
03克15 柱代数和多代数；关系代数

关键词：

恶魔关系演算;恶魔般的操作员
PDF格式BibTeX公司 XML格式引用
\textit{W.Kahl}，信息科学。139，编号3--4，197-220（2001；Zbl 1004.68097）
全文： 内政部

参考文献：

[1] Back，R.J.R.，关于程序的正确精化，J.Comput。系统科学。，23, 1, 49-68 (1981) ·Zbl 0469.68012号
[2] Backhouse，R.C。；van der Woude，J.，《恶魔算子和单型因子》，数学。结构计算。科学。，3, 4, 417-433 (1993) ·Zbl 0797.68114号
[3] Berghammer，R。；Zierer，H.，确定性和非确定性程序的关系代数语义，Theoret。计算。科学。，43, 123-147 (1986) ·Zbl 0596.68019号
[4] 布德里加，N。；Elloumi，F。；Mili，A.，《规范格：规范方法的应用》，形式方面计算。，4, 544-571 (1992) ·Zbl 0782.68077号
[5] （Brink，C.；Kahl，W.；Schmidt，G.，计算机科学中的关系方法，计算进展（1997），Springer:Springer-Wien）·Zbl 0871.00027号
[6] R.Cardoso，《Untersuchung并行程序mit relationonalgebraischen Methoden》，G.Schmidt监督下的文凭，TU Munchen，1982年；R.Cardoso，《Untersuchung并行程序mit relationonalgebraischen Methoden》，G.Schmidt监督下的文凭，TU Munchen，1982年
[7] Desharnais，J.，《关系除法运算符：共轭核》，Theoret。计算。科学。，114, 247-272 (1993) ·Zbl 0779.68058号
[8] Desharnais，J.，《在关系代数中嵌入恶魔半格》，理论。计算。科学。，149, 333-360 (1995) ·兹比尔0874.68199
[9] Desharnais，J。；Mili，A。；Nguyen，T.T.，《精化和恶魔语义》（Brink，C.；khal，W.；Schmidt，G.，《计算机科学中的关系方法，计算进展》（1997），Springer:Springer-Wein，纽约），166-183，（第11章）·Zbl 0884.68082号
[10] M.Frappier，《按部分构建程序的关系基础》，渥太华大学博士论文，1995年；M.Frappier，《按部分构建程序的关系基础》，渥太华大学博士论文，1995年
[11] Frappier先生。；Mili，A。；Desharnais，J.，《按部件构建程序的关系演算》，科学。计算。编程，26,3237-254（1996）·Zbl 0852.68014号
[12] 弗拉皮耶，M。；Mili，A。；Desharnais，J.，《统一程序构建和修改》，Logic J.IGPL，6，2，317-340（1998）·Zbl 0892.68063号
[13] 弗里亚斯，M.F。；Baum，G.A。；Haeberer，A.M.，《代数、逻辑和计算机科学中的Fork代数》，基金会。通知。，32, 1-25 (1997) ·兹伯利0890.003036
[14] Hoare，C.A.R.，《编程法》，美国通信协会，30，8，672-686（1987），（30（9）勘误表，第770页）·兹比尔062968006
[15] 霍尔，C.A.R。；他，J。；Sanders，J.W.，《数据精炼中的预规范》，Inform。过程。莱特。，25, 2, 71-76 (1987) ·Zbl 0624.68027号
[16] Kahl，W.，分层术语图，（Ehrig，H.；Taentzer，G.，图形转换系统联合APPLIGRAPH/GETGRATS研讨会论文集（GRATRA 2000），柏林大学（2000），115-122，（Fachbereich 13:Informatik，报告编号2000-2）
[17] Kahl，W.，Unsharp demonic products and layered term graphs，（Desharnais，J.，第五届计算机科学中关系方法国际研讨会，拉瓦尔大学，Départment D’informatique（2000）），165-174
[18] W.Kahl，规范的并行组成和分解，技术报告2001-01，Fak。für Informatik，德国慕尼黑联邦国防大学，2001年；W.Kahl，规范的并行组成和分解，技术报告2001-01，Fak。2001年，慕尼黑联邦国防大学·Zbl 1004.68097号
[19] 米莉·R。；Desharnais，J。；弗拉皮耶，M。；Mili，A.，规范之间的语义距离，Theoret。计算。科学。，247, 1-2, 257-276 (2000) ·Zbl 0949.68098号
[20] Morgan，C.C.，《规范编程》。《规范编程》，普伦蒂斯·霍尔计算机科学国际系列（1994），普伦提斯·霍尔：普伦蒂斯霍尔恩格尔伍德克利夫斯，新泽西州·Zbl 0829.68083号
[21] Nelson，G.，Dijkstra微积分的推广，ACM Trans。编程语言系统，11，4，517-561（1989）
[22] Nipkow，T.，《非确定性数据类型：模型和实现》，《信息学报》，第22期，第629-661页（1986年）·Zbl 0564.68013号
[23] Pfaltz，J.L.，闭包格，离散数学。，154, 217-236 (1996) ·Zbl 0852.06002号
[24] 施密特，G。；Ströhlein，T.，关系与图，计算机科学家的离散数学。关系和图，计算机科学家的离散数学，EATCS-理论计算机科学专著（1993），施普林格：施普林格柏林·兹比尔0900.68328
[25] F.Tchier，Sémantiques relationelles démoniaques et vérification de boucles non déterminists，博士论文，魁北克拉瓦尔大学，1996年；F.Tchier，Sémantiques relationelles démoniaques et vérification de boucles non déterminists，博士论文，魁北克拉瓦尔大学，1996年
[26] M.Winter，Strukturtheorie异质性关系分析bren mit Anwendung auf Nichtdeliminismus in Programmiersprachen，德国慕尼黑大学博士论文，1998年；M.Winter，Strukturtheorie异质性关联分析bren mit Anwendung auf Nichtdeliminismus in Programmiersprachen，德国慕尼黑大学博士论文，1998年
[27] Wirth，N.，《逐步细化的程序开发》，美国陆军司令部司令部，14，4，221-227（1971）·Zbl 0214.43005号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。