loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
31st International Conference on Technology of Object-Oriented Language and Systems
Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas
Nanjing, China
September 22-September 25
ISBN: 0-7695-0393-4
ASCII Text
x 
 
K.S. Cheung, K.O. Chow, T.Y. Cheung, "Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas," Technology of Object-Oriented Languages, International Conference on, pp. 118, 31st International Conference on Technology of Object-Oriented Language and Systems, 1999.
 
 
BibTex
x
 
@article{ 10.1109/TOOLS.1999.796474,
author = {K.S. Cheung and K.O. Chow and T.Y. Cheung},
title = {Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas},
journal ={Technology of Object-Oriented Languages, International Conference on},
volume = {0},
year = {1999},
issn = {1530-2067},
pages = {118},
doi = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.796474},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Technology of Object-Oriented Languages, International Conference on
TI - Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas
SN - 1530-2067
SP
EP
A1 - K.S. Cheung,
A1 - K.O. Chow,
A1 - T.Y. Cheung,
PY - 1999
KW - object-oriented model
KW - formal specification
KW - formal method
VL - 0
JA - Technology of Object-Oriented Languages, International Conference on
ER -
 
K.S. Cheung, City University of Hong Kong
K.O. Chow, City University of Hong Kong
T.Y. Cheung, City University of Hong Kong
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.
Index Terms:
object-oriented model, formal specification, formal method
Citation:
K.S. Cheung, K.O. Chow, T.Y. Cheung, "Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas," tools, pp.118, 31st International Conference on Technology of Object-Oriented Language and Systems, 1999
Usage of this product signifies your acceptance of the Terms of Use.