Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2007 | Z. nr 7 | 167-170
Tytuł artykułu

Mapping of petri net formal model of concurrent system to class model with aspect of polymorphism in object oriented paradigm

Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
Models are developed in meny areas of engineering as means of understending the requirements for a system and assessing the chances of a design. In sofware development process, models range from the graphical representations of data i.e. entity-relationship diagram and functionality i.e. UML to the formal mathematical representation of functional and temporal behavior using Petri nets. Aspect of extracting polymorphism dependency from model towards implementation in OO design is presented in this article.
PL
Celem pracy jest zaproponowanie ścieżki przejścia od modelu formalnego systemu opisanego siecią Petriego do implementacji na szczególnym skupieniu się na ekstrakcji cech obiektowych związanych z cechą polimorfizmu modelu. Autor skupia się na rzutowaniu nie hierarchicznych modeli sieci do modelu klas odpowiadającemu obiektowemu paradygmatowi programowania języka Java. Autor rozszerza model formalny o informację umożliwiajacą dokonanie konwersji do modelu klas uwzględniajac polimorfizm modelu. Cały cykl będzie reprezentowany na przypadkach użycia występujących w modelu.
Wydawca

Rocznik
Tom
Strony
167-170
Opis fizyczny
Bibliogr. 8 poz., tab., wykr.
Twórcy
  • Technical Universitet of Lodz. Department of Microelectronics and computer science
Bibliografia
  • [1] Meta Software Corporation, Design/CPN tutorial, Cambridge.
  • [2] Claude Girault, Rudiger Valk: Petri Nets for System Engeeniering, Springer 2002.
  • [3] J.Wojciechowski, From formal methods to implementation based on Petri Nets model of concurrent systems, Pomiary Automatyka, Kontrola 5/2007, Vol.53.
  • [4] Puczyński M., Węgrzyn M., Implementacja hierarchicznej sieci Petriego w C++, XIII Krajowe Sympozjum Koła Zastosowań Cybernetycznych, WAT, Warszawa, 13.11.1997.
  • [5] K. Jensen, L.M. Kristensen, L. Wells: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems, Department of Com puter Science University of Aarhus.
  • [6] H. Stürrle, Ludwig-Maximilians-Universität München,Phd dissertation, Models of Software Architecture. Design and Analysis with UML and Petri-nets.
  • [7] J. Fitzgerald, P.G. Larsen, P. Mukherjee, N. .Plat, M. Verhoef "Validated Design for object-oriented Systems" Springer Verlag London 2005.
  • [8] D. S. Frankel, Model Driven Architecture: Applying MDA to Enterprise Computing,, John Wiley & Sons, ISBN 0-471-31920-1.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.baztech-article-LOD6-0005-0063
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ć.