Ngôn Ngữ Mô Tả Kiến Trúc 9: Hình Thức

Hình thức

• Các mô hình và kỹ thuật chính thức là nền tảng của một ngành kỹ thuật trưởng thành
• Các ngành kỹ thuật đã sử dụng các mô hình và kỹ thuật theo những cách khác nhau
  • Cung cấp các mô hình trừu tượng, chính xác
  • Cung cấp các kỹ thuật phân tích dựa trên các mô hình
  • Cung cấp ký hiệu thiết kế
  • Cung cấp cơ sở cho các mô phỏng…

Chính thức hóa cái gì?

• Kiến trúc của một hệ thống cụ thể
  • Cho phép kiến trúc sư lập kế hoạch cho một hệ thống cụ thể
  • Trở thành một phần của đặc điểm kỹ thuật của hệ thống
    • Tăng cường các đặc điểm không chính thức của SA
    • Cho phép các phân tích cụ thể về hệ thống

Chính thức hóa cái gì?

• Kiểu kiến trúc
  • Mô tả các trừu tượng kiến trúc cho các họ hệ thống
  • Mục đích:
    • Làm cho các thành ngữ, mẫu và kiến trúc tham chiếu phổ biến trở nên chính xác
    • Chỉ ra chính xác cách các biểu diễn kiến trúc khác nhau có thể được coi như là các chuyên ngành của một số trừu tượng chung

Chính thức hóa những gì

• Lý thuyết về kiến trúc phần mềm
  • Làm rõ ý nghĩa của các khái niệm kiến trúc chung
    • Kết nối kiến trúc, đại diện kiến trúc phân cấp, kiểu kiến trúc
  • Cung cấp cơ sở suy luận để phân tích hệ thống ở cấp độ kiến trúc
    • Có thể cung cấp các quy tắc để xác định thời điểm mô tả kiến trúc được hình thành tốt
    • Hợp thành

Chính thức hóa những gì

• Ngữ nghĩa chính thức của ADLs
  • Mô tả kiến trúc là một vấn đề ngôn ngữ
  • Áp dụng các kỹ thuật truyền thống để biểu diễn ngữ nghĩa của các ngôn ngữ

Một số bài học

• SA có tính cách ngôn ngữ
• Ngôn ngữ lập trình hữu ích để so sánh
• Cần có kết nối ngoài các thành phần
• ADL có thể phát triển trong tương lai