TY - GEN
T1 - Extending formal specification to object-oriented models through level-view structured schemas
AU - Cheung, K. S.
AU - Chow, K. O.
AU - Cheung, T. Y.
N1 - Publisher Copyright:
© 1999 IEEE.
PY - 1999
Y1 - 1999
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84889567585&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84889567585
T3 - Proceedings - 31st Technology of Object-Oriented Languages and Systems, TOOLS 1999
SP - 118
EP - 125
BT - Proceedings - 31st Technology of Object-Oriented Languages and Systems, TOOLS 1999
A2 - Chen, Jian
A2 - Lu, Jian
A2 - Meyer, Bertrand
T2 - 31st International Conference on Technology of Object-Oriented Languages and Systems, TOOLS 1999
Y2 - 22 September 1999 through 25 September 1999
ER -