No/VOL: 01b/2012 Page no. 182
Authors: Farzaneh Mahdian , Vahid Rafe , Reza Rafeh :
Title: Struktura automatycznego wykrywania zakleszczeń w oprogramowaniu charakteryzuj acym się zgodnością
Abstract: W oprogramowaniu charakteryzującym się zgodnością różne części mogą pracować niezależnie lub wspólnie. Największym problemem w tego typu programach jest stan zakleszczenia (deadlock). Dlatego ważne jest stworzenie mechanizmu automatycznego wykrywania takiej sytuacji. W artykule opisano metodę Bogor, w tym także BIR – język wejściowy do Bogor.
Key words: Bogor, zakleszczenia programu, zgodnośc oprogramnowania.