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

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.