4.2. Tổng quan về biểu đồ Timing Diagram

trừu tượng được biểu diễn như các biểu đồ và ngôn ngữ tự nhiên, luật well-formedness nằm trong ngôn ngữ ràng buộc đối tượng OCL (Object Constraint Language). Luật được biểu diễn như biểu đồ sẽ dùng một tập các ký hiệu con của UML để xác định cách kết hợp giữa các phần tử.

UML được phát triển bởi Rational Rose và một số nhóm cộng tác, nó nhanh chóng trở thành một trong những ngôn ngữ chuẩn để xây dựng hệ thống phần mềm hướng đối tượng nhờ các lợi ích sau:

 UML cung cấp khả năng mở rộng và chuyên môn hoá để mở rộng những khái niệm cốt lõi.

 Độc lập với ngôn ngữ lập trình chuyên biệt, và các tiến trình phát triển.

 Cung cấp nền tảng về sự biểu biết ngôn ngữ mô hình hoá.

 Khuyến khích và hỗ trợ sự phát triển các công cụ hướng đối tượng.

 Hỗ trợ những khái niệm phát triển cấp độ cao như collaboration, framework, pattern and component.

 Tích hợp một cách tốt nhất với thực tiễn.

4.2. Tổng quan về biểu đồ Timing Diagram

Biểu đồ Timing Diaram là một biểu đồ được thêm vào cho UML 2.0, là một trong các dạng của mẫu biểu đồ tương tác. Nó được dùng để khám phá hành vi của một hoặc nhiều đối tượng trong suốt một khoảng thời gian được cung cấp định kì. Biểu đồ Timing Diagram thường xuyên được sử dụng trong việc thiết kế các hệ thống nhúng, chẳng hạn phần mềm điều khiển cho hệ thống tự thêm nhiên liệu trong xe ô tô, và đôi khi biểu đồ Timing Diagram được sử dụng để mô tả phân tích thiết kế cho các phần mềm thương mại. Nhìn chung, biểu đồ Timing Diagram tương tự như biểu đồ khi ta phân tích một mạch điện tử logic. Biểu đồ phân tích mạch điện tử ghi lại trình tự xuất hiện của các thành phần trên mạch điện tử. Kết quả đưa ra của việc phân tích logic sẽ hiển thị thời gian mà