Obiektowe modelowanie systemów informatycznych



Pobieranie 8,01 Mb.
Strona89/113
Data23.10.2017
Rozmiar8,01 Mb.
1   ...   85   86   87   88   89   90   91   92   ...   113

Wierzchołkami w grafie szeregowalności są więc transakcje ze zbioru , a krawędź oznacza, że istnieją konfliktowe operacje i pochodzące z transakcji odpowiednio i , gdzie poprzedza .

Jeśli kolejność operacji konfliktowych w H jest taka, że określana przez nią relacja nie jest relacją częściowego porządku , to taka historia nie jest poprawna oraz graf szeregowalności jest acyklicznym (niepoprawnym).

Szeregowalność jest poprawna, kiedy rezultat operacji je historii jest taki samy jako rezultat operacji historii sekwencyjną, a graf szeregowalności jest grafem acyklicznym.



Zgodnie z powyższą definicją, sekwencję operacji jest wyznaczona na podstawie kolejności konfliktowych operacji występujących w historii przetwarzania H. Do badania poprawności historii przetwarzania wykorzystuje się analizę grafów szeregowalności.



1   ...   85   86   87   88   89   90   91   92   ...   113


©operacji.org 2017
wyślij wiadomość

    Strona główna