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.