- Khụng dư thừa: Khi xoỏ đi bất kỳ thuộc tớnh nào của khoỏ đều phỏ huỷ tớnh xỏc định duy nhất của khoỏ.
Phõn tớch hệ thống về động thỏiPhõn tớch hệ thống về động thỏ
Phõn tớch hệ thống về động thỏi
5.1.
5.1. Phõn tớch động thỏi với biểu đồ luồng điểu khiểnPhõn tớch động thỏi với biểu đồ luồng điểu khiển5.2. Đặc tả chức năng điều khiển 5.2. Đặc tả chức năng điều khiển
5.2. Đặc tả chức năng điều khiển
5.3. Cỏc chiến lược phõn tớch một hệ thống SART5.3. Cỏc chiến lược phõn tớch một hệ thống SART 5.3. Cỏc chiến lược phõn tớch một hệ thống SART
Như ta đó thấy thỡ phương phỏp SA khụng mụ hỡnh hoỏ sắc thỏi điều khiển trong hệ thống, khụng đề cập tới cỏc loại biến cố đột xuất, cỏc xử lớ khụng đồng bộ… Biểu đồ luồng dữ liệu với nguyờn tắc ngầm định là kớch hoạt bởi dữ liệu khụng tớnh đến những biến động trong thời gian của hệ thống. Tuy nhiờn sự biến đổi hành vi qua thời gian mà ở đõy gọi là động thỏi (dynamics) lại là một hiện tượng thường gặp trong cỏc hệ thống thực.
Chương này trỡnh bày sơ lược phương phỏp SART (Structured Analysis For Real - Time Systems) do Hatly và Pirbhai đề xuất, nhằm phõn tớch động thỏi của hệ thống mà vẫn giữ xu hướng phõn tớch trờn xuống. Bạn đọc chỉ quan tõm đến hệ thống thụng tin quản lớ, ớt chỳ ý đến khớa cạnh thời gian thực, thỡ cú thể bỏ qua chương này.
5.1. Phõn tớch động thỏi với biểu đồ luồng điểu khiển
Trong một biểu đồ luồng dữ liệu thỡ một luồng dữ liệu nối từ một chức năng A tới một chức năng B là một thụng tin được
chuyển giao từ A sang B, thụng tin đú là một dữ liệu ra (tức là một sản phẩm xử lý) của A và là một loại dữ liệu vào (tức là một nguyờn liệu cho xử lớ) của B. Khụng thể hiểu nú là một thụng tin điều khiển, chẳng hạn khụng thể hiểu như trong cỏc sơ đồ khối , là A chuyển điều khiển (tức là chuyển quyền thực hiện) cho B.