Trong bài báo chúng tôi sẽ trình bày một cách hình thức một số khái niệm cơ bản quan trọng cho mô hình phát triển phần mềm thành phần, bao gồm giao diện, các hợp đồng, các giao thức tương tác, các thành phần và những quan hệ giữa các khái niệm đó, các tính toán làm mịn giữa chúng với nhau. | Nguyễn Mạnh Đức Tạp chí KHOA HỌC & CÔNG NGHỆ 78(02): 97 - 104 MỘT SỐ TÍNH TOÁN VÀ LÀM MỊN VỚI CÁC THÀNH PHẦN Nguyễn Mạnh Đức Khoa Toán, Trường Đại học Sư phạm – Đại học Thái Nguyên TÓM TẮT Trong bài báo chúng tôi sẽ trình bày một cách hình thức một số khái niệm cơ bản quan trọng cho mô hình phát triển phần mềm thành phần, bao gồm giao diện, các hợp đồng, các giao thức tƣơng tác, các thành phần và những quan hệ giữa các khái niệm đó, các tính toán làm mịn giữa chúng với nhau. Các đặc tả và các tính toán làm mịn đƣợc thực hiện dựa theo mô hình tính toán rCOS, để bảo đảm tính đúng đắn và nhất quán của hệ thống. Những công việc này có thể đƣợc thực hiện trong các giai đoạn khác nhau của tiến trình phát triển phần mềm. Từ đó cho thấy ý nghĩa và sự cần thiết khi phát triển phƣơng pháp hình thức trong kỹ nghệ phần mềm hƣớng thành phần. Từ khóa: Làm mịn hệ thống đối tượng và thành phần , thiết kế , giao diện, hợp đồng, thành phần, ngôn ngữ mô hình hóa thống nhất UML GIỚI THIỆU* Sử dụng các thành phần để xây dựng và bảo trì các hệ thống phần mềm không phải là ý tƣởng mới. Tuy nhiên, do độ phức tạp của các hệ thống trong ngày nay đang tăng lên nhanh, điều đó đã buộc chúng ta phải trở lại với ý tƣởng này trong thực tế [3]. Các kỹ thuật dựa trên công nghệ hƣớng đối tƣợng và thành phần đã trở nên phổ biến và đƣợc sử dụng rộng rãi để mô hình hóa và thiết kế các hệ thống phần mềm lớn và phức tạp. Chúng cung cấp sự hỗ trợ hiệu quả để phân tách một ứng dụng thành các đối tƣợng và thành phần, phục vụ hữu hiệu cho việc sử dụng lại, mở rộng những thiết kế đã có và cài đặt mới Các công việc phân tích và kiểm tra hệ thống phức hợp có thể sẽ dễ dàng hơn do kiến trúc của hệ thống thành phần [5]. Thiết kế và phát triển hệ thống phần mềm với ngôn ngữ hƣớng đối tƣợng đã đƣợc thừa nhận là rất phức tạp [2]. Phát triển phần mềm theo hƣớng thành phần là bƣớc phát triển logic tiếp theo của phƣơng pháp hƣớng đối tƣợng. Nhiều nhà nghiên cứu đã chỉ ra sự cần thiết phát triển công cụ hình thức
