Automated Software Specification and Design Using the SOFL Formal Engineering Method

Author

Liu, Shaoying ; Xue, Xiang

Author_Institution

Hosei Univ., Tokyo, Japan

Volume

4

fYear

2009

fDate

19-21 May 2009

Firstpage

283

Lastpage

289

Abstract

The Structured Object-Oriented Formal Language (SOFL) offers a formal engineering method for effectively incorporating formal specifications into system architectures in order to improve the quality of software design, but faces a challenge in tool support. This paper describes the techniques for building an effective software tool to support the construction of design specifications using SOFL. The techniques include (1) enforcing error detection and prevention in specification construction, (2) offering an "intelligent" and systematic guidance for decomposing operations and for completing specifications, and (3) supplying inter-related navigation among different representations of a SOFL specification. The tool has been applied in our several projects.

Keywords

error detection; formal specification; object-oriented languages; software architecture; software quality; software tools; structured programming; automated software specification; error detection; error prevention; formal engineering method; formal specifications; intelligent guidance; inter-related navigation; software design quality; software tool; structured object-oriented formal language; system architectures; systematic guidance; Buildings; Computer architecture; Design engineering; Face detection; Formal languages; Formal specifications; Intelligent systems; Navigation; Software design; Software tools; Formal specification; intelligent supporting tools; software tools;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering, 2009. WCSE '09. WRI World Congress on

Conference_Location

Xiamen

Print_ISBN

978-0-7695-3570-8

Type

conf

DOI

10.1109/WCSE.2009.43

Filename

5319553