Title :
A GUI and testing tool for SOFL
Author :
Liu, Shaoying ; Fukuzaki, Tetsuo ; Miyamoto, Koji
Author_Institution :
Hosei Univ., Japan
Abstract :
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 a structured method and object-oriented method. 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, modules, and classes and to ensure its consistency and validity
Keywords :
Petri nets; flowcharting; formal specification; graphical user interfaces; object-oriented languages; object-oriented methods; software tools; specification languages; Petri nets; SOFL specification construction; SOFL specification testing tool; VDM-SL; classes; data flow diagrams; formal language; graphical user interface; modules; object-oriented method; structured method; system design; system specification; Data engineering; Design engineering; Encapsulation; Formal languages; Graphical user interfaces; Java; Object oriented modeling; Petri nets; Software systems; Testing;
Conference_Titel :
Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific
Print_ISBN :
0-7695-0915-0
DOI :
10.1109/APSEC.2000.896729
