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

• Autorzy: Wojciechowski, J.
• 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.

Słowa kluczowe

PL

Kolorowane Sieci Petrigo; metody formalne; architektura zorientowana na model; rzutowanie; modele klas w Java

EN

coloured Petri nets; models; model driven architecture; formal methods; mapping; Java class

• Czasopismo: Mikroelektronika i Informatyka : prace naukowe
• Rocznik: 2007
• Tom: Z. nr 7
• Strony: 167-170
• Opis fizyczny: Bibliogr. 8 poz., tab., wykr.

Twórcy

autor

Wojciechowski, J.

• 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.