Evolving Logical Specification in Information Systems

  title={Evolving Logical Specification in Information Systems},
  author={Stefan Conrad and Jaime Ramos and Gunter Saake and Cristina Sernadas},
  booktitle={Logics for Databases and Information Systems},
Traditional logic-based speci cation approaches x the structure and the dynamics of an object system at speci cation time. Information systems are applications with a very long life-time. Therefore, object and speci cation evolution to react on changing requirements is a relevant aspect of describing information systems as object societies. We present a logical speci cation framework for evolving objects based on the concepts of object developed for the languages Troll and Gnome and the… CONTINUE READING

From This Paper

Topics from this paper.
7 Citations
10 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 10 references

The GNOME Language

  • Sernadas, Ramos, A. 1994 Sernadas, J. Ramos
  • 1994

Evolving Algebras : A Tutorial Introduction

  • M. Clarke, R. Kruse, S. Moral, Y. Gurevich
  • EATCS Bulletin
  • 1991

OBLOG | Object-Oriented Logic: An Informal Introduction

  • J. veia
  • 1991

Similar Papers

Loading similar papers…