Consistency Checking between Data and Process Diagrams Based on Formal Methods.

Syouri Kouno Han-Myung Chang Keijiro Araki Consistency Checking between Data and Process Diagrams Based on Formal Methods. 261-269 1996 conf/compsac/1996 COMPSAC http://doi.ieeecomputersociety.org/10.1109/CMPSAC.1996.544175 db/conf/compsac/compsac1996.html#KounoCA96