PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 3

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  time model
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote 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
EN
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.
PL
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.
2
Inżynieria temporalnych wymagań w świetle paradygmatu DW 2.0
Magiera E.
Studia Informatica
|
2012
|
Vol. 33, nr 2A
157-168
PL
W celu pełnego opisu temporalnych zależności w procesie gromadzenie wiedzy dla hurtowni danych został zaproponowany model czasu. W pierwszej części omówiono zagadnienia związane z czasem w kontekście hurtowni danych, następnie zaprezentowano założenia paradygmatu DW 2.0. Na podstawie liniowej dyskretnej temporalnej logiki został utworzony model czasu, którego wybrane elementy opisano.
EN
Issues concerning gathering, representation and modeling temporal relations are discussed. The temporal aspects are taken with accordance to the data warehousing systems and paradigm DW 2.0. The assumptions of the temporal linear logic and the selected elements of time model are described.
3
Content available remote Time in State Machines
Graf S., Prinz A.
Fundamenta Informaticae
|
2007
|
Vol. 77, nr 1,2
143-174
EN
State machines are a very general means to express computations in an implementation-independent way. There are ways to extend the abstract state machine (ASM) framework with distribution aspects, but there is no unifying framework for handling time so far. We propose event structures extended with time as a natural framework for representing state machines and their true concurrency model at a semantic level and for discussing associated time models. Constraints on these timed event structures and their traces (runs) are then used for characterising different frameworks for timed computations. This characterisation of timed frameworks is independent of ASM and allows to compare time models of different modelling formalisms. Finally, we propose some specific extensions of ASM for the expressions of time constraints in accordance with the event-based semantic framework and show the applicability of the obtained framework on an example with a standard time model and a set of consistency properties for timed computations.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.