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

fYear

1993

fDate

20-23 Sep 1993

Firstpage

123

Lastpage

132

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Knowledge-Based Software Engineering Conference, 1993. Proceedings., Eighth

Conference_Location

Chicago, IL

ISSN

1068-3062

Print_ISBN

0-8186-4100-2

Type

conf

DOI

10.1109/KBSE.1993.341207

Filename

341207