Các Kiểu Kiến Trúc 4: Chương Trình Chính Và Các Chương Trình Con

Hệ thống Gọi và Trả về

• Điều khiển di chuyển từ mô-đun này sang mô-đun khác và quay lại
• Khác với các hệ thống nguyên khối hoặc hệ thống ống và bộ lọc
• Có thể thực hiện trừu tượng
• Loại
  • Chương trình chính và chương trình con
  • OO, ADT
  • Các lớp (Phân cấp)

Chương trình chính và các chương trình con

• Chương trình và các chương trình con: các thành phần; gọi/trả về: trình kết nối
• Phân tách thứ bậc
  • Dựa trên mối quan hệ sử dụng
• Một luồng điều khiển
  • Được hỗ trợ trực tiếp bởi ngôn ngữ lập trình
• Cấu trúc hệ thống con ngầm định
  • Các chương trình con thường được tổng hợp thành các mô-đun
• Suy luận phân cấp
  • Tính đúng đắn của một chương trình con phụ thuộc vào tính đúng đắn của các chương trình con nó gọi: bất biến