World Scientific
Skip main navigation

Cookies Notification

We use cookies on this site to enhance your user experience. By continuing to browse the site, you consent to the use of our cookies. Learn More
×
Spring Sale: Get 35% off with a min. purchase of 2 titles. Use code SPRING35. Valid till 31st Mar 2025.

System Upgrade on Tue, May 28th, 2024 at 2am (EDT)

Existing users will be able to log into the site and access content. However, E-commerce and registration of new users may not be available for up to 12 hours.
For online purchase, please visit us again. Contact us at customercare@wspc.com for any enquiries.
No Access

THE STUDY OF OBJECT-Z SPECIFICATION FORMAT FOR SPECIFICATION ANIMATION

    This work is supported by National Science Foundation of China (60373072) and the National 973 Program (2002CB312001).

    https://doi.org/10.1142/9789812701534_0165Cited by:0 (Source: Crossref)
    Previous
    Next
    Abstract:

    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.