Consistency Checking between Data and Process Diagrams based on Formal Methods

Authors:
Syouri Kouno;Han-Myung Chang;Keijiro Araki
Affiliations:
-;-;-
Venue:
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Year:
1996

Citing 5
Cited 0

The Z notation: a reference manual

The Z notation: a reference manual
Programming from specifications (2nd ed.)

Programming from specifications (2nd ed.)
Managing the Structured Techniques: Strategies for Software Development in the 1990's

Managing the Structured Techniques: Strategies for Software Development in the 1990's
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering

Software Development with Z: A Practical Approach to Formal Methods in Software Engineering
Structured Analysis and System Specification

Structured Analysis and System Specification

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.