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

• Autorzy: Szmuc W.

Warianty tytułu

EN

Coloured Petri nets in UML object concept modelling

• Języki publikacji: PL

Abstrakty

PL

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.

Słowa kluczowe

PL

sieć Petriego; UML; diagram klas

EN

Petri net; UML; class diagram

• Wydawca: Wydawnictwa AGH
• Czasopismo: Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
• Rocznik: 2007
• Tom: T. 11, z. 1-2
• Strony: 287--295
• Opis fizyczny: Bibliogr. 5 poz., rys.

Twórcy

autor

Szmuc W.

• Katedra Telekomunikacji, Akademia Górniczo-Hutnicza w Krakowie

Bibliografia

• [1] Rumbaugh J., Jacobsen I., Booch G.: The Unified Modeling Language Reference Manual. Second Edition, Addison-Welsley, tłum. Na jęz. polski: UML przewodnik użytkownika, WNT 2001
• [2] Dokumentacja środowiska Telelogic Tau 2.4
• [3] Standard UML 2.0, http.7/www.uml.org/#UML2.0 (http://www.omg.org/docs/formal/07-02-05.pdf)
• [4] Jensen K.: Coloured Petri nets: Basic concepts, analysis methods and practical use. Springer 1996
• [5] Dokumentacja środowiska CPN Design 4.0, http://www.daimi.au.dk/designCPN/man/
• [6] Szmuc W.: Modelowanie wybranych diagramów języka UML 2.0 z zastosowaniem kolorowanych sieci Petriego. Kraków, AGH 2007 (rozprawa doktorska)