Visual Modeling of Distributed Object Systems by Graph Transformation
Gabriele Taentzer · Electronic Notes in Theoretical Computer Science · 2002
A visual modeling technique for distributed object systems based on graph transformation is presented. It includes the graphical description of the network and its dynamic reconfiguration as well as the component interfaces and local object systems and their behavior. Typical issues in distributed systems like remote object interaction, object migration and replication, communication and synchronization are expressible in this technique. The notation is close to UML. It extends the UML notation where needed. Using graph transformation as underlying formal framework, distributed behavior is designed in a way that consistency of the network, as well as of all object and data structures involved, is ensured.