Title :
Systematic transformation of functional analysis model into OO design and implementation
Author :
Tan, Hee Beng Kuan ; Yang, Yong ; Bian, Lei
Author_Institution :
Sch. of Electr. & Electron. Eng., Nanyang Technol. Univ., Singapore
Abstract :
Functional refinement is beneficial to object-oriented (OO) software development, especially for problems with more complex functions. However, the use of functional refinement in OO software development has not received much attention. This paper proposes an enhanced data flow diagram (DFD), called data flow net (DF net), for specifying use-cases through functional decomposition. It proposes a novel approach to complement existing OO software development methods with functional decomposition for realizing use-cases, especially those with more complex functions. In the requirements analysis stage, the proposed approach realizes use-cases through functional refinement and specifies them in DF nets. In the design and implementation stages, it transforms the DF nets systematically and precisely into OO design and implementation. The approach is amenable to automation and a prototype has been developed to support the transformation process. In the development of an OO system, it is seamless to realize some of the use-cases using the proposed approach and the remaining use-cases in the same target system using any existing OO software development methods.
Keywords :
data flow analysis; flowcharting; formal specification; object-oriented methods; DF net; DFD; OO design; data flow diagram; data flow net; functional analysis model; functional decomposition; functional refinement; object-oriented software development; requirements analysis; systematic transformation; use-case specification; Automation; Design for disassembly; Encapsulation; Functional analysis; Helium; Information systems; Object oriented modeling; Programming; Prototypes; Software prototyping; Functional model; design; functional decomposition; model transformation.; object-oriented model; requirements analysis;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.2006.1599420