A GUI and testing tool for SOFL

SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a combination of structured method and object-oriented method. In this paper we introduce a graphical user interface (GUI) for supporting the construction of SOFL specifications, and a tool for testing SOFL specifications. With those tools it would be easy to construct a SOFL specification that consists of Condition Data Flow Diagrams and specification modules, and to ensure its consistency and validity.

• Type: Conference
• Year: 2000
• Where: APSEC
• Authors: Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto
• Keywords: APSEC 2000, Data Flow Diagrams, Sofl Specification, Software Engineering, Specification