DocumentCode
3030664
Title
Formalization and analysis of dataflow in object-oriented design models
Author
Aoki, Toshiaki ; Katayama, Takuya
Author_Institution
Japan Adv. Inst. of Sci. & Technol., Ishikawa, Japan
fYear
2005
fDate
18-20 May 2005
Firstpage
95
Lastpage
105
Abstract
In the upstream phase of object-oriented development, we usually model a target system from multiple points of view. A dataflow view has been recognized as one of the most important views in software engineering. We need to relate dataflow models to OO models and check consistency between them as it is still important even if we adopt object-oriented approach. In this paper, we propose a method to analyze dataflows in OO design models with the model checker Spin after formalizing them.
Keywords
data flow analysis; formal specification; formal verification; object-oriented methods; OO models; Spin model checker; dataflow analysis; dataflow formalization; object-oriented design models; software engineering; Data analysis; Distributed computing; Embedded system; Explosions; Object oriented modeling; Software engineering; Standards development; State-space methods; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Object-Oriented Real-Time Distributed Computing, 2005. ISORC 2005. Eighth IEEE International Symposium on
Print_ISBN
0-7695-2356-0
Type
conf
DOI
10.1109/ISORC.2005.28
Filename
1420957
Link To Document