Biểu đồ thời gian

Một phần của tài liệu Kiểm chứng các thành phần Java tương tranh (Trang 33)

Biểu đồ thời gian (Timing Diagram-TD) là một dạng biểu đồ mới được bổ sung vào UML 2.0 để mô hình hành vi của các đối tượng cùng với các ràng buộc thời gian của nó. Thông thường, TD được sử dụng để đặc tả ràng buộc thời gian trong

các hệ thống thời gian thực, hệ thống nhúng, tuy nhiên nó cũng có thể dùng để mô hình các hệ thống nghiệp vụ khác.

Biểu đồ thời gian biểu diễn sự thay đổi trạng thái hoặc giá trị của các sự kiện theo thời gian, nó cũng biểu diễn sự tương tác giữa các sự kiện thời gian và ràng buộc thời gian của các sự kiện này. Có ba dạng biểu đồ thời gian là biểu đồ giá trị (value lifeline- Hình 2.8), biểu đồ trạng thái (state lifeline-Hình 2.9) và dạng kết hợp giữa biểu đồ giá trị và biểu đồ trạng thái (Hình 2.10). Trong đó :

1. Biểu đồ trạng thái biểu diễn sự thay đổi trạng thái của các sự kiện theo thời gian, trục x biểu diễn các đơn vị thời gian, trục y biểu diễn danh sách các trạng thái,

2. Biểu đồ giá trị biểu diễn sự thay đổi giá trị của các sự kiện theo thời gian, trục x biểu diễn các đơn vị thời gian, giá trị của các sự kiện được hiển thị giữa cặp đường thằng song song nằm ngang. Sự thay đổi của cặp đường thẳng này biểu diễn sự thay đổi giá trị của các sự kiện,

3. Biểu đồ kết hợp giữa biểu đồ trạng thái và biểu đồ giá trị, trong đó trục x biểu diễn các đơn vị thời gian, các thông điệp có thể truyền từ biểu đồ trạng thái sang biểu đồ giá trị và ngược lại từ biểu đồ giá trị sang biểu đồ trạng thái. Mỗi phép chuyển trạng thái hoặc sự kiện có thể có một sự kiện được định nghĩa, một ràng buộc thời gian để sự kiện phải xảy ra và một đoạn thời gian xác định cho mỗi sự kiện.

Hình 2.9 – Dạng giá trị của biểu đồ thời gian.

Hình 2.10 – Biểu đồ thời gian dạng kết hợp.

Một phần của tài liệu Kiểm chứng các thành phần Java tương tranh (Trang 33)

Tải bản đầy đủ (PDF)

(143 trang)