This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)
Formalization and Analysis of Dataflow in Object-Oriented Design Models
Seattle, Washington
May 18-May 20
ISBN: 0-7695-2356-0
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.