DIEGO, Another Step Towards a Module Concept for Graph Transformation Systems

✍ Scribed by Gabriele Taentzer; Andy Schürr

• Publisher: Elsevier Science
• Year: 1995
• Tongue: English
• Weight: 471 KB
• Volume: 2
• Category: Article
• ISSN: 1571-0661
• DOI: 10.1016/s1571-0661(05)80206-3

✦ Synopsis

DIEGO module systems o er means for DIstributed programming with Encapsulated Graph Objects. Their operational semantics de nition follows the lines of distributed graph transformation, thereby permitting the speci cation of distributed systems with concurrently interacting objects. Adapting previously made proposals for a graph grammar module concept and for graph models with information hiding to this setting, the new approach supports structuring of large speci cations into small reusable modules with well-de ned interfaces between them. Use relations between export interfaces and import interfaces are our means to construct system architectures and to allow reuse of modules in di erent e n vironments.