By Topic

Extending formal specification to object-oriented models through level-view structured schemas

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
$33 $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

3 Author(s)
K. S. Cheung ; Dept. of Comput. Sci., Hong Kong Univ., Hong Kong ; K. O. Chow ; T. Y. Cheung

This paper describes an approach to extending formal specification to object oriented (OO) models, called FXOOM (Formal eXtension to OO Models). FXOOM is composed of four schemas, namely, class schema, relationship schema, lifecycle schema and interaction schema. The schemas are structured in accordance with the granular levels and orthogonal views of objects. All essential areas of object features, including classification, relationship, lifecycle and interaction, are covered. These level-view structured specification constructs are the distinctive strengths of FXOOM over many other formal extensions and OO formal languages

Published in:

Technology of Object-Oriented Languages and Systems, 1999. TOOLS 31. Proceedings

Date of Conference:

1999