Assurance of System Consistency During Independent Creation of UML Diagrams

Assurance of System Consistency During Independent Creation of UML Diagrams

Graph transformations are a very intuitive formalism used in visualization, modelling of distributed systems or in support its allocation. The formal description the modelling process (both UML diagram and the trace of designer decisions) complicate its structure; we should be able support both para...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Fryz, L., Kotulski, L.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Hardware
Object oriented modeling
Production systems
Risk management
Robustness
Standards development
System analysis and design
Timing
Unified modeling language
Visualization
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Graph transformations are a very intuitive formalism used in visualization, modelling of distributed systems or in support its allocation. The formal description the modelling process (both UML diagram and the trace of designer decisions) complicate its structure; we should be able support both parallel activity of local graph transformation systems and their cooperation for the assurance of the systems consistency. In the paper, the concept of conjugated graphs is introduced for this purpose. Next, the implementation of this concept with the help of aedNLC graph grammar is presented.
DOI:10.1109/DEPCOS-RELCOMEX.2007.11