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

fYear

1999

fDate

1999

Firstpage

450

Lastpage

455

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1999. COMPSAC '99. Proceedings. The Twenty-Third Annual International

Conference_Location

Phoenix, AZ

ISSN

0730-3157

Print_ISBN

0-7695-0368-3

Type

conf

DOI

10.1109/CMPSAC.1999.814325

Filename

814325