PL
 |
EN
Ograniczanie wyników
Czasopisma help
  1. 1 Przegląd Elektrotechniczny
Autorzy help
  1. 1 Huzar Z.
  2. 1 Walkowiak A.
Lata help
  1. 1 2010
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 1

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

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Specification of real-time systems using UML sequence diagrams
Huzar Z., Walkowiak A.
Przegląd Elektrotechniczny
|
2010
|
R. 86, nr 9
226-229
EN
The paper proposes an approach to a definition of a semantic of UML sequence diagram extended to real-time system specification set using a transformation of the sequence diagrams into a graph of possible scenarios of system-environment interactions. The described transformation allows the analysis of specification properties: consistency, definiteness and completeness, and can be used to check if the system’s behavior satisfies liveness and safety properties
PL
W artykule przedstawiono propozycję definicji semantyki zbioru diagramów sekwencji języka UML rozszerzonych dla specyfikacji systemów czasu rzeczywistego. Zapisem przyjętej interpretacji zbioru diagramów jest graf możliwych scenariuszy interakcji systemu z otoczeniem, do którego zbiór jest transformowany. Zdefiniowana transformacja umożliwia weryfikację poprawności (niesprzeczności, określoności, kompletności) oraz badanie własności (bezpieczeństwa, żywotności) opracowywanych specyfikacji.
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ć.