Stale powiększający się udział systemów informatycznych we współczesnym świecie powoduje przejmowanie kolejnych obszarów zastosowań. Wiąże się to również z współpracą wielu aplikacji stworzonych według odmiennych założeń. W efekcie budowanie nowego oprogramowania powinno uwzględniać zarówno jego poprawność z punktu widzenia zamawiającego lecz również możliwość wystąpienia błędów spowodowanych nieprawidłowym działaniem innych aplikacji. W opisywanej pracy został przedstawiony algorytm translacji diagramów UML na hierarchiczne kolorowane sieci Petriego. Jego wykorzystanie umożliwia zbudowanie modelu formalnego, dla którego możliwe jest przeprowadzenie analizy nie tylko w formie symulacji. Istnieje zatem możliwość analizy oraz identyfikacji rozwiązań, które mogą spowodować niepożądane działanie.
Przedstawiony algorytm translacji umożliwia zbudowanie modelu formalnego osobno dla każdego 3. etapów projektowania oprogramowania z wykorzystaniem UML. Zaczynając od diagramu sekwencji oraz ogólnego diagramu interakcji przez diagramy stanów oraz przepływu, kończąc na diagramach klas architektury (obiektów) oraz stanów
Steadily growing share of software in the modern world increases application areas. It also involves a cooperation of many systems developed with different requirements. As a result, construction of a new software should take into account both its correctness from the costumer perspective, but also a possibility of errors caused by malfunction of the other applications.
The work describes UML diagrams translation algorithm into hierarchical colored Petri nets. Its application allows building a formal model for which it is possible to apply not only simulation analysis but also mathematical proof of features. There is therefore a possibility to analyze and identify constructions that may cause undesired behavior. The algorithm makes it possible to build a translation model for each out of three stages of software design using UML. Starting from sequence diagrams and interactions overview diagrams through state and flow diagrams, ending at class, architecture (object) and state