Przegląd Elektrotechniczny
tttt/div>

Oldest magazine of Polish electrician. It appears since 1919.

strona w języku polskim english page



No/VOL: 09/2010 Page no. 226

Authors: Zbigniew Huzar , Anita Walkowiak :

Title: Specyfikacja systemów czasu rzeczywistego z wykorzystaniem diagramów sekwencji

Abstract: 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.

Key words: diagram sekwencji UML, systemy czasu rzeczywistego, poprawność, własności specyfikacji.

wstecz