Derivation Control Environment as a Tool for an Efficient Distributed Graph Transformations Coordination

摘要

In the paper we propose a graph model for the description and online maintenance of the evolving systems. It provides Derivation Control Environment structure which enables us to control an online derivation process and follows the actions of the system actors. The important feature of proposed solution is its computational complexity, that is acceptable for the online applications and scalability based on an idea of parallel graph transformations. In the paper we introduce the formal semantics of a parallel graph transformation, over the distributed graphs, with ability to online reaction.