Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Application of time concepts from the MARTE profile in a Model- Driven Development case study

Derezińska A., Szczykulski M.

Przegląd Elektrotechniczny

2015

R. 91, nr 11

178-181

Behavior of a complex system can be designed using state machines of the system classes. Using a Model-Driven Development approach models are transformed into an executable code. Structural and behavioral models can be extended with time concepts from the Modeling and Analysis of Real-Time and Embedded Systems (MARTE) profile. The refined models are used in transformation. We presented a case study of a home alarm system that illustrates an application development methodology. It was used in verification of the approach implemented in Framework for eXecutable UML (FXU). This MDD tool, used for development of an C# application from UML classes and state machines, was extended with the support of MARTE time concepts.

Złożone systemy są modelowane z użyciem maszyn stanowych. Transformacje modeli służą do budowy wykonywalnych aplikacji. Modele mogą być uszczegóławiane z wykorzystaniem pojęć czasowych zdefiniowanych w profilu MARTE. W pracy przedstawiono projekt systemu alarmowego ilustrującego modelowanie pojęć czasowych. Transformacja i realizacja aplikacji systemu była wykonana przy pomocy FXU - narzędzia do automatycznej generacji kodu z klas i maszyn stanowych, wspierającego transformacje modeli ze specyfikacją czasu z profilu MARTE.

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.