Class and module in SOFL

Abstract

SOFL is a formal language and method f o r system specification and design. It was developed by integrating Petri Nets, Data Flow Diagrams, and VDM-SL. As the majorfeature of the original SOFL method is to use structured techniques for analysis and specification, and object-oriented techniques for design and implementation, SOFL has its own implementation language that is similar to C+ +. Howevel; during our recent work of applying SOFL to software systems, the transformation of structured specijications to object-oriented implementations creates some difJiculties, simply because of paradigms mismatch. In this paper we extend SOFL to a formal object-oriented language and method while keeping its structured features. This will allow powe@l object-oriented reuse mechanisms, such as class inheritance and object composition, to be utilized in the early phases, and transformation from SOFL spec@cations to commercial object-oriented programming languages to be readily achieved. 0-7695-1287-9101 $17.00 0 2001 IEEE

The semantics of extended SOFL

“…Recently SOFL has been extended to a formal objectoriented method while keeping its structured features [2]. This extension allows object-oriented reuse mechanisms, such as class inheritance and object composition, to be utilized in the early design phases.…”