- 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ỏ.
SART khắc phục thiếu sút này của biểu đồ luồng dữ liệu bằng cỏch đưa thờm biểu đồ luồng điều khiển.
5.3. Cỏc chiến lược phõn tớch một hệ thống SART
Kinh nghiệm của nhiều dự ỏn SẢT cho thấy cú cỏch tiếp cận sau:
- Tiếp cận theo cỏc chức năng - Tiếp cận theo cỏc luồng dữ liệu - Tiếp cận theo cỏc đối tượng
- Tiếp cận theo cỏc biến cố - Tiếp cận theo thời gian - Tiếp cận theo cỏc đối tỏc - Tiếp cận theo kiến trỳc
Mỗi cỏch tiếp cận đều cho phộp xuất phỏt từ biểu đồ luồng dữ liệu và điều khiển mức khung cảnh thực hiện phõn ró đầu tiờn cho mức 1 và tiếp tục cho cỏc mức dưới. Cỏc chiến lược trờn cú thể dựng lẫn, chẳng hạn ở mức này dựng chiến lược này, sang mức khỏc lại dựng chiến lược khỏc.
Bài tập chương 5
Hóy vẽ biểu đồ luồng dữ liệu, biểu đồ luồng điều khiển và kết hợp 2 biểu đồ này ở mức khung cảnh của bài toỏn sau:
Một hệ thống điều khiển phản ứng nhiệt. Một phản ứng nhiệt đũi hỏi phải duy trỡ một lượng nhất định một chất phản ứng lỏng ở một nhiệt độ D trong một khoảng thời gian T. Việc rút đầy lũ phản ứng bắt đầu khi cú lệnh “bắt đầu rút” từ cỏc thao tỏc viờn. Khi chất phản ứng trong lũ đó đạt được một mức N thỡ ngừng rút và bật bộ phận đốt núng. Khi nhiệt độ trong lũ đạt tới giỏ trị D thỡ đặt đồng hồ bỏo giờ (thời hạn = T). Duy trỡ nhiệt độ của phản ứng ở giỏ trị cố định D trong khoảng thời gian T. Khi đồng hồ bỏo hết thời hạn T thỡ tắt bộ phận đốt núng và xả chất phản ứng ra một bể chứa bờn ngoài.
Chỳ ý: Việc rút chất phản ứng vào lũ chưa thể bắt đầu được nếu mức chất phản ứng trong bỡnh chứa chưa đạt tới giỏ trị tối thiểu M. Hệ thống phải phỏt hiện được điều này để đưa ra một bỏo động đỏp lại lệnh “bắt đầu rút”.
CHƯƠNG 6.