Testing Semantics: Connecting Processes and Process Logics

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 duality 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. While this approach is based on duality theories that now are common in semantics, it accomplishes much more than simply moving from one side of the 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 tract terms, tests can be viewed as formulas of proce...

• Type: Conference
• Year: 2006
• Where: AMAST
• Authors: Dusko Pavlovic, Michael W. Mislove, James Worrell
• Keywords: AMAST 2006, Denotational Model, Duality Theories, Machine, Software Engineering