Modelowanie konstrukcji obiektowych języka UML z zastosowaniem kolorowanych sieci Petriego

Abstract

The paper describes a use of coloured Petri nets in UML object concept modelling. The proposed solution provides a construction of net representing structural view of system. Dynamic entity creation is also supported. Coloured, hierarchical Petri net is an outcome of the algorithm. Size of the net is constant and independent with regard to object creation/destruction. This benefits in applicability of existing tools for building and systematic properties analysis of created model. Artykuł przedstawia modelowanie konstrukcji obiektowych UML z zastosowaniem sieci Petriego. Zaproponowane rozwiązania umożliwiają wytworzenie sieci modelującej strukturalną perspektywę, jak również opisującej dynamiczne tworzenie obiektów. W wyniku zastosowania opracowanego algorytmu powstaje kolorowana, hierarchiczna sieć Petriego, której rozmiar nie zmienia się w miarę tworzenia obiektów. Pozwala to na wykorzystanie istniejących narzędzi do konstruowania oraz systematycznej analizy właściwości tworzonego modelu.