Title :
The semantics of extended SOFL
Author :
Dong, Jin Song ; Liu, Shaoying
Author_Institution :
Nat. Univ. of Singapore, Singapore
Abstract :
SOFL (structured-object-based-formal language) has been extended to a formal object-oriented language and method while keeping its structured features. This extension allows powerful object-oriented reuse mechanisms, such as class inheritance and object composition, to be utilized in the early design phases. This paper presents the semantics for this extended SOFL, and further demonstrates the extendibility and reusability of the object-oriented semantic models of SOFL.
Keywords :
formal languages; inheritance; object-oriented languages; programming language semantics; SOFL; extendibility; inheritance; object composition; object-oriented language; reusability; semantics; structured methods; structured-object-based-formal language; Computer languages; Design for disassembly; Design methodology; Flow graphs; Object oriented modeling; Petri nets; Power system modeling; Software design; Vehicles; Visualization;
Conference_Titel :
Computer Software and Applications Conference, 2002. COMPSAC 2002. Proceedings. 26th Annual International
Print_ISBN :
0-7695-1727-7
DOI :
10.1109/CMPSAC.2002.1045077
