Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: Java class

Sortuj według:

Ogranicz wyniki do:

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

Wojciechowski J.

Mikroelektronika i Informatyka : prace naukowe

2007

Z. nr 7

167-170

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.

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.