Building an evolution transformation library

The authors have been developing knowledge-based tools to support the evolutionary development of specifications. Evolution is accomplished by means of evolution transformations, which are meaning-changing transformations applied to formal specifications. A sizable library of evolution transformations has been developed for the specification language Gist. The authors assess the results of their previous work on evolution transformations. They then describe their current efforts to build a versatile, usable evolution transformation library. They have identified important dimensions along which to describe transformation functionality, so that it is possible to assess the coverage of a library along each dimension. The potential applicability of this formal evolution paradigm to other environments is assessed.<<ETX>>

[1]  R. C. Waters,et al.  The requirements apprentice: an initial scenario , 1989, IWSSD '89.

[2]  Richard C. Waters.  The Programmer's Apprentice: A Session with KBEmacs , 1985, IEEE Transactions on Software Engineering.

[3]  Robert Balzer.  Automated Enhancement of Knowledge Representations , 1985, IJCAI.

[4]  David S. Wile,et al.  Program developments: formal explanations of implementations , 1983, CACM.

[5]  Stephen Fickas.  A knowledge-based approach to specification acquisition and construction , 1985 .

[6]  Richard C. Waters,et al.  The Programmer's Apprentice: a research overview , 1988, Computer.

[7]  B. Allen,et al.  A Knowledge-based Environment For The Development Of Software Parts Composition Systems , 1989, 11th International Conference on Software Engineering.

[8]  Martin S. Feather.  Constructing Specifications by Combining Parallel Elaborations , 1989, IEEE Trans. Software Eng..

[9]  Robert Balzer,et al.  Report on a knowledge-based software assistant , 1986 .

[10]  Neil M. Goldman.  Three Dimensions of Design Development , 1983, AAAI.

[11]  William R. Swartout,et al.  GIST English Generator , 1982, AAAI.

[12]  Joseph A. Goguen,et al.  Putting Theories Together to Make Specifications , 1977, IJCAI.

[13]  S. Fickas,et al.  A proposed perspective shift: viewing specification design as a planning problem , 1989, IWSSD '89.

[14]  W. N. Robinson,et al.  Integrating multiple specifications using domain goals , 1989, IWSSD '89.

[15]  Richard C. Waters,et al.  Overview of the Programmer's Apprentice , 1979, IJCAI.

[16]  K. Narayanaswamy.  Static analysis-based program evolution support in the common Lisp framework , 1988, Proceedings. [1989] 11th International Conference on Software Engineering.

[17]  M. D. Lubars,et al.  Addressing software reuse through knowledge-based design , 1989 .

[18]  John Yen,et al.  Specification by Reformulation: A Paradigm for Building Integrated User Support Environments , 1988, AAAI.

[19]  M. S. Feather.  Detecting interference when merging specification evolutions , 1989, IWSSD '89.

[20]  Victor Lesser,et al.  The GRAPPLE Plan Formalism , 1987 .