The Community for Technology Leaders
RSS Icon
Subscribe
Seattle, Washington
May 18, 2005 to May 20, 2005
ISBN: 0-7695-2356-0
pp: 95-105
Toshiaki Aoki , Japan Advanced Institute of Science and Technology
Takuya Katayama , Japan Advanced Institute of Science and Technology
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.
INDEX TERMS
null
CITATION
Toshiaki Aoki, Takuya Katayama, "Formalization and Analysis of Dataflow in Object-Oriented Design Models", ISORC, 2005, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) 2005, pp. 95-105, doi:10.1109/ISORC.2005.28
50 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool