Title :
Integrity constraints in the multi-paradigm language PROGRES
Author :
Munch, M. ; Schurr, A. ; Winter, A.
Author_Institution :
Dept. of Electron. & Comput. Sci., Southampton Univ., UK
Abstract :
PROGRES is a multi-paradigm visual programming or executable specification language, which has a well-defined static type concept. It supports programming with graph rewriting systems. An integrated type-checker is able to check the static semantics of a specification. This paper presents the integration of static integrity constraints to the language which allow to check a specification´s integrity at run-time
Keywords :
rewriting systems; specification languages; visual languages; visual programming; executable specification language; graph rewriting systems; integrated type-checker; integrity constraints; multi-paradigm language PROGRES; multi-paradigm visual programming; specification; static semantics; static type concept; Aircraft; Computer languages; Computer science; Data models; Database systems; Object oriented modeling; Programming environments; Runtime; Software engineering; Unified modeling language;
Conference_Titel :
Visual Languages, 1998. Proceedings. 1998 IEEE Symposium on
Conference_Location :
Halifax, NS
Print_ISBN :
0-8186-8712-6
DOI :
10.1109/VL.1998.706145
