The Semantics of Extended SOFL

Recently 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 objectoriented semantic models of SOFL.

• Type: Conference
• Year: 2002
• Where: COMPSAC
• Authors: Jin Song Dong, Shaoying Liu
• Keywords: COMPSAC 2002, Early Design Phases, Formal Object-oriented Language, Powerful Object-oriented Reuse, Software Engineering