Parallel allocation of the distributed software using node label controlled graph grammars

Abstract

Centralization of a graph's data is useful while we consider properties of some system specification but it seems to be not acceptable in the case of the support an efficient, high reliably system with a dynamic software allocation. In the paper, we introduce the aedNLC graph grammar, that has both polynomial computational complexity and enough descriptive power to coordinate parallel modification of a few local graphs (representing parts of the system), in such a way that the global consistency of the distributed system specification can be maintained. Rozważając własności specyfikacji systemów, utrzymujemy grafy w postaci scentralizowanej, ale dla efektywnego wspierania dynamicznej alokacji oprogramowania w środowisku rozproszonym, struktury grafowe powinny być również rozproszone. W artykule przedstawiamy gramatykę aedNLC, która zachowując wielomianową złożoność obliczeniową parsingu, ma wystarczającą moc opisową dla koordynacji równoległych modyfikacji lokalnych grafów (reprezentujących podsystemy) w taki sposób, że globalna spójność specyfikacji systemu rozproszonego będzie zachowana.