A constraint satisfaction system on the entity and relationship model

Author

Sato, Masakazu ; Hashimoto, Masaaki

Author_Institution

ATR Commun. Syst. Res. Labs., Kyoto, Japan

fYear

1992

fDate

15-20 Jun 1992

Firstpage

503

Lastpage

510

Abstract

Proposes a programming language, called PSDL-GR, that satisfies the constraints on the entity-relationship model. In the software development process, this model is used for describing a universe of discourse, but it has been limited to use as a modeling method rather than a calculus. To integrate the requirements analysis, design and programming phases, the authors introduce the characteristics of a calculus base into this model and use it as a universal language. They briefly describe PSDL-GR and an implementation method using a constraint logic programming language

Keywords

constraint handling; entity-relationship modelling; logic programming languages; PSDL-GR; calculus base; constraint satisfaction system; entity-relationship model; implementation method; logic programming language; requirements analysis; software development; universal language; universe of discourse; Calculus; Computer aided software engineering; Computer languages; Data structures; Databases; Laboratories; Logic design; Logic programming; Natural languages; Programming profession;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on

Conference_Location

Capri

Print_ISBN

0-8186-2830-8

Type

conf

DOI

10.1109/SEKE.1992.227911

Filename

227911