Manipulating software semantics with Unified Computational Model and Software Quark Model

Manipulating semantic information is a challenging issue in software engineering. We propose one possible way to handle semantic information of software in a mechanical way. The paper discusses our idea of a Unified Computational Model and a Software Quark Model, which serve as the foundation to attack the issue. In the Unified Computational Model, we have tried to define static semantics of all programming language constructs into Generalized Message Passing. That is to say, Generalized Message Passing is used to present perspective semantics of software. On the other hand, the Software Quark Model provides a sorted set of semantic primitives. It, in turn, is used to represent conceptual semantic information of software. We also present a possible framework for working with the Unified Computational Model and the Software Quark Model to tackle this challenging issue