Wykorzystanie sieci Petriego do modelowania transakcji rozproszonych

• Autorzy: Iwaniak M. , Khadzhynov W.

Warianty tytułu

EN

Usage of Petri nets for distributed transactions modeling

• Języki publikacji: PL

Abstrakty

PL

W artykule przedstawiono próbę wykorzystania zwyczajnej sieci Petriego do utworzenia i zbadania modelu protokołu 3PC (ang. three-phase commit), czyli protokołu trójfazowego zatwierdzania. Wprowadzone zostały podstawowe pojęcia dotyczące sieci Petriego. Wyjaśniono istotę transakcji w tradycyjnych i rozproszonych bazach danych oraz opisano działanie protokołu trójfazowego zatwierdzania. Przedstawiono sieć Petriego odwzorowującą działanie protokołu 3PC wraz z grafem osiągalnych rozwiązań oraz badaniem właściwości utworzonej sieci.

EN

In this work the attempt of using ordinary Petri Net to model and study Three-Phase Commit protocol (3PC) is presented. Brief overview of Petri Nets is introduced. The nature of typical and distributed transactions are explained. 3PC protocol actions are described. The Petri Net of 3PC protocol followed by reachability analysis and study of net properties is presented.

Słowa kluczowe

PL

sieć Petriego; transakcje rozproszone; protokół trójfazowego zatwierdzania; 3PC

EN

Petri net; distributed transactions; three-phase commit protocol; 3PC

• Wydawca: Wydawnictwo Politechniki Śląskiej
• Czasopismo: Studia Informatica
• Rocznik: 2012
• Tom: Vol. 33, nr 2A
• Strony: 255--270
• Opis fizyczny: Bibliogr. 7 poz.

Twórcy

autor

Iwaniak M.

autor

Khadzhynov W.

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

Bibliografia

• 1. Tamer Özsu M., Valduriez P.: Principles of Distributed Database Systems, III edition. Springer, 2011.
• 2. Banaszak Z., Majdzik P., Wójcik R.: Procesy współbieżne: modele efektywności funkcjonowania. Rozdział 2: Modele sieci Petriego. Politechnika Koszalińska, Koszalin2011,s.93-143.
• 3. 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.
• 4. Sarkar 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-21.
• 5. Pieczonka S.: System zarządzania produkcją oprogramowania - moduł definiowania procesów, [w:] Kozielski S., Małysiak B., Kasprowski P., Mrozek D. (red.): Bazy danych: rozwój metod i technologii. WKŁ, 2008.
• 6. Dec G., Jędrzejec B., Rząsa W.: Kolorowana sieć Petriego jako model systemu podejmowania decyzji kredytowej. Studia Informatica, Vol. 31 No. 2A(89), Wydawnictwo Politechniki Śląskiej, Gliwice 2010.
• 7. Mroczkiewicz P.: Model długotrwałych transakcji rozproszonych z uwzględnieniem obsługi zdarzeń, [w:] Kozielski S., Małysiak B., Kasprowski P., Mrozek D. (red.): Bazy danych: struktury, algorytmy, metody. WKŁ, 2006.