Title :
OBL: a formal deduction method for object-oriented systems
Author :
Chang, Kuangnan ; Kung, David ; Hsia, Pei
Author_Institution :
Dept. of Comput. Sci. Eng., Texas Univ., Arlington, TX, USA
Abstract :
Object Behavior Logic (OBL) is proposed in order to specify object oriented system behavior. An inference engine is introduced for verifying the consistency of the systems based on the specification in OBL. OBL uses the paradigms of state machine to catch the dynamic aspect of object oriented systems in formal specification, plus the features of object oriented concepts such as inheritance, instantiation, and so forth, which separate the unique object oriented techniques from the function oriented techniques
Keywords :
finite state machines; formal logic; formal specification; inference mechanisms; inheritance; object-oriented programming; program verification; OBL; Object Behavior Logic; consistency; dynamic aspect; formal deduction method; formal specification; function oriented techniques; inference engine; inheritance; instantiation; object oriented concepts; object oriented system behavior specification; state machine; Computer science; Documentation; Engines; Formal specifications; Graphics; Logic; Manipulator dynamics; Object oriented modeling; Power engineering and energy; Unified modeling language;
Conference_Titel :
Computer Software and Applications Conference, 1999. COMPSAC '99. Proceedings. The Twenty-Third Annual International
Conference_Location :
Phoenix, AZ
Print_ISBN :
0-7695-0368-3
DOI :
10.1109/CMPSAC.1999.814325
