By Topic

Consistency checking between data and process diagrams based on formal methods

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Syouri Kouno ; Dept. of Investment Manage. Syst., Nomura Res. Inst. Ltd., Tokyo, Japan ; Han-Myung Chang ; K. Araki

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. We present methods for verifying that the behavior of PAD (process action diagram) keeps the data constraints of the 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

Published in:

Computer Software and Applications Conference, 1996. COMPSAC '96., Proceedings of 20th International

Date of Conference:

21-23 Aug 1996