Title :
GRIT-an extended REFINE for more executable specifications
Author :
Bailes, Paul A. ; Chapman, Murray ; Gong, Ming ; Peake, Ian
Author_Institution :
Dept. of Comput. Sci., Queensland Univ., St. Lucia, Qld., Australia
Abstract :
Knowledge-based software engineering (KBSE) languages should be as expressive as possible and should allow the reflection in executable programs of their non-executable specification origins. REFINE is the KBSE language for the Software Refinery metaprogramming environment. REFINE´s expressiveness is extended with recursively-enumerable sets and parallel logical connectives. A subtype system was developed for the otherwise typeless functional language G, hence the name GRIT (G-REFINE InTegration) for this effort. The relationships between REFINE programs and original specifications is made possible by using the recursively-enumerable sets as the basis for a comprehensive system of run-time-checked assertions, which are subject to both set- and type-theoretic compositions
Keywords :
computer aided software engineering; knowledge based systems; programming environments; set theory; specification languages; type theory; GRIT; REFINE; Software Refinery; executable specifications; expressiveness; knowledge based software engineering language; metaprogramming environment; parallel logical connectives; recursively-enumerable sets; run-time-checked assertions; set theoretic compositions; subtype system; type-theoretic compositions; typeless functional language G; Computer languages; Computer science; Data structures; Functional programming; Laboratories; Prototypes; Reflection; Software engineering; Software prototyping; Technological innovation;
Conference_Titel :
Knowledge-Based Software Engineering Conference, 1993. Proceedings., Eighth
Conference_Location :
Chicago, IL
Print_ISBN :
0-8186-4100-2
DOI :
10.1109/KBSE.1993.341207
