Odwzorowanie działania protokołu dwufazowego zatwierdzania z wieloma uczestnikami za pomocą kolorowanej sieci Petriego

• Autorzy: Iwaniak M. , Khadzyhonov W.

Warianty tytułu

EN

Reproduction of two-phase commit protocol with multiple participants with the usage of colored Petri net

• Języki publikacji: PL

Abstrakty

PL

W artykule przedstawiono wykorzystanie kolorowanej sieci Petriego do przedstawienia modelu i symulacji działania protokołu 2PC z wieloma uczestnikami (ang. Two-phase commit), czyli protokołu dwufazowego zatwierdzania. Wprowadzono podstawowe pojęcia dotyczące kolorowanych sieci Petriego. Opisano działanie protokołu dwufazowego zatwierdzania. Zaprezentowano model odwzorowujący działanie protokołu 2PC dla więcej niż jednego uczestnika. Za pomocą odpowiedniego doboru znakowań początkowych przeprowadzono analizę osiągalnych rozwiązań dla różnych sytuacji, które mogą zaistnieć w trakcie realizacji transakcji rozproszonej z wykorzystaniem protokołu 2PC.

EN

In this work the usage of Colored Petri Net for modeling and simulation of Two Phase Commit protocol with multiple cohorts is presented. Brief overview of Colored Petri Nets is introduced. Two-Phase Commit protocol is briefly described than introduced as Colored Petri Net model. By initial marking adaptation a few scenarios for 2PC protocol are presented with the use of the reachability analysis.

Słowa kluczowe

PL

kolorowana sieć Petriego; transakcje rozproszone; protokół dwufazowego zatwierdzania; 2PC

EN

colored Petri net; distributed transactions; two-phase commit protocol; 2PC

• Wydawca: Wydawnictwo Politechniki Śląskiej
• Czasopismo: Studia Informatica
• Rocznik: 2013
• Tom: Vol. 34, nr 2A
• Strony: 57--69
• Opis fizyczny: Bibliogr. 10 poz.

Twórcy

autor

Iwaniak M.

• Politechnika Koszalińska, Wydział Elektroniki i Informatyki, ul. Śniadeckich 2, 75-453 Koszalin, Polska

autor

Khadzyhonov W.

• Politechnika Koszalińska, Wydział Elektroniki i Informatyki, ul. Śniadeckich 2, 75-453 Koszalin, Polska

Bibliografia

• 1. Iwaniak M., Khadzhynov W.: Wykorzystanie sieci Petriego do modelowania transakcji rozproszonych. Studia Informatica, Vol. 33, No. 2A (105), Gliwice 2012.
• 2. Iwaniak M., Khadzhynov W.: Zastosowanie kolorowej sieci Petriego do modelowania transakcji rozproszonej. Modele inżynierii teleinformatyki, tom 7, Koszalin 2012.
• 3. Özsu T. M., Valduriez P.: Principles of Distributed Database Systems, III edition. Springer, 2011.
• 4. Banaszak Z., Majdzik P., Wójcik R.: Procesy współbieżne: modele efektywności funkcjonowania. Wydawnictwo Politechniki Koszalińskiej, Koszalin 2011.
• 5. Sarkar B. B., Chaki N.: Transaction Management for Distributed Database using Petri Nets. International Journal of Computer Information Systems and Industrial Management Applications (IJCISIM), Vol. 2, 2010, s. 69÷76.
• 6. Sarkar B. B., Chaki N.: Virtual Data Warehouse Modeling Using Petri Nets for Distributed Decision Making. Journal of Convergence Information Technology, Vol. 5, No. 5, 2010, s. 8÷12.
• 7. Pieczonka S.: System zarządzania produkcją oprogramowania – moduł definiowania procesów, [w:] Kozielski S., Małysiak B., Kasprowski P. (red.): Bazy Danych: Rozwój metod i technologii. WKŁ, Warszawa 2008.
• 8. Dec G., Jędrzejec B., Rząsa W.: Kolorowana sieć Petriego jako model systemu podejmowania decyzji kredytowej. Studia Informatica, Vol. 31, No. 2A (89), Gliwice 2010.
• 9. Aly S., Mustafa K.: Protocol Verification and Analysis Using Colored Petri Nets. Technical Report, DePaul University, 2003.
• 10. Szpyrka M.: Sieci Petriego w modelowaniu i analizie systemów współbieżnych. WNT, Warszawa 2008.