KHOA CễNG NGHỆ THÔNG TIN Báo cáo thực tập tốt nghiệp CHUYÊN NGÀNH CễNG NGHỆ THÔNG TIN ĐỀ TÀI : NHỮNG GIẢI PHÁP CẢI THIỆN QUY TRÌNH TỰ ĐỘNG HỐ TèM KIẾM, LỰA CHỌN THÀNH PHẦN PHẦN MỀM TỪ KHO DỮ LIỆU TRONG CễNG NGHỆ PHÁT TRIỂN PHẦN MỀM HƯỚNG THÀNH PHẦN Giáo viên hướng dẫn: TS Huỳnh Quyết Thắng Sinh viên thực hiện: Phan Thế Đại Lớp: K44 – CNPM Hà Nội, 2-2004 Danh mục từ viết tắt sử dụng báo cáo thực tập Số TT Từ viết tắt Giải nghĩa ADL Architectural Description languages CBS COTS-Based Systems CBSD Component- Based Software Development CBSE Component-based software engineering CORBA Common Object Services Specification COTS Commercial Off-The-Shelf COM Componenent Object Model CORBA (Common Object Request Broker Architecture) DCOM Distributed Componenent Object Model 10 OSD Open Software Description 11 IDLs Interface Defination Language Signature 12 ESI European Software Institute 13 GTS Geographic Translator System 14 OSD Open Software Description 15 NFRs Non-Functional Requirement 16 QoS, 17 UML Unified Modeling Language 18 UML-RT UML Real Time 19 UUID uniservally unique identifer Danh mục hình vẽ báo cáo thực tập Hình 1.1 Các giao diện CORBA 10 Hình 2.1 Mô hình phát triển phần mềm dựa thành phần 16 Hình 2.2 Một kiến trúc phần mềm dựa thành phần 17 Hình 2.3 Một mẫu COTS-XML 23 Hình 2.4 Một ví dụ kiến trúc phần mềm UML-RT 26 Hình 2.5 Một ví dụ UML-RT sử dụng vai trò “roles” ứng dụng FTS 27 H ình 2.6 Những giao diện cung cấp/ yêu cầu với UML - RT c apsule's p orts 28 Hình 2.7 Mô hình tiến trình tự động cho phát triển phần mềm dựa thành phần 29 Hình 2.7' Danh sách components GTS danh sách ứng cử viên 32 Hình 2.8 Kiến trúc cho CSDL phân tán 36 Hình 2.9 Ví dụ lưu trữ mảnh CSDL phân tán 38 Hình 2.10 Kiến trúc liệu tầng 41 Hình 2.12 Các phần tử kiến trúc liệu tầng hệ thống Web – CSDL 42 Hình 2.13 Kiến trúc tổng quát hệ thống xử lý truy vấn phân tán 45 Hình 2.14 Hoạt động hệ thống GTS 49 Hình 2.15 Giao diện components trừu tượng hệ thống GTS 50 Hình 2.16 Biểu đồ phương thức hệ thống GTS 51 Hình 2.17 Kiến trúc phần mềm GTS UML-RT 53 Hình 2.18 Kiến trúc phần mềm GTS UML chuẩn 54 Hình 2.19 Mơ tả UML-RT tất components kiến trúc phần mềm GTS 56 Danh mục bảng báo cáo thực tập Bảng Bảng 2.1 Bảng 2.2 Bảng 2.3 So sánh khả giao diện kỹ thuật 14 Danh sách components GTS danh sách ứng cử viên 32 Sơ đồ thuật tốn tạo cấu hình .33 Một số kết thuật tốn config() với ví dụ GTS .58 MỤC LỤC CHƯƠNG 1: TỔNG QUAN Vấấ̀ CÔNG NGHỆ PHÁT TRIỂN PHẦN MỀM DỰA TRÊN THÀNH PHẦN VÀ VẤN ĐỀ NGÔN NGỮ ĐỊNH NGHĨA GIAO DIỆN IDLs I Tổng quan công nghệ phát triển phần mềm dựa thành phần(CBSD) II Tổng quan thành phần giao diện thành phần phần mềm Giới thiệu giao diện thành phần phần mềm 2.Ngôn ngữ định nghĩa giao diện IDLs kỹ thuật phát triển phần mềm tiêu biểu (COM, DCOM, CORBA, ASSEMBLY …) 2.1 Tổng quan giao diện COM, DCOM 2.2 Tổng quan giao diện CORBA .9 2.3 So sánh khả giao diện kỹ thuật .12 CHƯƠNG 2: THAM KHẢO Mệệ̃T MƠ HÌNH HỆ THỚNG TỰ ĐỘNG HÓA TÌM KIẾM, LỰA CHỌN THÀNH PHẦN PHẦN MỀM TỪ KHO DỮ LIỆU 15 I Giới thiệu mô hình hồn chỉnh cho quy trình xây dựng phần mềm dựa thành phần phần mềm 15 Mô hình .16 Các đề xuất ngơn ngữ đặc đặc tả để cải thiện q trình tìm kiếm, lựa chọn Components 19 2.1 Tại nên sử dụng XML cho đặc tả Components ? 19 2.2 Mô hình chuẩn cho mẫu XMLComponent 21 3.Tìm kiếm thành phần ứng cử viên 28 Thuật toỏn tỡm kiếm lựa chọn thành phần 29 4.1 Giới thiệu thuật toán 29 4.2 Đánh giá độ phức tạp thuật toán 32 CHƯƠNG DỮ LIỆU PHÂN TÁN, DỮ LIỆU TẬP TRUNG VÀ VẤN ĐỀ LƯU TRỮ, XỬ Lí HỆ THỚNG XML PHÂN TÁN 34 So sánh tổng quan CSDL phân tán CSDL tập trung 34 1.1 Điều khiển tập trung .34 1.2 Sự độc lập liệu 34 1.3 Sự giảm dư thừa liệu .35 Tham khảo kiến trúc cho CSDL phân tán .36 2.1 Lược đồ toàn cục 36 2.2 Lược đồ phân mảnh .37 2.3 Lược đồ định vị .37 2.4 Lược đồ ánh xạ cục 38 XML phân tán hay tích hợp 39 Một phân loại hệ thống CSDL phân tán .39 Xử lý truy vấn CSDL XML phân tán 43 CHƯƠNG MỘT ỨNG DỤNG GTS TIấU BIỂU ĐƯỢC XÂY DỰNG THEO MƠ HÌNH QUY TRÌNH TỰ ĐỘNG HỐ PHÁT TRIỂN PHẦN MỀM DỰA NỀN THÀNH PHẦN .49 Giới thiệu 49 Thiết kế kiến trúc phần mềm GTS UML – RT .53 2.1 Kiến trúc GTS UML-RT .53 2.2 Mapping UML-RT GTS tới chuẩn UML .55 2.3 Chuyển thông tin vào capsules .56 Thực thuật toán lựa chọn kết .58 ĐÁNH GIÁ - KẾT LUẬN 60 Cỏc nghiờn cứu tiến hành thực tập tốt nghiệp 60 Kết luận 62 62 Các từ từ điển 63 Tài liệu tham khảo .66 Lời nói đầu Cơng nghệ phát triển phần mềm dựa thành phần (CBSD) vấn đề quan tâm giới năm gần Trong CBSD, việc xây dựng ứng dụng giải cách sử dụng thành phần làm sẵn, thành phần phát triển thời gian khác nhau, nhiều người khác nhau, chí nhiều quan điểm khác Mục đích cuối giảm thời gian phát triển, giá thành, công sức, lại cải thiện tính linh hoạt, tính tin cậy, tính sử dụng lại ứng dụng cuối hướng tới việc sử dụng thành phần phần mềm kiểm thử chứng nhận có giá trị í tưởng quy trình thống mang tính tự động hố cao thực pha trình phát triển ứng dụng dựa thành phần hay Nó giúp cho mục đích giảm thời gian phát triển, giảm giá thành, công sức, cho chất lượng phần mềm tốt …càng có hội đạt Kế thừa đề tài tốt nghiệp trước đõy nghiờn cứu số khái niệm COTS, kỹ thuật phát triển thành phần phần mềm( COM, CORBA, DCOM, …), giao diện thành phần phép toán giao diện, báo cáo em muốn đề xuất hướng nghiên cứu bao qt quy trình mang tính chất tự động hố cao vận dụng lý thuyết nghiên cứu cho phát triển CBSD Với mục đích nêu rõ quy trình tự động hố cho q trình phát triển phần mềm hướng thành phần, qua báo cáo này, em tập trung nghiên cứu mơ hình đó, đồng thời nhắc đến số vấn đề liến quan sử dụng components, liên quan đến vấn đề tối ưu hoá trình tìm kiếm vấn đề đặc tả thành phần phần mềm bao gồm vấn đề giao diện phần mềm mẫu tài liệu đặc tả XML Đặc biệt sâu vào giai đoạn quy trình, cải thiện phương pháp, thuật tốn lựa chọn thành phần phần mềm kho phần mềm đánh giá độ phức tạp thuật toỏn đú phục vụ cho mục đích tối ưu hố dần lựa chọn thành phần phần mềm từ kho liệu rộng lớn Hình 2.15 Giao diện components trừu tượng hệ thống GTS 51 Figure 2.16 giúp hình dung tương tác phương thức hệ thống GTS Để cú thêm thông tin dịch vụ components hệ thống này, tham khảo tiếp tài liệu, báo cáo Hình 2.16 Biểu đồ phương thức hệ thống GTS 52 Thiết kế kiến trúc phần mềm GTS UML – RT 2.1 Kiến trúc GTS UML-RT Để mô tả kiến trúc phần mềm ứng dụng GTS sử dụng UML-RT, sử dụng gói Rational Rose thời gian thực bao gồm UML-RT ký pháp chuẩn đề nghị Bran Selic1 Bằng UML chuẩn công nghiệp, thiết kế thời gian thực, sinh mã, khả thực thi mơ hình (industry-standard Uni_ed Modeling Language (UML), real-time design constructs, code generation, and model execution capabilities) Rational Rose thời gian thực đề cập tới việc hồn thành vịng đời dự án sớm từ việc phân tích thiết kế, cài đặt kiểm thử Tuy nhiên, sử dụng công cụ để mô tả cỏc yêu cầu kiến trúc phương pháp đồ họa ( graphical way) Chú ý tập trung vào GTS component mà khơng quan tâm đến components cịn lại Hình 2.17 biểu diễn mơ hình UML-RT cho kiến trúc phần mềm GTS giới thiệu Trong mô hình UML-RT có khái niệm “capsules” u cầu cần biết Như thấy đây, capsule sử dụng để mơ tả tồn kiến trúc phần mềm Một UML-RT capsule tạo cách sử dụng hay nhiều capsules Chú ý hỡnh vớ dụ UML-RT sử dụng quy tắc GTS capsule kiến trúc phần mềm GTS biểu diễn capsules thành phần phần mềm GTS Cổng Prov:ProtTrans~ (hộp mầu trắng nhỏ thành phần phần mềm GTS) biểu diễn đương biên để thành phần gửi nhận liên lạc với phần bên GTS capsule Cổng kết nối trực tiếp với cổng kép +/translator:ProtTrans~ (là phần thành phầnTranslator 53 Hình 2.17 Kiến trúc phần mềm GTS UML-RT Theo Figure 2.17 , kiến trúc phần mềm GTS bao gồm components (i.e.,capsules) Component /trans:Translator, cỏi yờu cầu với components nữa: (a) Một nén file đặt tên /fC:FileCompressor; (b) Một chuyển ảnh không gian /iT:ImageTranslator; (c) Một component để biểu diễn trung gian liệu /xDR:XDR; (d) Và buffer đặt tên /xmlBuf:XMLBuffer Ngoài ra, hệ thống GTS yêu cầu hai giao diện(dịch vụ) DOM Document Element, chúng sử dụng components XDR XMLBuffer để sử dụng khn dạng XML Các dịch vụ có sẵn gói phần mềm IBM XML4J Sun JAXP Như kiến trúc GTS ví dụ cho việc sử dụng component DOM, dịch vụ Document Element xử lý components /xDR:XDR /xmlBuf:XMLBuffer 54 2.2 Mapping UML-RT GTS tới chuẩn UML Các phần tử UML-RT kiến trúc phần mềm GTS nhìn nhận phần tử UML truyền thống Hình 2.18 lược đồ lớp UML chứa tất phần tử cung cấp bới kiến trúc phần mềm UML-RT Chú ý phần tử kiến trúc UML-RT capsules, cổng hay giao thức thể phần UML mở rộng (UML extensions) sử dụng mẫu , and Lược đồ bao gồm 12 lớp (6 capsules cổng) Hình 2.18 Kiến trúc phần mềm GTS UML chuẩn 55 Các lớp thể ký hiệu góc bên phải Một lớp capsule chứa vùng (ngoài cỏc vựng, cỏc thuộc tính, hoạt động bản), giao diện yêu cầu giao diện cung, thể hộp nhỏ đen, Trong cách tương tự, lớp giao thức đưa thơng điệp (ví dụ hoạt động) hỗ trợ cổng tương ứng Ví dụ, lớp giao thức ProtComp có thơng điệp zip() unzip() sử dụng lớp Translator capsule lớp FileCompressor capsule Ngoài ra, cổng sử dụng cỏc liờn kết kết cấu (composition relations), kết nối lớp giao thức capsule 2.3 Chuyển thông tin vào capsules Trong vấn đề này, định nghĩa kiến trúc phần mềm GTS sử dụng UML-RT Tuy nhiờn, cú vài thơng tin quan trọng phải tìm hiểu bên a capsule Thông tin liên quan tới tài liệu đặc tả cho COTS cho việc đặc tả thành phần COTS Vì vậym để mô ta thành phần kiến trúc phần mềm, cần cân nhắc loại thông tin sau cho tài liệu đặc COTS: (a) Functional information (ví dụ: giao diện, hành vi, giao thức); (b) Non-functional information, (được mơ tả thuộc tính); (c) Deployment implementation information; (d) Marketing information Để mô tả loại thông tin này, sử dụng UML notes tagged values bên capsule Ví dụ, hình 10 cỏc yờu cầu vài thành phần kiến trúc phần mềm GTS Để đơn giản, mức kí hiệu (signature level) giao diện non-functional information mô tả capsules, tồn tài thông tin tài liệu đặc tả COTS biểu diễn cách tương tự Mức kí hiệu giao diện biểu diễn vài IDL đặc biệt Đặc biệt ví dụ này, sử dụng ký pháp CORBA IDL để mô tả giao diện Mô tả gói gọn bên thẻ UML kết nối tới cổng tương ứng Bên cạnh đó, external tagged value kết nối với IDL note xác định lại ký pháp để mơ tả giao diện mức kí hiệu Ví dụ, capsules sử dụng kớ phỏp tagged value fnotation="CORBA IDL" kết nối với thẻ IDL 56 Hình 2.19 Mơ tả UML-RT tất components kiến trúc phần mềm GTS Các thuộc tính mô tả thẻ riêng biệt Một mơ tả thuộc tính bắt đầu với tên mẫu Tiếp theo, mơ tả thuộc tính sử dụng ký pháp đặc biệt Tương tự với giao diện thẻ (interface notes) mô tả kớ pháp thể sử dụng external tagged value Ví dụ, thẻ how ImageTranslator capsule describes three properties in separate notes, sử dụng external tagged value fnotation=OCL kết nối với thuộc tính thẻ Chú ý với mục đích từ kiến trúc phần mềm sinh đặc tả XML cho compoenntss, sử dụng tiến trỡnh cú khả phân tích cú pháp files (RTMDL) xây dựng Rational Rose RealTime Đồng thời, cần có “ generic tool” xử lý file XML xuất mẫu “COTScomponent” Điều đề cập phần công nghệ liên quan 57 Thực thuật toán lựa chọn kết Bảng 2.3 trình bày số kết sản sinh chương trình TraceConfigs cho ứng dụng ví dụ GTS Trong trường hợp này, chương trình sinh 28 tổ hợp, tổng số ứng cử viên Từ 28 tổ hợp đó, có 24 cấu hình có giá trị, mà xuất bảng Ngoài ra, số cấu hình bỏ trình bày để đảm bảo tính trọn vẹn Trong bảng cột từ 2-9 trình bày giao diện(dịch vụ) thành phần cung cấp cấu hình, cột 10 mơ tả cấu hình, dạng thành phần cấu tạo nú (cú ẩn dịch vụ thích hợp bị trùng thành phần khỏc hỗ trợ nú), cịn cột 11 trình bày: − “R” cấu hình đáp ứng cấu trúc ứng dụng − “C” cấu hình đóng kín Một ứng dụng đóng kín tất dịch vụ cung cấp componenntss nú cú thể phục vụ nội tại(khụng yêu cầu dịch vụ bên từ componennts bên ứng dụng đú) Cỏc khỏi niệm đáp ứng - “respect" đóng kín - “close" định nghĩa [1] Trong ví dụ GTS, cấu hình số chứa tất thành phần ứng cử viên trừ C2 , C4 , C6 thành phần component cung cấp giao diện(dịch vụ), ngoại trừ C1 cung cấp hai dịch vụ Cấu hình vừa đóng kín (closed) vừa đáp ứng cấu trúc ứng dụng Trong 24 cấu hình tìm thấy, có đóng kín, 20 cỏi đỏp ứng cấu trỳc Bõy giờ, người thiết kế hệ thống phải định lựa chọn cấu hình tốt phù hợp với cỏc yờu cầu từ danh sách cấu hình hợp lệ này, xem lại kiến trúc cũ Khi tất cấu hỡnh sản sinh, cần đóng kín chúng để nhận ứng dụng hồn chỉnh Tiến trình đóng kín cấu hỡnh cú thể thực việc áp dụng thuật toán tồn phục vụ tính tốn đóng kín tập hợp “algorithms for calculating the transitive closure of a set “(vớ dụ cấu hình) liên quan đến tập số lớn hơn(trong trường hợp kho B) 58 Bảng 2.3 Một số kết thuật toán config() với ví dụ GTS Kết luận chương Như qua ví dụ GTS, thực làm quen với mơ hình cho tiến trình tự động hố công nghệ phát triển phần mềm hướng thành phần qua giai đoạn Hình 2.1 Có hai vấn đề nhấn mạnh vấn đề thiết kế kiến trúc hệ thống phần mềm vấn đề tìm, lựa chọn thành phần phần mềm Với mục đớch nghiờn cứu, thỡ cú Website dành cho Client để hỗ trợ cho dịch vụ tìm kiếm mạng - “trading” - http://www.cotstrader.com Và có số dự ỏn nghiên cứu CAFE ESAPS2 Đặc biệt [4], cỏc tỏc giả miêu tả “platform” cho việc xây dựng hệ thống phần mềm dựa phần COTS Hướng đề xuất sử dụng Rational tools để định nghĩa kiến trúc phần mềm, nhiên sơ đồ lớp sử dụng thay sử dụng UML-RT, bên cạnh tiến trình đề xuất cịn thiếu tiến trỡnh tỡm kiếm, lựa chọn – trading cho COTS Vì việc lựa chọn UML-RT cho xây dụng kiến trúc phần mềm GTS hợp lý Ở chương này, nhận số kết cài đặt thuật toán config() cho việc lựa chọn thành phần phần mềm hệ thống GTS… 59 ĐÁNH GIÁ - KẾT LUẬN Cỏc nghiờn cứu tiến hành thực tập tốt nghiệp Sau tóm tắt cơng việc nghiờn cứu thân em đề tài thực tập “Những giải pháp cải thiện quy trình tự động hoỏ tỡm kiếm, lựa chọn thành phần phần mềm từ kho liệu Công nghệ phần mềm hướng thành phần”: - - Xây dựng mơ hình tự động hố cho cơng nghệ phát triển phần mềm hướng thành phần Giới thiệu tổng quan vấn đề giao diện trong kỹ thuật phát triển phần mềm tiêu biểu (COM, DCOM, CORBA, ASSEMBLY …) Công nghệ lưu trữ xử lý hệ thống CSDL XML phân tán Đó nghiên cứu phần quy trình tự động hoỏ phỏt triển phần mềm hướng thành phần, cụ thể sau: • Quy trình tn theo mơ hình xoắn ốc • Quy trình bao gồm giai đoạn chính: o Giai đoạn 1: Thiết kế kiến trúc phần mềm cần xây dựng o Giai đoạn 2: Xây dựng mẫu đặc tả XML “COTScomponent”cho component có kiến trúc phần mềm o Giai đoạn 3: Bao gồm bước  Xây dựng tiến trỡnh tỡm kiếm, lựa chọn danh sách Components ứng cử viên cho kiến trúc phần mềm  Xây dựng tiến trỡnh tỡm kiếm cấu hình thoả kiến trúc phần mềm từ danh sách ứng cử viên  Đóng kín cấu hình để tạo ứng dụng hoàn chỉnh 60 - - Đó nghiên cứu phương pháp sử dụng kớ phỏp UML-RT Rational Rose RealTime cho trình thiết kế kiến trúc phần mềm Nhưng gặp hạn chế khơng có gói phần mềm để cài đặt tiếp cận cài đặt số ứng dụng thực tế Đó nghiên cứu mẫu chuẩn XML cho đặc tả Component Đã đưa ví dụ điển hỡnh ỏp dụng theo mơ hình Đó nghiên cứu thuật toỏn tỡm kiếm cấu hình phần mềm từ danh sách ứng cử viên nhằm thoả mãn kiến trúc phần mềm cách tốt 61 Kết luận Đề xuất hướng phát triển cho Luận văn tốt nghiệp - - - Tiếp tục nghiên cứu để hồn chỉnh mơ hình tự động hố cho cơng nghệ phát triển phần mềm hướng thành phần (COTS) Hoàn thiện mặt lý thuyết, phương pháp luận liên quan đờn cỏc giai đoạn quy trình Tiếp tục xem xét nghiên cứu phương pháp, thuật toán lựa chọn danh sách Componennts ứng cử viên Tạo số mẫu XML đặc tả “COTScomponent” cho ví dụ nghiờn cứu lưu trữ lên hệ quản trị CSDL Tiếp tục phát triển thuật toán lựa chọn cấu hỡnh(gọi TraderConffig) xử lý trờn cỏc file mở rộng thuật toỏn ỏp dụng cho thuộc tớnh khỏc khụng dừng lại giao diện Tiếp tục đánh giá giải thuật config(), vấn đề phân tán components, mối quan hệ với giải thuật quay lui theo danh sách Đánh giá khả tối ưu hố giải thuật Sẽ cài đặt chương trình Demo cho giải thuật config() CSDL Ngôn ngữ lập trình: C#, NET 62 Các từ từ điển STT Tiếng Anh Tiếng Việt abstract trừu tượng abstract specification đặc tả trừu tượng (thường đặc tả trừu tượng thành phần ứng dụng) abstract components Các thành phần trừu tượng backtracking algorithm Giải thuật quay lui branch and bound giải thuật nhánh cận “closed” applications Ứng dụng khép kín có nghĩa khơng có lỗ hổng dịch vụ COTS Thành phần phần mềm thương mại concrete components Các thành phần cụ thể(có thực) component technology 10 Component qualification Xác định quy cách thành phần 11 components acquisition Sự thu nhận thành phần hay gọi trình tìm kiếm lựa chọn thành phần 12 concrete specification đặc tả cụ thể (thường đặc tả thành phần COTS) 13 Configuration Trong định nghĩa 9, chương 14 consolidation engineering củng cố kỹ nghệ 15 COTS component thành phần phần mềm thương mại phát triển độc lập với hệ thống cần xây dựng 16 black-box nature chất hộp đen 17 19 Black - box database, blackboard, message bus desktop application kiểu cấu trúc bên thành phần Các kiểu kiến trúc hỗ trợ cho việc hợp COTS ứng dụng desktop 20 domain engineering kỹ nghệ miền 21 equivalent toán tử tương đương 22 Darwin, LEDA, ACME, Các ngôn ngữ cho tả kiến trúc (ADL) UML - RT 18 integration công nghệ cho phép hợp thành phần 63 23 extra-functional properties Các thuộc tính phụ 24 ESI Viện phần mềm Châu Âu 25 exploration tree thám hiểm 26 glue language Ngôn ngữ liên kết 27 Hiding che dấu 28 29 IDLs Interface inclusion 30 Interface intersection Ngôn ngữ định nghĩa giao diện Quan hệ bao gồm giao diện (chỉ mối quan hệ giao diện) giao giao diện (chỉ mối quan hệ giao diện) 31 Interfaces giao diện 32 interoperability vận hành 33 Invariants đại lượng bất biến 34 Matchmaking tương hợp 35 Non-developmental item Các hạng mục khơng mang tính mở rộng 36 UML notation Kí pháp UML 37 non-functional requirements u cầu khơng mang tính chức 38 non-technical khơng mang tính kỹ thuật 39 non-technical people người khơng chun công nghệ 40 real time systems Các hệ thống thời gian thực 41 object request (ORB) mediated 42 plug-and-play tiêu chuẩn công nghệ phần bổ sung thêm Nó địi hỏi phận phải có khả tự đồng hố, đáp ứng yêu cầu loại tiêu chuẩn 43 pre/post conditions điều kiện trước/sau 44 protocol level mức giao thức 45 Public mang tính chất cơng cộng 46 refinement calculus phép tính phụ thuộc vào hệ số biến 47 Requirement yêu cầu 48 Respect đáp ứng (cấu hình có khả đáp ứng cấu broker Các kiểu kiến trúc hạ tầng cho phép thành phần tích hợp 64 trúc ứng dụng) 49 Role vai trò 50 SEI Viện kỹ nghệ phần mềm 51 semantic level mức ngữ nghĩa 52 service gaps lỗ hổng dịch vụ 53 service overlaps dịch vụ gối lên nhau, trùng 54 signature level mức đăng ký 55 Signature dấu hiệu mang tính chất đại diện 56 software component thành phần phần mềm 57 software repository kho phần mềm chứa thành phần COTS 58 Substitutability: toán tử thay 59 System evolution Phát triển mở rộng hệ thống (giai đoạn nằm sau giai đoạn xây dựng) 60 system architecture Kiến trúc hệ thống 61 transition diagrams lưu đồ chuyển tiếp (trong có chuyển dịch trạng thái) 62 upper bounds cận 63 user requirements Các yêu cầu người dùng 64 valid configurations Các cấu hình có giá trị, hợp lý 65 particular format Khn dạng đặc biệt 66 wrappers 65 ... Mệệ̃T MƠ HÌNH HỆ THỚNG TỰ ĐỘNG HÓA TÌM KIẾM, LỰA CHỌN THÀNH PHẦN PHẦN MỀM TỪ KHO DỮ LIỆU I Giới thiệu mơ hình hồn chỉnh cho quy trình xây dựng phần mềm dựa thành phần phần mềm (COTS) ngày sử dụng... thành phần GTS) 27 Tìm kiếm thành phần ứng cử viên Hình 2.7 Mơ hình tiến trình tự động cho phát triển phần mềm dựa thành phần Hình 2.7 cho ta nhìn lại tiến trình tự động phát triển phần mềm hướng. .. thành phần phần mềm kho phần mềm đánh giá độ phức tạp thuật toỏn đú phục vụ cho mục đích tối ưu hố dần lựa chọn thành phần phần mềm từ kho liệu rộng lớn CHƯƠNG 1: TỔNG QUAN Vấấ̀ CÔNG NGHỆ PHÁT TRIỂN