Consistency Checking between Data and Process Diagrams Based on Formal MethodsSyouri Kouno, Han-Myung Chang, Keijiro ArakiCOMPSAC1996