×
史蒂夫·施耐德;海伦·特里哈恩

一致更改系统接口：CSP（\ | \）B的一种新的细化策略。 （英语） Zbl 1221.68062号

科学。计算。程序。 76，第10号，837-860（2011）.
摘要：本文关注CSP B背景下的事件细化。我们将此概念纳入CSP B框架的动机是希望在细化过程中增加灵活性。这种方法能够在优化系统时更改CSP进程和B机器的事件。基于痕迹和痕迹/分歧的精化概念允许通过具体事件的序列来精化抽象事件。还提出了B机之间求精的补充概念，从而得到了CSP控制元件求精的合成结果。本文还将I/O细化的概念引入到我们的事件细化框架中。

引用于1文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）

关键词：

动作细化;界面细化;CSP \（\ | \）B;集成形式化方法

软件：

罗丹;csp2B型
PDF格式BibTeX公司 XML格式引用
\textit｛S.Schneider｝和\textit｛H.Treharne｝，科学。计算。程序。76，编号10837-860（2011年；兹bl 1221.68062）
全文： 内政部

参考文献：

[1] Abrial，J.-R.：《B书：赋予程序意义》（1996）·Zbl 0915.68015号
[2] Abrial，J.-R.：事件B中的建模：系统和软件工程（2010）·Zbl 1213.68214号
[3] J.-R.Abrial，T.S.Hoang，S.Matthias，机械压力机控制器。部署项目可交付成果D8 D10.1教材，2009年12月9日，http://deploy-eprints.ecs.soton.ac.uk/54/（上次访问时间：2010年2月21日）。
[4] Aceto，L.：过程代数中的动作精化，（1992）·Zbl 0762.68003号
[5] 背面，R.-J。；Kurki-Soonio，R.：集中控制过程网络的分散，Distribute.comput。3，第2期，73-87（1989）
[6] 巴纳赫，R。；波普尔顿，M。；杰斯克，C。；Stepney，S.：紧缩的工程和理论基础，科学。计算机。编程67，No.2–3，301-329（2007）·Zbl 1119.68348号 ·doi:10.1016/j.scico.2007.04.002
[7] ，《过程代数手册》（2001）·Zbl 0971.00006号
[8] Boiten，E。；Derrick，J.：Z和对象Z中的精化：基础和高级应用，（2001）·Zbl 0982.68086号
[9] Butler，M.：Csp2b：结合CSP和B的实用方法，Formal asp。计算。12，第3期，182-198（2000）·Zbl 0969.68578号 ·doi:10.1007/PL00003930
[10] Butler，M.：事件B的分解结构，Lncs 5423，20-38（2009）
[11] M.Butler，个人沟通，2008年9月。
[12] 科林，S。；Lanoix，A。；库什纳伦科，O。；Souquières，J.：使用CSP（并行）B，Lncs 5140，139-144（2008）验证一排cristal车辆
[13] 科林，S。；Lanoix，A。；库什纳伦科，O。；Souquières，J.：使用CSP（并行B）组件：应用于车辆排，Lncs 5596，103-118（2008）
[14] 科林，S。；Lanoix，A。；Souquières，J.：值得信赖的接口兼容性：使用B精化的数据模型自适应，Electron。注释理论。计算。科学。203，第7期，23-35（2009）
[15] 戴维斯，J。；Schneider，S.：实时过程的递归归纳，Formal asp。计算。第5期，第6期，第530-553页（1994年）·Zbl 0806.68073号 ·doi:10.1007/BF01211248
[16] Derrick，J。；Boiten，E.：Z中的非原子精细化，Lncs 1709，1477-1496（1999）
[17] Derrick，J。；Wehrheim，H.：《在非原子精炼中使用耦合模拟》，Lncs 2651127-147（2003）·Zbl 1028.68541号
[18] Dijkstra，E.W.：编程学科（1976）·Zbl 0368.68005号
[19] Hoare，C.A.R.：通信顺序过程，（1985）·Zbl 0637.68007号
[20] Morgan，C.：关于wp和CSP，319-326（1990）
[21] Roscoe，A.W.：并发的理论与实践，（1998）
[22] Schneider，S.：并发和实时系统：CSP方法（1999）
[23] Schneider，S.：B方法：简介，（2001）
[24] S.Schneider、D.Pizarro、H.Treharne，《未来科技示范》，2008年。萨里大学系统设计未来技术技术报告。
[25] 施耐德，S。；Treharne，H.：通信B机器的CSP定理，形式asp。计算。17，第4期，390-422（2005）·Zbl 1103.68599号 ·doi:10.1007/s00165-005-0076-7
[26] 施耐德，S。；Treharne，H.：《持续改变系统接口：CSP（并行）B的新细化策略》，Lncs 5423，103-117（2009）·Zbl 1211.68255号 ·doi:10.1007/978-3-642-00255-7_8
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。