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.
EN
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.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.