THE STUDY OF OBJECT-Z SPECIFICATION FORMAT FOR SPECIFICATION ANIMATION

摘要

The paper proposes an XML format for Object-Z specification language. We describe several markup format of Object-Z language and compare some existing works, the problems and the issues that arose, and propose a new XML markup format of Object-Z specification language. The new proposal considered the particular requirement of Object-Z specification animation and demonstrates the feasibility and validity by an example.