×
佩德罗·里贝罗；安娜·卡瓦尔坎蒂

反应过程理论中的天使主义。 （英语） Zbl 1457.68067号

戴维·诺曼，《统一编程理论》。第五届国际研讨会，2014年UTP，新加坡，2014年5月13日。修订了选定的论文。柏林：斯普林格。莱克特。票据计算。科学。8963, 42-61 (2015).
摘要：天使不确定性的概念传统上被用于精化演算。尽管在过程代数的上下文中提出了不同的概念，即通信序列过程（CSP），但单调谓词变换的天使选择算子的类似对应物一直是难以捉摸的。为了在反应过程的背景下考虑这个概念，我们在Hoare和He的统一编程理论（UTP）的背景下引入了一个新的理论。基于先前发展的天使不确定性设计理论，我们展示了如何将这些过程类似地表示为反应设计。此外，利用现有的反应过程理论建立了Galois联系，并发现了关于非天使过程子集的双射。
关于整个系列，请参见[Zbl 1334.68021号].

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等）

关键词：

形式规范；反应过程；CSP公司；大学转学分课程
PDF格式BibTeX公司 XML格式引用
\textit｛P.Ribeiro｝和\textit｛A.Cavalcanti｝，Lect。票据计算。科学。8963，42-61（2015；Zbl 1457.68067）
全文： 内政部

参考文献：

[1] 莫里斯，JM，《逐步求精和编程微积分的理论基础》，科学。计算。程序。，9, 287-306 (1987) ·Zbl 0624.68017号 ·doi:10.1016/0167-6423（87）90011-6
[2] Morgan，C.：规范编程。普伦蒂斯·霍尔（1994）·兹比尔0829.68083
[3] Back，R.，Wright，J.：精化微积分：系统介绍。计算机科学研究生课程。斯普林格（1998）·Zbl 0949.68094号
[4] 蒂雷尔，M。；JM莫里斯；巴特菲尔德，A。；A.休斯。；巴考伊，K。；卡瓦尔坎蒂，A。；Cerone，A.，通信序列过程代数的格理论模型，计算的理论方面-ICTAC 2006，123-137（2006），海德堡：施普林格，海德堡·Zbl 1168.68439号 ·doi:10.1007/11921240_9
[5] Roscoe，A.W.：理解并发系统。施普林格（2010）·Zbl 1211.68205号
[6] Hoare，C.A.R.，Jifeng，H.：统一编程理论。普伦蒂斯·霍尔国际计算机科学系列（1998）·Zbl 0996.68754号
[7] 卡瓦尔坎蒂，A。；Woodcock，J。；Dunne，S.，《程序设计统一理论中的Angelic不确定性》，《计算的形式方面》，第18期，第288-307页（2006年）·Zbl 1105.68012号 ·doi:10.1007/s00165-006-0001-8
[8] 雷维茨基，I。；德斯瓦特，H。；或者E·奥斯卡。；施密特，G。；Roubens，M.，二元多重关系，关系结构作为知识工具的理论和应用，256-271（2003），海德堡：施普林格·Zbl 1203.68035号 ·doi:10.1007/978-3-540-24615-2-12
[9] Ribeiro，P.，Cavalcanti，A.：天使非决定论设计。摘自：2013年软件工程理论方面国际研讨会（TASE），第71-78页（2013）
[10] 卡瓦尔坎蒂，A。；Woodcock，J。；卡瓦尔坎蒂，A。；Sampaio，A。；Woodcock，J.，《统一编程理论中CSP的教程介绍，软件工程中的精化技术》，220-268（2006），海德堡：斯普林格·doi:10.1007/118892296
[11] Woodcock，J。；卡瓦尔坎蒂，A。；Boiten，EA；Derrick，J。；Smith，GP，《统一编程理论中的设计教程》，集成形式化方法，40-66（2004），海德堡：施普林格，海德堡·Zbl 1196.68031号 ·doi:10.1007/978-3-540-24756-24
[12] 里贝罗，P.：反应天使过程。约克大学技术报告（2014年2月）。http://www-users.cs.york.ac.uk/pfr/reports/rac.pdf
[13] 罗斯科，A.W.：并发的理论与实践。普伦蒂斯·霍尔（1998）
[14] JM莫里斯；Kozen，D.，《具有无边界Demonic和Angelic不确定性的增广类型》，程序构建数学，274-288（2004），海德堡：施普林格，海德堡·Zbl 1106.68344号 ·doi:10.1007/978-3-540-27764-4_15
[15] JM莫里斯；Tyrrell，M.，《无限恶魔和天使不确定性的术语》，《计算机编程科学》，65，2，159-172（2007）·Zbl 1106.68024号 ·doi:10.1016/j.scico.2006.01.008
[16] Hesselink，WH，命令式编程中对偶不确定性的交替状态，理论计算机科学，41122-242317-2330（2010）·Zbl 1208.68107号 ·doi:10.1016/j.tcs.2010.03.016
[17] Guttmann，W.：用于序列计算正确性的代数。《计算机编程科学》85，B部分（0），224-240（2014）。2012年程序构造数学专刊
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。