Trong chương này đã trình bày một mô hình thành phần thời gian thực cho hệ thống. Mô hình này là một phần mở rộng của một hệ thống không xác định thời gian đề xuất bởi He và Liu’s [31] để đưa thêm các khía cạnh thời gian và nguồn lực của các hệ thống dựa trên thành phần. Có sự khác biệt đáng kể giữa mô hình này và mô hình gốc. Thành phần trong chương này được định nghĩa để thực hiện một số thông tin kiến trúc để hỗ trợ các kế hoạch của việc sử dụng đồng thời các dịch vụ của mình cũng như ràng buộc thời gian và nguồn lực.
Mục đích chính của mô hình của chúng tôi là hỗ trợ các đặc tả và làm mịn của các thành phần và kiểm chứng các thuộc tính thời gian thực. Điều này đặc biệt hữu ích cho sự phát triển các hệ thống mà tiêu chí an toàn là quan trọng. Mô hình của chúng tôi cũng hỗ trợ phân tác giữa đặc tả hàm và đặc tả không phải hàm của các thành phần và có thể đơn giản hóa việc kiểm chứng các yêu cầu về hàm và trong nhiều trường hợp có thể đơn giản hóa việc xác minh yêu cầu không phải hàm tốt, đặc biệt khi thực yêu cầu thời gian là trong các hình thức ràng buộc thời hạn. Chúng tôi có thể cung cấp một phần mở rộng để đặc tả ngôn ngữ để hỗ trợ mô hình của chúng tôi.
Với UML, ta có thể thiết kế và triển khai dựa trên thành phần. Nhưng UML chỉ là bán hình thức, nó không hỗ trợ việc xác minh hình thức của hệ thống. Hơn nữa, ngay cả UML thời gian thực cũng không hỗ trợ việc thiết kế xét đến yếu tố thời gian cho các thành phần. Kỹ thuật của chúng tôi được sử dụng như là một bổ sung cho UML để hỗ trợ việc thiết kế tính thời gian và xác minh hình thức của các hệ thống mà sự an toàn là quan trọng. Với việc phân chia các chức năng không phải hàm và hàm trong việc phát triển hệ thống, chúng tôi lần đầu tiên sử dụng UML để thiết kế một hệ thống không xét đến thời gian các yêu cầu chức năng. Sau đó ràng buộc về nguồn lực và thời gian được thêm vào thiết kế không xét đến thời gian của phương thức dựa trên sơ đồ thời gian tuần tự. Sau đó, các đặc tả của lập kế hoạch về việc sử dụng đồng thời các dịch vụ được giới thiệu như là bất biến toàn cục được phân phối qua các thành phần. Cuối cùng thiết kế xét đến thời gian là kiểm chứng hình thức đối với các yêu cầu phi chức năng.
Trong luận văn này, để đơn giản, chúng tôi đã giả định một cách rất đơn giản các giao tiếp giữa các thành phần. Mô hình này có thể được mở rộng để xử lý thông tin
liên lạc bằng cách giới thiệu sự kiện truyền thông và phương thức trong các thành phần chủ động. Hiện vẫn còn khá nhiều việc để làm cho mô hình của chúng tôi chi tiết hơn. Ngoài ra, có một câu hỏi nếu xác minh của chúng tôi và các kỹ thuật phân tích có thể được hỗ trợ bởi bất kỳ công cụ tự động nào không. Câu trả lời là có ít nhất một cách cho việc xác minh bằng cách chứng minh định lý như PVS. Điều này sẽ được trong nghiên cứu tiếp theo của chúng tôi.
Chúng tôi muốn đề cập đến ở đây một số nội dung trong các nghiên cứu liên quan vấn đề này.
Trong [42, 51] một logic định thời được giới thiệu để xác định thuộc tính thời gian thực trong đặc tả các lớp. Mở rộng sơ đồ lớp và sơ đồ trạng thái được sử dụng cùng với sơ đồ lớp của UML. Trong đó cũng đề nghị sử dụng XTG để mô tả hành vi của các hệ thống thời gian thực và đề xuất một kỹ thuật để chuyển đổi UML thời gian thực với các biến số đồng hồ vào XTG. Trong [15], OCL được mở rộng để xác định thuộc tính thời gian thực. Trong [44], thuộc tính thời gian đưa ra để bảo vệ quá trình chuyển đổi, biểu đồ trạng thái có thể xác định hành vi thời gian thực. Trong đó đề xuất các kiến " SIP view" để xác định thứ tự thời gian của sự tương tác cho các khách hàng khác nhau để đơn giản hóa các tương tác. Cách tiếp cận này cũng tương tự như đặc tả của chúng tôi về dòng đồng thời ngoại trừ việc “SIP views” không mang thông tin thời gian. Trong [12], một logic thời được giới thiệu để xác định thuộc tính động và tĩnh của hệ thống hướng đối tượng. Một bức tranh chuyển đổi từ OCL thành mệnh đề logic cũng được đề xuất.
Trong [47], đề xuất một phương pháp để xây dựng mô hình thời gian của hệ thống thời gian thực bằng cách thêm vào các ràng buộc thời gian trong phần mềm ứng dụng. Những ràng buộc tính đến thời gian thực hiện của câu lệnh nguyên tử, các hành vi của hệ thống bên ngoài môi trường và chính sách lập lịch trình. Mô hình này có thể được phân tích bằng cách sử dụng kỹ thuật phân tích thời gian để kiểm tra thuộc tính có liên quan thời gian thực. So sánh với công việc này, cách tiếp cận của chúng tôi là tương tự, nhưng chúng tôi làm việc ở cấp thành phần cũng như mức độ hệ thống. Ngoài ra, trong công việc của chúng tôi, để tăng tính sử dụng lại các thành phần, chúng tôi chỉ định thời gian như là một mối quan hệ giữa tài nguyên và ràng buộc thời gian.
CHƯƠNG 3: ÁP DỤNG MÔ HÌNH ĐỀ XUẤT ĐỂ XÂY DỰNG HỆ THỐNG XUẤT HÓA ĐƠN BÁN HÀNG
Nhằm minh họa đề xuất về mô hình hướng thành phần tính đến thời gian đã được nêu ra trong Chương 2, trong Chương này sẽ ứng dụng các lý thuyết và ký hiệu đó vào việc xây dựng hệ thống xuất hóa đơn bán hàng.