A Web-based Animator for Object Specifications in a Persistent Environment

. 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 Introduction Formal approaches are important for the development of correct and reliable software systems. But, formal methods often are difficult to understand and use for end users. In the following, we present an animation tool for the object-oriented specification language TROLL light. The animation system allows the validation of conceptual models while ease of use is guaranteed by a Web-based user interface. 2 Object Specification with TROLL light The language TROLL light is employed for describing static and dynamic properties of objects. We achieve this by offering language features to specify object structure as well as object behavior [2]. Following the object paradigm has the advantage that all relevant information concerning one..