Assurance of System Consistency During Independent Creation of UML Diagrams

Authors:
Lukasz Fryz;Leszek Kotulski
Affiliations:
AGH University of Science and Technology, Poland;AGH University of Science and Technology, Poland
Venue:
DEPCOS-RELCOMEX '07 Proceedings of the 2nd International Conference on Dependability of Computer Systems
Year:
2007

Citing 0
Cited 3

GRADIS --- Multiagent Environment Supporting Distributed Graph Transformations

ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
Using Graph Transformations in Distributed Adaptive Design System

ICCVG 2008 Proceedings of the International Conference on Computer Vision and Graphics: Revised Papers
A systematic review of UML model consistency management

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.