Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Transforming Specification Architectures by GenGED

Roswitha BardohlContact Information, Claudia ErmelContact Information and Julia PadbergContact Information

(8)  Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Germany
Abstract
This contribution concerns transformations of specification architectures which are diagrams of sub-specifications. The graph of a diagram presents the architecture: nodes correspond to sub-specifications and edges to specification morphisms. We do not fix a specific visual specification technique, so this approach is in the tradition of high-level replacement systems.
The main emphasis of this contribution is the specification and transformation of specification architectures using GenGED. In GenGED, a visual language (VL) is defined by a visual alphabet and a visual syntax grammar. We define a VL for specification architectures by composing VLs for graphs and Petri nets enhanced by Petri net morphisms. From this VL definition a syntax-directed editor is generated supporting the editing of consistent specification architectures where local and global changes can easily be defined as transformation rules in our VL and visualized in the GenGED environment.
This work is part of the joint research project “DFG-Forschergruppe Petrinetz-Technologie”, supported by the German Research Council (DFG), and the GRAPHIT project, supported by DLR and CNPq.

Contact Information Roswitha Bardohl
Email: rosi@cs.tu-berlin.de

Contact Information Claudia Ermel
Email: lieske@cs.tu-berlin.de

Contact Information Julia Padberg
Email: padberg@cs.tu-berlin.de
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.107 • Server: MPWEB25
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)