Identyfikatory
Warianty tytułu
Coloured Petri nets in UML object concept modelling
Języki publikacji
Abstrakty
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.
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
Wydawca
Rocznik
Tom
Strony
287--295
Opis fizyczny
Bibliogr. 5 poz., rys.
Twórcy
autor
- 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)
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-AGH1-0012-0103