Consistency checking between data and process diagrams based on formal methods

Syouri Kouno, Chang Han-Myung, Keijiro Araki

研究成果: ジャーナルへの寄稿記事

3 引用 (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.

元の言語英語
ページ(範囲)261-269
ページ数9
ジャーナルUnknown Journal
出版物ステータス出版済み - 1996
外部発表Yes

Fingerprint

Formal methods
diagram
Specification languages
Software engineering
Specifications
method

All Science Journal Classification (ASJC) codes

  • Engineering(all)

これを引用

Consistency checking between data and process diagrams based on formal methods. / Kouno, Syouri; Han-Myung, Chang; Araki, Keijiro.

:: Unknown Journal, 1996, p. 261-269.

研究成果: ジャーナルへの寄稿記事

Kouno, Syouri ; Han-Myung, Chang ; Araki, Keijiro. / Consistency checking between data and process diagrams based on formal methods. :: Unknown Journal. 1996 ; pp. 261-269.
@article{cd75b09a60be4482b3d8b849f5cf8831,
title = "Consistency checking between data and process diagrams based on formal methods",
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.",
author = "Syouri Kouno and Chang Han-Myung and Keijiro Araki",
year = "1996",
language = "English",
pages = "261--269",
journal = "Quaternary International",
issn = "1040-6182",
publisher = "Elsevier Limited",

}

TY - JOUR

T1 - Consistency checking between data and process diagrams based on formal methods

AU - Kouno, Syouri

AU - Han-Myung, Chang

AU - Araki, Keijiro

PY - 1996

Y1 - 1996

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0029712747&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0029712747&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0029712747

SP - 261

EP - 269

JO - Quaternary International

JF - Quaternary International

SN - 1040-6182

ER -