Testing Semantics: Connecting Processes and Process Logics
Testing Semantics: Connecting Processes and Process Logics
复制标题
测试语义：连接流程和流程逻辑
作者：
Dusko Pavlovic;M. Mislove;J. Worrell
我们提出了一种基于测试作为框架的方法，以捕获指定模型中表示的机器的交互及其操纵的数据。使用一方面建模机器的连接，另一方面它们操作的数据，测试用于捕获另一侧的对象的交互作用：就像输入到机器中的数据一样由于可以对机器进行测试，因此可以将机器视为可用于区分数据的测试。这种方法是基于从现在在语义中常见的二元理论到逻辑连接的概括，这些连接只是违反辅助。在此过程中，它不仅仅是从二元性的一侧移动到另一种方面的成就。它忠实地代表了体现计算过程中正在发生的事情的相互作用。我们的基本理念是，测试可以用作建模相互作用以及过程及其操作数据的基础。用更抽象的术语，可以将测试视为过程逻辑的公式，测试语义可以将过程和过程逻辑连接起来，并将计算含义分配给两者。
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a connection that models machines on the one hand, and the data they manipulate on the other, testing is used to capture the interactions of each with the objects on the other side: just as the data that are input into a machine can be viewed as tests that the machine can be subjected to, the machine can be viewed as a test that can be used to distinguish data. This approach is based on generalizing from duality theories that now are common in semantics to logical connections, which are simply contravariant adjunctions. In the process, it accomplishes much more than simply moving from one side of a duality to the other; it faithfully represents the interactions that embody what is happening as the computation proceeds. Our basic philosophy is that tests can be used as a basis for modeling interactions, as well as processes and the data on which they operate. In more abstract terms, tests can be viewed as formulas of process logics, and testing semantics connects processes and process logics, and assigns computational meanings to both.