A Generic OO Architecture Language for Semantics Analysis of OO Specification

Xiaoqing Frank Liu, Missouri University of Science and Technology

This document has been relocated to http://scholarsmine.mst.edu/comsci_facwork/162

There were 2 downloads as of 27 Jun 2016.


Formal specification enables a rigorous analysis and model checking for ensuring the correctness of specification. Formal OO specification methods are of mathematical nature and the semantics of specification is purposely defined such that it is not related to the semantics of code. We propose a new language, which will lay a common semantics ground for both specification and code.