Chương 3 tập trung vào việc xõy dựng qui trỡnh làm mịn cỏc mụ hỡnh UML cho quỏ trỡnh tinh chế từng bước hệ thống phần mềm. Cỏc kết quả chớnh của chương này bao gồm:
• Đưa ra một tiến trỡnh dựa trờn RUP để phỏt triển mụ hỡnh hệ thống. Xõy dựng cỏc thuật toỏn trờn cơ sở của cỏc thuật toỏn trong mụ hỡnh quan hệ của hệ thống hướng đối tượng và cỏc luật làm mịn, phục vụ cho việc tinh chế và làm mịn mụ hỡnh thiết kế hệ thống trờn UML, thực hiện bằng Rational Rose được dễ dàng và hiệu quả hơn.
• Quỏ trỡnh tinh chế và làm mịn theo cỏch thức chỉ ra ở trờn đó được chỳng tụi kiểm nghiệm trờn cụng cụ Rational Rose, đảm bảo tớnh lụgic, tớnh đỳng đắn và
hệ thống ngày càng sỏt thực hơn. Với khả năng tự động phỏt sinh mó trỡnh, phần mềm mụ hỡnh húa Rational Rose, hoàn toàn cú thể chuyển mụ hỡnh thiết kế sang khung chương trỡnh hướng đối tượng với ngụn ngữ lập trỡnh mà nú hỗ trợ. • Chỉ ra ngữ nghĩa và cơ sở để khẳng định rằng: việc ỏp dụng cỏc luật, cỏc phộp
biến đổi và một số cỏc thuật toỏn đó được xõy dựng dựa trờn mụ hỡnh rCOS cho mụ hỡnh đặc tả trờn UML là đỳng đắn.
Kết luận chung
Luận ỏn nghiờn cứu về một cỏch thức phỏt triển bảo đảm chất lượng hệ thống phần mềm bằng cỏch tinh chế từng bước một (step-by-step refinement). Sử dụng cỏc luật của rCOS xõy dựng cỏc thuật toỏn tinh chế, để phỏt triển cỏc hệ thống đối tượng bảo đảm tớnh đỳng đắn. Những điều đú làm cơ sở cho việc tự động hoỏ hoạt động thiết kế và phỏt triển theo tiếp cận hướng đối tượng đối với cỏc hệ thống thụng tin. Áp dụng cỏc thuật toỏn đú vào xõy dựng cỏc hệ thống phần mềm lớn và phức tạp.