trình tự UML
Một biểu đồ trình tự bao gồm hai thành phần chính, đó là các đối tượng và các
thông điệp trao đổi giữa các đối tượng. Các đối tượng ở đây, chính là tên của các lớp trong mã nguồn của chương trình. Các thông điệp trao đổi giữa các đối tượng chính là
các phương thức của các lớp trong mã nguồn mà ta cần kiểm chứng. Khi mô tả giao thức giữa các lớp bằng biểu đồ trình tự UML, ta sẽ mô tảnhư sau:
- Tên của lớp trong mã nguồn – cũng chính là tên của đối tượng (UMLObject) trong biểu đồ. Và đối với lớp, ta chỉ cần mô tả tên của lớp
đó.
- Các thông điệp trao đổi giữa các đối tượng được (UMLStimulus) mô tảđầy
đủ các thành phần giống như mô tả phương thức của các lớp trong mã nguồn. Cũng gồm có tên phương thức, các tham số truyền vào, kiểu giá trị
trả về và thông điệp là phương thức của lớp nào thì nó đư ợc bắt đầu đi ra
từ lớp đó.
o Tên phương thức mô tả thông qua thuộc tính name.
o Các tham số truyền vào được mô tả thông qua thuộc tính Arguments. Các tham số truyền vào, được mô tả bao gồm cả kiểu dữ liệu và tên của tham số. Tên tham số giống như tên của tham số truyền vào trong lời gọi phương thức ở mã nguồn chính của chương trình.
o Kiểu giá trị trả vềđược mô tả bằng thuộc tính Return. Cụ thể các thành phần này được mô tả chi tiết như hình dưới đây:
43
Hình 4.3: StarUML mô tả các thành phần trong biểu đồ trình tự
Hoàn toàn tương tự cách xây dựng FSM từ biểu đồ trạng thái, FSM mô tả biểu đồ
trình tự UML cũng được xây dựng hoàn toàn tương tự như vậy. Cũng gồm hai bước nhỏ: Thứ nhất là xây dựng cấu trúc dữ liệu mô tả các thành phần của biểu đồ, cách mô tả biểu đồ bằng các thành phần này. Thứ hai là xây dựng FSM từ các thành phần dữ
liệu đã được cấu trúc hóa thành các đối tượng được định nghĩa ởbước thứ nhất.
Biểu đồ trình tự UML gồm hai thành phần chính: Các đối tượng (Object) và các
thông điệp trao đổi giữa các đối tượng (Stimulus). Tôi cũng xây dựng cấu trúc dữ liệu mô tả hai thành phần này như sau: