Numer: 09/2010 Str. 226
Autorzy: Zbigniew Huzar , Anita Walkowiak :
Tytuł: Specyfikacja systemów czasu rzeczywistego z wykorzystaniem diagramów sekwencji
Streszczenie: 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.
Słowa kluczowe: diagram sekwencji UML, systemy czasu rzeczywistego, poprawność, własności specyfikacji.