Title :
A constraint satisfaction system on the entity and relationship model
Author :
Sato, Masakazu ; Hashimoto, Masaaki
Author_Institution :
ATR Commun. Syst. Res. Labs., Kyoto, Japan
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;
Conference_Titel :
Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on
Conference_Location :
Capri
Print_ISBN :
0-8186-2830-8
DOI :
10.1109/SEKE.1992.227911
