Operations for evolving specifications

Author

Bhat, Sudin ; Miriyala, Kanth

Author_Institution

Center for Strategic Technol. Res., Chicago, IL, USA

fYear

1993

fDate

20-23 Sep 1993

Firstpage

104

Lastpage

111

Abstract

We have been studying a model of software specification reuse which begins with the retrieval of relevant specification components, and then successively adapts and composes these components to construct a desired complete specification. The focus of the paper is on the composition of reusable specification components. We use semantically-based composition operations-that is, operations that are designed to guarantee certain semantic properties of the composite artifact if certain properties hold of the input artifacts-to build complex specifications and to design new reusable specification components reactively. We describe the implementation of four composition operations, and illustrate their use by means of a small scenario

Keywords

formal specification; software reusability; input artifacts; reusable specification components; semantic properties; semantically-based composition operations; software specification reuse; specification components; Algebra; Buildings; Costs; Feathers; Lattices; Merging; Programming; Software maintenance; Software performance;

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.341209

Filename

341209