L. Kotulski (Poland)
Graph transformation, encapsulation, visual notation.
For modelling distributed systems we usually use two different formal methods for describing the static and dynamic aspects of the system. A visual notation, like UML, express the association among software compo nents and the static associations software components with the hardware ones. Graph transformation extends this description to such issues as an object migration and replication, remote interactions and dynamics network topologies. Unfortunately, in such a case the internal structure of software packages is lost. The paper is argued that knowledge of nested software packages can be sometimes useful and it is shown that the UML’s nested structure can be translated onto a graph structure which can be effectively generated and modified (as a graph transformation) under control of the aedNLC class of grammars with the polynomial parsing and membership problem complexity.
Important Links:
Go Back
