Consistency checking between data and process diagrams based on formal methods

Syouri Kouno, Chang Han-Myung, Keijiro Araki

Research output: Contribution to journalArticlepeer-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
JournalUnknown Journal
Publication statusPublished - 1996
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Engineering(all)


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