Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Wojciechowski J.

2 2007

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: modele klas w Java

Sortuj według:

Ogranicz wyniki do:

From formal methods to implementation based on Petri Nets model of concurrent systems

Wojciechowski J.

Pomiary Automatyka Kontrola

2007

R. 53, nr 5

132-134

Purpose of this work is to suggest a path from formal methods to implementation in designing concurrent system, thus helping further stages of systems development to go on. Author focuses on mapping of nonhierarchical Coloured Petri Nets model to class model of the system in Java and C language. Author extends among others formal model with information which would imply generation of class models from formal model, conforming to Java specification and C language, making continuous integration possible. The whole cycle would be presented with changed Petri Nets model of simple concurrent system.

Celem pracy jest zaproponowanie ścieżki przejścia od modelu formalnego systemu opisanego siecią Petriego do implementacji. Autor skupia się na rzutowaniu niehierarchicznych modeli sieci do modelu klas odpowiadającemu obiektowemu paradygmatowi programowania języka Java i proceduralnemu dla języka C. Autor rozszerza model formalny o informację umożliwiającą dokonanie konwersji do modelu klas i procedur. Cały cykl będzie zaprezentowany na prostym systemie współbieżnym.

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.