A Theory of Generalised Substitutions
A Theory of Generalised Substitutions
复制标题
广义替代理论
DOI：
10.1007/3-540-45648-1_14
复制
发表时间：
2002
影响因子：
0.8
通讯作者：
S. Dunne
中科院分区：
文献类型：
--
作者：
S. Dunne
我们用一个明确的框架概念来扩充通常的替换的wp语义，这允许我们开发一个简单的自包含的泛化替换理论，而不是它们通常的B方法上下文。我们提出了三个基本的健康条件，它们在语义上描述了所有的替换，并且我们能够从这些条件中直接推导出一些熟悉的替换性质，以及一些特别与框架有关的新性质，而不需要任何显式的进一步语法呼吁。通过这样做，我们获得了一些关于替换的性质的有用的见解，这使我们能够解决一些迄今为止关于B方法中的替换的问题。
We augment the usual wp semantics of substitutions with an explicit notion of frame, which allows us to develop a simple self-contained theory of generalised substitutions outside their usual context of the B Method. We formulate three fundamental healthiness conditions which semantically characterise all substitutions, and from which we are able to derive directly, without need of any explicit further appeal to syntax, a number of familiar properties of substitutions, as well as several new ones specifically concerning frames. In doing so we gain some useful insights about the nature of substitutions, which enables us to resolve some hitherto problematic issues concerning substitutions within the B Method.