W pierwszej części monografii przedstawiono podstawowe typy transformacji mające znaczenie praktyczne. Formalne podstawy rozwiązania wspomagającego automatyczną synchronizację równoległych transformacji grafowych w środowisku rozproszonym wprowadzono w drugiej części monografii. Omówiono koncepcję grafów komplementarnych i wywodzącą się z niej koncepcję grafów ciętych oraz synchronizację bazującą na sprzężeniu gramatyk grafowych. Przeanalizowano też problem optymalnego podziału grafu scentralizowanego na rozproszone podgrafy komplementarne lub cięte. W trzeciej części monografii przedstawiono przykłady praktycznych zastosowań omawianych transformacji rozproszonych (wspomaganie projektowania wnętrz, projektowanie inteligentnych systemów oświetleniowych, integracja systemów projektowania zewnętrznego z projektowaniem wewnętrznym).
- Spis treści
-
Streszczenie 9
Summary 10
Wykaz ważniejszych symboli 11
Wstęp 13
1. Scentralizowane transformacje grafowe 17
1.1. Podejście algorytmiczne 19
1.1.1. Gramatyki typu NLC 21
1.1.2. Przykład zastosowania gramatyk typu NLC do specyfikacji systemu rozproszonego 23
1.2. Algebraiczne transformacje grafowe 29
1.2.1. Transformacje oparte na konstrukcji double pushout 32
1.2.2. Transformacje oparte na konstrukcji single pushout 38
1.3. Reprezentacja hipergrafowa 42
1.4. Synchronizacja opisu grafowego ze zmianami opisywanego środowiska 48
2. Rozproszone transformacje grafowe – teoria 54
2.1. Koncepcja komplementarnych i częściowo zreplikowanych grafów 56
2.1.1. Modyfikacja granic pomiędzy grafami komplementarnymi 60
2.1.2. Środowisko wieloagentowe wspierające koncepcję grafów komplementarnych 62
2.1.3. Rozproszone transformacje grafowe 68
2.2. Efektywność inicjalnego podziału grafu na podgrafy komplementarne według zadanego kryterium 72
2.2.1. Algorytm stochastycznej generacji 73
2.2.2. Algorytmy podziału 78
2.3. Grafy cięte 81
2.3.1. Procedura inkorporacji w reprezentacji ciętej 85
2.3.2. Testy wydajności 87
2.3.3. Podsumowanie 89
2.4. Sprzężenie gramatyk 90
2.4.1. Rygorystycznie sprzężone gramatyki grafowe – podstawy formalne 91
2.4.2. Transakcyjnie sprzężone gramatyki grafowe 99
3. Zastosowanie rozproszonych gramatyk grafowych 100
3.1. Wspomaganie projektowania 100
3.2. Projektowanie zewnętrzne i współpraca systemów projektowania zewnętrznego i wewnętrznego 111
3.3. Inteligentne systemy oświetleniowe 121
4. Podsumowanie 134
Bibliografia 137