Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05) (2005)
May 18, 2005 to May 20, 2005
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISORC.2005.28
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.
T. Aoki and T. Katayama, "Formalization and Analysis of Dataflow in Object-Oriented Design Models," Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)(ISORC), Seattle, Washington, 2005, pp. 95-105.