Consistency checking between data and process diagrams based on formal methods

Syouri Kouno, Chang Han-Myung, Keijiro Araki

Research output: Contribution to journalConference articlepeer-review

3 Citations (Scopus)


One of the most important problems in software development using CASE tools is that it is impossible to verify semantical consistency between data and procedure descriptions expressed in structured diagrams. We introduce formal methods into the CASE tools in order to verify strictly the consistency between them. In this paper, we present methods for verifying that behavior of PAD (Process Action Diagram) keeps the data constraints of ERD (Entity Relationship Diagram) using the Z notation. We may improve accuracy of specification by means of giving assurance of validity among different kinds or different abstract levels of diagrams, based on the formal descriptions in Z.

Original languageEnglish
Pages (from-to)261-269
Number of pages9
JournalProceedings - IEEE Computer Society's International Computer Software & Applications Conference
Publication statusPublished - 1996
EventProceedings of the 1996 IEEE 20th Annual International Computer Software & Applications Conference, COMPSAC'96 - Seoul, S Korea
Duration: Aug 21 1996Aug 23 1996

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Science Applications


Dive into the research topics of 'Consistency checking between data and process diagrams based on formal methods'. Together they form a unique fingerprint.

Cite this