DocumentCode
383492
Title
The semantics of extended SOFL
Author
Dong, Jin Song ; Liu, Shaoying
Author_Institution
Nat. Univ. of Singapore, Singapore
fYear
2002
fDate
2002
Firstpage
653
Lastpage
658
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 2002. COMPSAC 2002. Proceedings. 26th Annual International
ISSN
0730-3157
Print_ISBN
0-7695-1727-7
Type
conf
DOI
10.1109/CMPSAC.2002.1045077
Filename
1045077
Link To Document