A web-based animator for object specifications in a persistent environment

  • Mark Richters
  • Martin Gogolla
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1214)


We present an animation tool for the formal specification language TROLL light. The system allows the manipulation and querying of objects and navigation through object hierarchies. A Web-based user interface simplifies the usage of the system.


  1. 1.
    M.P. Atkinson and R. Morrison. Orthogonally persistent object systems. VLDB Journal, 4(3):319–401, 1995.CrossRefGoogle Scholar
  2. 2.
    M. Gogolla, S. Conrad, G. Denker, R. Herzig, N. Vlachantonis, and H.-D. Enrich. TROLL light — The Language and Its Development Environment. In M. Broy and S. Jähnichen, editors, KORSO — Methods, Languages, and Tools for the Construction of Correct Software (KORSO'95), volume 1009 of Lecture Notes in Computer Science, pages 204–220. Springer, Berlin, 1995.Google Scholar
  3. 3.
    R. Herzig and M. Gogolla. An Animator for the Object Specification Language TROLL light. In Vangalur S. Alagar and Rokia Missaoui, editors, Object-Oriented Technology for Database and Software Systems, Proc. Colloquium on Object Orientation in Databases and Software Engineering (COODBSE'94), pages 156–170. World Scientific, River Edge (NJ), 1995.Google Scholar
  4. 4.
    F. Matthes. Persistente Objektsysteme: Integrierte Datenbankentwicklung und Program-merstellung. Springer-Verlag, 1993.Google Scholar
  5. 5.
    F. Matthes, G. Schröder, and J.W. Schmidt. Tycoon: A scalable and interoperable persistent system environment. In M.P. Atkinson, editor, Fully Integrated Data Environments. Springer-Verlag (to appear), 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Mark Richters
    • 1
  • Martin Gogolla
    • 1
  1. 1.FB 3 Mathematik und Informatik Arbeitsgruppe DatenbanksystemeUniversität BremenBremen

Personalised recommendations