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

K. S. Cheung, K. O. Chow, T. Y. Cheung

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Citations (Scopus)

Abstract

This paper describes an approach to extending formal specification to object oriented (00) models, called FXOOM (Formal extension to 00 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 classijication, relationship, lifecycle and interaction, are covered. These level-view structured specification constructs are the distinctive strengths of FXOOM over many other formal extensions and 00 formal languages.

Original languageEnglish
Title of host publicationProceedings - 31st Technology of Object-Oriented Languages and Systems, TOOLS 1999
EditorsJian Chen, Jian Lu, Bertrand Meyer
Pages118-125
Number of pages8
ISBN (Electronic)0769503934, 9780769503936
Publication statusPublished - 1999
Externally publishedYes
Event31st International Conference on Technology of Object-Oriented Languages and Systems, TOOLS 1999 - Nanjing, China
Duration: 22 Sept 199925 Sept 1999

Publication series

NameProceedings - 31st Technology of Object-Oriented Languages and Systems, TOOLS 1999

Conference

Conference31st International Conference on Technology of Object-Oriented Languages and Systems, TOOLS 1999
Country/TerritoryChina
CityNanjing
Period22/09/9925/09/99

Fingerprint

Dive into the research topics of 'Extending formal specification to object-oriented models through level-view structured schemas'. Together they form a unique fingerprint.

Cite this