Title :
Automated Software Specification and Design Using the SOFL Formal Engineering Method
Author :
Liu, Shaoying ; Xue, Xiang
Author_Institution :
Hosei Univ., Tokyo, Japan
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;
Conference_Titel :
Software Engineering, 2009. WCSE '09. WRI World Congress on
Conference_Location :
Xiamen
Print_ISBN :
978-0-7695-3570-8
DOI :
10.1109/WCSE.2009.43
