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
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.