Extending SOFL to support both top-down and bottom-up approaches

Author

Liu, Shaoying ; Dong, Jin Song

Author_Institution

Hosei Univ., Tokyo, Japan

Volume

6

fYear

2002

fDate

6-9 Oct. 2002

Abstract

We present an integrated approach to support both top-down and bottom-up design of software systems by combining UML (Unified Modeling Language) and the Formal Engineering Method SOFL (Structured Object-oriented Formal Language). We demonstrate by examples that the top-down principle used in conventional Structured Design can be effectively utilized to carry out object-oriented design that is usually seen as a way to suit bottom-up analysis and design. Furthermore, we also explain how the integrated approach helps to improve the preciseness and understandability of design documentations.

Keywords

formal languages; formal specification; object-oriented languages; object-oriented methods; specification languages; Formal Engineering Method; SOFL; Structured Design; Structured Object-oriented Formal Language; UML; Unified Modeling Language; bottom-up approach; design documentations; object-oriented design; top-down approach; Buildings; Communication industry; Design engineering; Documentation; Formal languages; Industrial relations; Large-scale systems; Object oriented modeling; Software systems; Unified modeling language;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man and Cybernetics, 2002 IEEE International Conference on

ISSN

1062-922X

Print_ISBN

0-7803-7437-1

Type

conf

DOI

10.1109/ICSMC.2002.1175573

Filename

1175573