A formal specification constructing tool for SOFL

Author

Xue, Xiang

Author_Institution

Sch. of Software Eng., Shanghai Jiaotong Univ., China

fYear

2005

fDate

16-20 June 2005

Firstpage

12

Lastpage

13

Abstract

The development of powerful software tools that apply and facilitate the use of formal notations and methodologies effectively has been crucial. This paper introduces a new software tool that fully supports the construction of SOFL specifications in a user-friendly manner. With this tool it would be helpful to construct a SOFL specification that consists of condition data flow diagrams and specification modules, as well as take advantage of build in features that improve the correctness and integrity of specifications.

Keywords

data flow analysis; formal specification; object-oriented languages; program verification; software architecture; software tools; SOFL specification; data flow diagrams; formal notations; formal specification constructing tool; software architecture; software tool; specification correctness; specification integrity; specification modules; structure object-oriented formal language; Buildings; Flow graphs; Formal languages; Formal specifications; Guidelines; Packaging; Petri nets; Proposals; Software engineering; Software tools;

fLanguage

English

Publisher

ieee

Conference_Titel

Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on

Print_ISBN

0-7695-2284-X

Type

conf

DOI

10.1109/ICECCS.2005.10

Filename

1467875