By Topic

An animation approach to develop C++ code from Object-Z specifications

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Najafi, M. ; Fac. of Electr. & Comput. Eng., Shahid Beheshti Univ., Tehran, Iran ; Haghighi, H.

Object-Z is an extension of Z which facilitates specification of large, complex software by defining a system as a collection of independent classes. A number of contributions have been made so far to map Object-Z to various object-oriented languages. However, the given mapping rules do not cover some Object-Z specification constructs, such as class union, object aggregation, object containment and some operation operators. Also, most of the existing works propose rules in a general way. In other words, they do not consider all cases in a detailed way needed to automate the mapping. In this paper, we present a much more comprehensive way to animate Object-Z specifications using C++ such that mapping rules are described with enough details that facilitate automation capability. Also, the given method covers some constructs that have not been considered in the literature yet.

Published in:

Computer Science and Software Engineering (CSSE), 2011 CSI International Symposium on

Date of Conference:

15-16 June 2011