Specification of real-time systems using UML sequence diagrams

• Autorzy: Huzar Z. , Walkowiak A.

Warianty tytułu

PL

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

• Języki publikacji: EN

Abstrakty

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.

Słowa kluczowe

EN

UML sequence diagram; real-time system

PL

diagram sekwencji UML; systemy czasu rzeczywistego; poprawność; własności specyfikacji

• Wydawca: Wydawnictwo SIGMA-NOT
• Czasopismo: Przegląd Elektrotechniczny
• Rocznik: 2010
• Tom: R. 86, nr 9
• Strony: 226--229
• Opis fizyczny: Bibliogr. 9 poz., rys.

Twórcy

autor

Huzar Z.

autor

Walkowiak A.

• Wrocław University of Technology, Institute of Informatics; Wybrzeże Wyspiańskiego 27, 50-370 Wrocław,

Bibliografia

• [1] Walkowiak, A.:”Specyfikacja i prototypowanie systemów czasu rzeczywistego”, PhD thesis, Wrocław University of Technology (2010).
• [2] Huzar, Z., Walkowiak, A.: Rozszerzenie diagramów sekwencji języka UML 2.0 dla specyfikacji systemów czasu rzeczywistego. Systemy czasu rzeczywistego, Metody i zastosowania, WKŁ (2007), 39–52.
• [3] Walkowiak, A.: Transformacja diagramów sekwencji języka UML w wyrażenia behawioralne języka LOTOS. Systemy informatyczne z ograniczeniami czasowymi, WKŁ (2006), 41–56.
• [4] Harel, D., Marelly, R.: Come, Let’s Play: A Scenario-Based Approach to Programming, Springer (2003).
• [5] OMG Unified Modeling Language Specification, (2006).
• [6] Cleaveland, R., Sengupta,B.: Ph.D Thesis: Triggered Message Sequence Charts, (2006).
• [7] Nissanke, N.: Realtime systems, Prentice Hall (1997).
• [8] Störrle, H.: Assert, Negate and Refinement in UML Interactions.
• [9] Harel, D., Maoz, S.: Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams. Software and Systems Modeling, Springer (2008).