Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne

1 2010

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: System FXU

Sortuj według:

Ogranicz wyniki do:

Tracing of state machine execution in model-driven development framework

Derezińska A., Szczykulski M.

Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne

2010

T. 18

199-204

Framework for eXecutable UML (FXU) supports a model-driven approach for creation of reliable applications in C#. Basing on UML classes and their state machines, a source code is generated and executed using a run-time library. All modeling concepts of UML behavioral state machines can be used in the FXU. Tracing of program execution in terms of elements of origin state machines assists program comprehension and verification. This paper presents a new component of the framework for observing traces of program execution. The state machine tracing improved model-driven engineering of an application in comparison to the direct analysis of textual logs generated during the program execution. We discuss system requirements, steps of tracing process and advantages and disadvantages of the solution. The approach was applied in the development of an application simulating a presence server for the status service of a social network model.

System FXU (ang. Framework for eXecutable UML) wspiera budowę aplikacji w oparciu o modele UML. Kod źródłowy w języku C# jest generowany na podstawie modelu klas oraz ich maszyn stanowych. Podczas wykonania aplikacja korzysta z biblioteki odwzorowującej zachowanie wszystkich elementów występujących w maszynach stanowych UML. Zrozumienie i weryfikacja działania programu są wspomagane przez śledzenie wykonania w kategoriach elementów pierwotnego modelu. W pracy prezentujemy rozszerzenie środowiska FXU pozwalające na obserwację śladów wykonania programów. Omawiane są wymagania systemu, proces śledzenia oraz zalety i wady rozwiązania. Podejście było wykorzystane przy tworzeniu aplikacji symulującej serwer obecności dla modelu predefiniowanych statusów obecności w usługach społecznościowych.