loading...
Formalization and Analysis of Dataflow in Object-Oriented Design Models
Seattle, Washington May 18-May 20
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISORC.2005.28Eighth IEEE International Symposium o ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Toshiaki Aoki, Takuya Katayama, "Formalization and Analysis of Dataflow in Object-Oriented Design Models," Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on, pp. 95-105, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/ISORC.2005.28,
author = {Toshiaki Aoki and Takuya Katayama},
title = {Formalization and Analysis of Dataflow in Object-Oriented Design Models},
journal ={Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on},
volume = {0},
year = {2005},
isbn = {0-7695-2356-0},
pages = {95-105},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2005.28},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
TI - Formalization and Analysis of Dataflow in Object-Oriented Design Models
SN - 0-7695-2356-0
SP95
EP105
A1 - Toshiaki Aoki,
A1 - Takuya Katayama,
PY - 2005
KW - null
VL - 0
JA - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
ER -
 
Toshiaki Aoki, Japan Advanced Institute of Science and Technology
Takuya Katayama, Japan Advanced Institute of Science and Technology
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.
Citation:
Toshiaki Aoki, Takuya Katayama, "Formalization and Analysis of Dataflow in Object-Oriented Design Models," isorc, pp.95-105, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.