A GUI and testing tool for SOFL

Author

Liu, Shaoying ; Fukuzaki, Tetsuo ; Miyamoto, Koji

Author_Institution

Hosei Univ., Japan

fYear

2000

fDate

2000

Firstpage

421

Lastpage

425

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific

ISSN

1530-1362

Print_ISBN

0-7695-0915-0

Type

conf

DOI

10.1109/APSEC.2000.896729

Filename

896729