Testing and Simulating Production Control Systems Using the Fujaba Environment

  • Authors:
  • Jörg Niere;Albert Zündorf

  • Affiliations:
  • -;-

  • Venue:
  • AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
  • Year:
  • 1999

Quantified Score

Hi-index 0.01

Visualization

Abstract

The Fujaba environment provides means for the specification of software systems in UML notation and it has the opportunity to simultate the specified applications beforehand. Therefore, Fujaba provides editors for UML class diagrams for the static aspects of a software system and it provides Story Diagrams for the specification of dynamic behaviour. Story Diagrams combine UML activity diagrams for control flows and an UML collaboration diagram like notation for graph rewrite rules. Statecharts can be used for the specification of reactive objects. In Fujaba, each diagram has a precise formal semantics and this enables us to generate Java code from the specification. The generated Java code is executed in a Java Virtual Machine (JVM) and can be visualized by an integrated object browser. This paper shows in a tool demonstration how to use the Fujaba environment in order to simulate a specification of a shuttle based production control system.