Báo cáo bài tập tuần 2 môn học phân tích và yêu cầu phần mềm

TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI VIỆN CÔNG NGHỆ THÔNG TIN VÀ TRUYỀN THÔNG ––––––––––––––––––––––––*–––––––––––––––––––––– Báo cáo tậ Môn họ Danh sách sinh viên: Giả G T 20111568 CNTT-TT 2.3 K56 20111600 CNTT-TT 2.3 K56 20111203 CNTT-TT 2.3 K56 20111370 CNTT-TT 2.3 K56 T Hà Nộ N 10 ăm 2014 Tóm tắt Báo cáo trình bày nội d “Các kỹ thuậ l q a đ p ươ p áp xác định yêu cầu phần mềm (Requirement Elicitation) truyền thố ”, “Các kỹ thuậ l q a đ p ươ p áp xác định yêu cầu phầ m m (Req reme El c a o ) â cao”, “Model-Driven Requirements Engineer (MDRE)”, “Tìm ểu kỹ thuậ p ươ p áp ươ lượng thỏa thuận yêu cầu phần mềm” so sá số công cụ UML lựa chọn công cụ chúng em Mục lục Contents Tóm t t Mục lục Hình vẽ, bảng biểu 1.Các kỹ thuậ l q a đ p ươ p áp xác định yêu cầu phần mềm (Requirement Elicitation) truyền thống 11 ươ p áp p ỏng vấn (Interviewing customers and domain experts) 1.1.1.Khái niệm 1.1.2.Bản chấ , đặc thù vấn 1.1.3.Bảng câu hỏi ghi nhận trả lời 1 Các p ươ 12 ươ p áp p ỏng vấn p áp bảng hỏi (Questionnaires) 1.2.1.Bảng hỏi làm gì? 1.2.2.Sử dụng bảng hỏi 1.2.3.Các kỹ thuật thực 124Ư / ược đ ểm 1.2.5.Nhữ lư ý k ực hiệ p ươ p áp bảng hỏi 1.2.6.Một số mẫu 13 ươ p áp a sá (Obser a o ) 10 1.3.1.Bản chấ , đặc thù 10 1.3.2.Phân loại 10 1.3.3.Các kỹ thuật thực 10 134Ư / 14 ươ ược đ ểm 10 p áp N cứu tài liệu Hệ thống phần mềm ươ ự 11 1.4.1.Bản chấ đặc thù 11 Ư d m/ ược đ ểm p ươ p áp 11 2.Các kỹ thuậ l q a đ n p ươ p áp xác định yêu cầu phần mêm (Requirement Elicitation) nâng cao 11 21 ươ p áp mẫu (Prototyping) 11 2.1.1.Khái niệm, đặc thù 11 2 Các rường hợp ường dùng 12 2.1.3.Các kỹ thuật thực 12 214Ư / 22 ươ ược đ ểm 13 p áp Bra s rorm 13 2 Đặc thù 13 2.2.2.Các kỹ thuật thực 13 2.2.3 Ư 23 ươ ược đ ểm 14 p áp Jo appl ca o de elopme (JAD) 15 2.3.1.Khái niệm đặc thù 15 2.3.2.Các kỹ thuật thực 15 233Ư / 24 ươ ược đ ểm 15 p áp Rap d appl ca o de elopme (RAD) 16 2.4.1.Khái niệm đặc thù 16 2.4.2.Các kỹ thuật thực 16 243Ư / ược đ ểm 16 3.Model-Driven Requirements Engineering (MDRE) 17 31 ươ p áp l ận 17 3.2.Một số kĩ ậ đ ển hình 18 3.3.Các công cụ phần mềm hỗ trợ 19 3.3.1.GME(Generic Modeling Environment) 19 3.3.2.DSL TOOLS ( Domain-Specific Language Tools) 20 3.3.3.EMF(Eclipse Modeling Framework) 21 3.4.Các dự án phần mềm cô ực dựa MDRE 23 3.4.1.DMAN project 23 3.4.2.OPENPROD Project.( Open Model-Driven Whole-Product Development and Simulation Environment) 23 4.Tìm hiểu kỹ thuậ Các p ươ p ươ p áp c p áp ươ ươ lượ , lượng thỏa thuận yêu cầu phần mềm25 ỏa ậ cầ p ầ mềm 25 Trư c k ươ lượ , ỏa ậ : 25 Tro ươ lượ , ỏa ậ : 25 k a k ươ Các k a cạ 421C lượ , ươ lược ả q ỏa ậ : 25 lượ x , ỏa ậ cầ 25 độ 25 2 Các ì ức cộ Các cô cụ ỗ rợ 43 dụ ề ệ ố ác (Collaboration situations) 27 ươ ươ lượ lượ , ỏa ỏa ậ 27 ậ .27 4.3.1.Aspire 27 4.3.2.Negoisst 28 4.3.3.EasyWinWin 28 4.3.4.SmartSettle 28 5.Tìm hiể , so sá đá lựa chọn công cụ công cụ UML 30 5.1.ArgoUML 30 1T ă ArgoUML 30 Ư đ ểm: 31 5.1.3 N ược đ ểm: 31 5.2.StarUML 31 1T ă StarUML : 31 2 Ư đ ểm: 32 N ược đ ểm StarUML: 33 5.3.Visual Paradigm 33 Các đ ểm VP-Paradigm 33 Hình vẽ, bảng biểu Các kỹ thuật liên quan đến phương pháp xác định yêu cầu phần mềm (Requirement Elicitation) truyền thống 1.1 Phương pháp vấn (Interviewing customers and domain experts) 1.1.1 Khái niệm Phỏng vấn (interviewing) kỹ thuật quan trọ để phát thông tin yêu cầu cách chi ti t từ mộ cá â N mộ kĩ sư p ần mềm, bạn sử dụng việc phát yêu cầu phần mềm cho hệ thống l n Trong dự án nhỏ, ta sử dụ p ươ p áp công cụ phát yêu cầu phần mềm 1.1.2 Bản chất, đặc thù vấn Phỏng vấ để phát thông tin về:  Các ý ki n ườ vấn  Các cảm ĩ ườ vấn  Tình trạng phần mềm  Các mục tiêu tổ chức nhân  Các thủ tục không thức  Các ă mẫu (template) trợ giúp thực hiệ p ươ p áp K hoạch vấn tổng quan Hệ thố Đại lý bă đĩa ABC N ười lập: Nguyễn Hải Nam Ngày lập: 01/09/2008 STT Chủ đề Yêu cầu Ngày b đầu Qui trình bă đĩa Ngày k t thúc bán N m rõ tất qui trình bán lẻ, 02/09/2008 bán sỉ, qui trình xử lý đặt hàng rì đặt mua N m q rì k ác đặt 03/09/2008 bă đĩa m a bă đĩa đại lý 02/09/2008 Quản lý nhập xuất tồn kho 05/09/2008 05/09/2008 03/09/2008 Hệ thống máy Tìm hiểu kỹ tài nguyên máy 10/09/2008 móc, phần mềm móc, trang thi t bị, phần mềm, hệ đề đa sử dụng tổ chức 10/09/2008 Hình K ho ch vấn tổng quan Bảng k hoạch vấn Hệ thố ……………………… N ườ vấ …………… â c …………… Vị r / p ươ ện ă p ò ,p ò ọp, đ ện thoạ ,… Thời gian: - B - K t thúc: đầu: Mục tiêu: Dữ liệu cần thu thập? Lãnh vực nào? Lư ý - Kinh nghiệm - Ý ki đá á, ận xét vấn Chi ti t buổi vấn Gi i thiệu Tổng quan hệ thống Tổng quan buổi vấn Chủ đề Các câu hỏi Chủ đề Các câu hỏi Tóm t đ ểm Câu hỏi ười trả lời vấn K t thúc Quan sát tổng quan Thờ a c lượng (? phút) Tổng: Phát sinh dự ki n Hình Bảng k ho ch vấn 1.1.3 Bảng câu hỏi ghi nhận trả lời N ườ vấ Câu hỏi oà Oa … Ngày: 03/09/2008 Ghi nhận ườ Câu hỏi 1: Khách hà đặ Trả lời: Gọ đ ện thoạ , đ n tậ đại lý, gởi fax K t quan sát: Đá cậy Câu hỏi 2: Trả lời: Tất đặt hàng khách hàng phả Phả a oá rư c giao a oá rư c m i giao hàng? K t quan sát: T độ không ch c ch n dư i hình thức nào? Câu hỏi 3: Trả lời Chị muốn hệ thống m i giúp cho Chị đ ều gì? Dữ liệu nhập lần hệ thống tự động phát sinh báo cáo loại K t quan sát K ô ưởng l m, ì r ển khai thất bại lần Hình Bảng câu hỏi ghi nhận trả lời 1.1.4 Các phương pháp vấn Phỏng vấn với câu hỏi đóng Là câu hỏ mà đáp ường nằm tình huố xác đị rư c Câu hỏ c ợp cho việc tạo liệu xác, tin cậ để dễ dàng phân tích Hiệu đỏi hỏ ười vấn phải có kỹ ă để đ ều khiển vấn Ư / ược đ ểm: Ưu điểm:  Ti t kiệm thời gian vấn  Dễ dàng so sánh vấn  Đề cập đ n phạm vi rộng cách nhanh chóng  Chủ động vấn  Đạ liệu thích hợp Nhược điểm:  Buồ c c o ườ vấn  K ó có nhiều thông tin chi ti t  Thi ý ưởng  Mất thời gian chuẩn bị câu hỏi  Không tạo mối quan hệ ũa ữ ười vấn nhữ ườ vấn Phỏng vấn với câu hỏi mở Là loại câu hỏi v i phạm vi trả lời tự Câu hỏi thích hợp k ườ p â c q a âm đ n câu trả lời rộng sâu Câu hỏi mởi làm cho câu trả lời không bị ò bó k ô ượng ép Ư / ược đ ểm: Ưu điểm:  N ườ vấn dễ dàng trả lời  Không ràng buộc câu trả lời  Có thể p s ý ưởng m i  Cung cấp nhiều chi ti  Có c c o ười vấ k ô chuẩn bị rư c  Tính linh hoạt cao  Tính xác  Tính tiện lợi Nhược điểm:  Thời gian hỏi kéo dài  Nội dung ượt qua phạm vi câu hỏi  Ư đ ểm / ược đ ểm p ươ p áp  Nguồn thông tin phụ thuộc ườ vấn  N ười vấn phải có kỹ ă ao p tốt  N u không chuẩn bị tốt dễ bị thất bại  Có thể bấ đồng ngôn ngữ khái niệm 1.2 Phương pháp bảng hỏi (Questionnaires) 1.2.1 Bảng hỏi làm gì? Bảng hỏi có ích cho việc thu nhập thông tin từ thành viên công ty về:  Các q a đ ểm  Các hiểu bi t  Các ác động  Các đặc đ ểm       1.2.2 Sử dụng bảng hỏi Thu thập thông tin nhiề ười v đ đ ểm khác Nhiề ười tham gia vào dự án Cần thực việc tham dò Cần giải quy t vấ đề rư c vấn 1.2.3 Các kỹ thuật thực Các câu hỏi mở Phù hợp cho việc thu thập ý ki n Các câu hỏ Được sử dụng có danh sách tùy chọn Hình Giao diệ ời dùng GME 3.3.2 DSL TOOLS ( Domain-Specific Language Tools) Domain- pec f c La a e Tools , bạ b t, cho phép xây dựng nhà thi t k đồ họa tùy chỉnh th hệ mã nguồn sử dụng ký hiệ sơ đồ miền cụ thể Nói cách khác, cho phép bạn tạo thi t k đồ họa UML giố ro s al d o 2005, mà tạo yourLanguageName tập tin Sử dụng công cụ D L k ản, bạn tạo ngôn ngữ UML riêng bạn ươ đố a , k bạn muốn làm số nhiệm vụ phức tạp ( ố m thuộc tính tùy chỉnh cho tài sản tên miền, làm công cụ tùy chỉnh riêng thay sử dụng mẫ ă bản), nhậ tố đặc biệt v i việc thi u tài liệ ng dẫn Đâ ững vi t tất về: sáng tạo ngôn ngữ riêng bạn tên miền cụ thể số chi ti đ ều khiển thân thiện v ười sử dụ , cũ ạo mã riêng bạn Trong mã nguồn kèm theo vi t, bạn tìm thấy dự án công cụ ví dụ D L b đầu từ mẫu ngôn ngữ tối thiể , mà ô m a ă ô để lộ cho bạn Cuối cùng, dự án tạo v s al d o DK phát hành vào tháng Bây rư c b đầu, nhanh chóng gi i thiệu công cụ DSL Mùa hè này, Công cụ D L sáp nhập v i SDK Visual Studio (họ sử dụ để hai phần riêng biệ ), không pha trộn chúng lên Công cụ DSL thực l p sử dụng Visual Studio DK phép bạn tạo ứng bạn -in Chúng ta thấ mối quan hệ Visual Studio SDK, Công cụ D L, s al d o 2005 ba lĩ ực này: Nhờ vào công cụ DSL, bạn sản xuất mộ ó ười dùng cà đặt máy tính mì bổ sung thêm chức ă m i cho Visual Studio mình, chức ă m i ă l q a ô ữ bạn (hộp công cụ mình, nhà thi t k đồ họa m i nó, m i mở rộng tập tin, vv) 3.3.3 EMF(Eclipse Modeling Framework) Eclipse EMF sử dụ để mô hình mô hình tên miền bạn EMF có phân biệt siêu mô hình mô hình thực t Meta mô hình mô tả cấu trúc mô hình Mộ mô ì sa ể siêu mẫu EMF cung cấp khuôn khổ plugable để lư rữ thông tin mô hình, mặc định sử dụ XMI (XML Me ada a I erc a e) để tồn tạ đị ĩa mô ì EMF c o p ép để tạo s mô ì ô q a p ươ ện khác nhau, ví dụ XMI, c ú thích Java, UML mộ lược đồ XML Mô tả sa đâ sử dụng công cụ EMF trực ti p để tạo mô hình EMF Một EMF meta-mô hình q định bạn tạo ươ ứng Java triển khai l p học từ mô hình này.EMF cung cấp khả ă rằ mã tạo mở rộng cách an toàn tay Ư đ ểm: V i EMF bạn thực mô hình tên miền bạn rõ ràng, giúp cung cấp khả ă hiển thị rõ ràng mô hình EMF cũ c cấp chức ă ô báo a đổi mô hình rường hợp a đổi mô hình EMF tạo giao diện nhà máy sản xuấ để tạo đối ượng bạ , ó úp bạn giữ cho ứng dụng bạn từ l p học implementaiton cá nhân.Lợi th khác bạn tạo mã Java từ mô hình bất k thờ đ ểm Cà đặt EMF Eclipse: chọ elp → I s all New of ware C ọn Modeling and install EMF - Eclipse Modeling Framework SDK Tham khảo địa chỉ: http://www.vogella.com/tutorials/EclipseEMF/article.html xem cà đặt, tạo project 3.4 Các dự án phần mềm thành công thực dựa MDRE 3.4.1 DMAN project hệ thống lập k hoạch quản lý đ máy bay sân bay l n châu Âu Nó mô tả cách hoạ động co ườ , rường hợp sử dụ mô ì áp dụng tích hợp sử dụng kiểm đồng óa để yêu cầu mô hình DMAN Kiểm đồng hóa ứng dụng tạ a đoạ xác đị rư c RESCUE (Requirements Engineering with Scenarios for User-Centred Engineering) ti t lộ thi u sót tiềm ă mâ ẫn mô hình yêu cầu bên liên quan lầ lượ ng dẫ để cải thiệ mô ì đặc đ ểm kỹ thuật k t Biên v ác độ đối v i yêu cầu mô hình hội nhập, mô tả ươ la làm việc để mở rộng áp dụng RESCUE Hình Quá trình cấu trúc RESCUE 3.4.2 OPENPROD Project.( Open Model-Driven Whole-Product Development and Simulation Environment) OPENPROD dự án ITEA2 châu Âu cung cấp một, toàn sản phẩm phát triển nhanh chóng hệ thống, mô hình hóa mô phỏ mô rườ mô ì đ ều khiển mở tích hợp vào tảng phát triển phần mềm công nghiệp mở đầu (Eclipse) v i mã nguồn mở (Ope Model ca, ) , cũ mô ì óa mô p ỏng công cụ công nghiệp ứng dụng Các đề tài nghiên cứu là: Tích hợp mô hình phần mềm phần cứng cách Modelica - UML - SysML hội nhập Cải ti n trình biên dịch mô hình Biên soạn Modelica song song tả đa lõ Công cụ khả ă ươ ác Áp dụng Dự O EN ROD ITEA đặ để phát triển toàn sản phẩm mở, mô ì đị ng phát triển hệ thống, mô hình hóa mô (M & ) mô rường tích hợp OPENPROD mô rường tích hợp đầu phát triển phần mềm công nghiệp mở tảng Eclipse v i mã nguồn mở đầu mô hình hóa mô công cụ ậ Ope Model ca cô ệp M & S công cụ ứng dụng K t tích hợp mô rường dựa r mô ì c cấp cho máy tính hỗ trợ xác nhận phát triển sản phẩm tất cách từ mô hình kinh doanh yêu cầ để thức thực thi mô hình triển khai sản phẩm Đ ều c t giảm thờ a để thị rường đảm bảo chấ lượ cao ô q a ệc sử dụng giải pháp mở dựa mô hình v i cao ác động Hình Unified Modeling: Meta-modeling & Modelica & UML http://www.isis.vanderbilt.edu/Projects/gme/ http://www.codeproject.com/Articles/16833/DSL-Tools http://www.vogella.com/tutorials/EclipseEMF/article.html Comment [1]: Remove Tìm hiểu kỹ thuật phương pháp thương lượng thỏa thuận yêu cầu phần mềmCác phương pháp chung thương lượng, thỏa thuận yêu cầu phần mềm rư c thương lượng, thỏa thuận: nh ngh a ấn đ Trư c k đàm p ực t b đầ đ ều quan trọng xác định vấ đề cách p â c ì ì xác định mục đ c đàm p dụ, dự án phần mềm vấn đề phụ thuộc vào mục tiêu tổng thể dự mục a đoạn hiệ a Các c ộc đàm p cầ ro a đoạ đầ l q a đ n vấ đề cấp cao ro k c ộc đàm p sa có ể tập trung vào khía cạnh tiểu dự án cụ thể Các cầ ập ro a đoạ đầu dự án thể phạm vi rộ ữ cá có ể ực ệ ro ữ đ ề k oả ổ q rở c xác sa Xác định vấ đề đàm p đ ều cần thi để b l q a xác đị đ ều p ươ p áp kỹ ậ đàm p c đ nh c c ên iên uan Các “b l q a q a rọ c o cô ” cầ xác đị ệc m ữ ườ ( a ữ ườ đạ d ệ ) mà cầ lợ c ọ cầ c cấp mộ ệm ụ đầ ác cầ c o cô q rì đàm p N ữ “b l q a q a rọ c o cô ” ữ ườ có ể ạo ỏa ậ c o cầ ạo l k c o ỏa ậ ệc xác đị đú ườ có ể úp đẩ a q rì đàm p h t m c tiêu Trư c x đột xác định bên liên quan phả đưa mục tiêu cá nhân họ bà bạc Mục tiêu mộ đố ươ mà ệ thố xem xé đạ Các “b l q a q a rọ c o cô ” ể ệ mục cá â ọ oặc mục ườ mà ọ đạ d ệ Tùy thuộc ấ đề xác đị đặc đ ểm b l q a a rò, m ề k n thức, kinh nghiệm… mà mục xâ dự cấp độ c k ác a , k a cạ cấp cao ( k ả ă ệ ố ó c , â q ỹ, lịc rì dự …) mố q a âm kỹ ậ cấp độ ấp mô rườ p r ể a ề ả đc hân t ch m c tiêu Các mục p ệ k ểm để p ệ x độ bằ p â c mục sở c b l q a dụ có ể xả x độ ữa mức độ cầ dịc ụ p a ườ dù rà b ộc â q ỹ c cấp Xác định xung độ ường trình thủ công dựa vào ki n thức chuyên môn bên liên quan khả ă ườ đ ều hành Phân tích mục tiêu không ti t lộ mâu thuẫn mục b l q a mà cò c o thi u quán, rủi ro, bất tr c giả định ẩ N ệm ụ ỗ rợ bằ kĩ ậ ề độ rong thương lượng, thỏa thuận: G a đoạ l q a đ n việc thực thực t việc đàm p đị ĩa thỏa thuận Dựa mục p ệ x độ xác định, bên liên quan tìm ki m giải pháp có lợi chấp nhậ bở ấ b Hoạ độ cấ rúc lạ ấ đề p r ể lựa c ọ a để giải quy t vấ đề, dụ lựa c ọ rao đổ lợ c c o a a k p r ể ả p áp có ể có, b l q a ố ấ mộ ả p áp ố ấ Các ả p áp cầ có mộ ả c eo c ẩ ố ấ bở b l q a N k ô có c ẩ , ô số rị ữa b k ô p ù ợp Bở ậ , cầ ổ c ức mộ p đàm p ma c ẩ bị để xác đị c ẩ Tù ộc loạ x độ ấ đề cầ ả q , c lược k ác a ô q a để đố p ó x độ ệc l q a ỏa ệp, ro b l q a có ể bỏ mộ p ầ cầ mì để đổ lạ đồ ậ ro cầ k ác, a có ể đưa ả p áp đáp ứ cầ b , a có ể p ục đàm p k ác ừa ậ cầ mì Mộ số cô cụ p r ể để ự độ ả q x độ dụ ệ ố O Rob so F ckas au thương lượng, thỏa thuận: Tro a đoạn bên liên quan (hoặc công cụ tự độ ) p â c đá k t đàm p đề nghị đàm p u cần thi dụ có ể m ả p áp đem lạ lợ c c o mộ b l q a mà k ô ả ưở b cò lạ G a đoạ cũ l q a ệc đảm bảo c ấ lượ k q ả đàm p N có p r ể m làm c o ỏa ậ rở lỗ , cầ đàm p lạ N p ầ mềm p r ể eo mô ì có lặp lạ , cầ l ục p r ể k q ả đàm p cầ m p s có ể â x độ m 4.2 Các kh a cạnh thương lượng, thỏa thuận yêu cầu 4.2.1 Chiến lược giải xung đột T eo p â c a T omas (Thomas K (1976) Conflict and conflict management) Dựa r c : a k ô q (các b l q a ập r đáp ứ cầ bả â mì ) ợp ác a bấ ợp ác (các b l q a ập r đáp ứ cầ ườ k ác) T omas đưa p ươ ả q x độ : ươ 1: Cạ (ép b ộc) l q a đ n việc tập r đạt mối quan tâm riêng mì làm ố c p ườ k ác, ường dẫ đ n tình “ nga” ươ G úp đ (làm mị ) l q a đ n việc cố g để đáp ứng mối quan tâm ười khác mà không cầ c ú ý đ n mối quan tâm c mì Đ ều có ĩa bên liên quan tự s ường chỗ c o ười khác ươ 3: Phối hợp (giải quy t vấ đề): tập r đáp ứng mối quan tâm tất b để tìm giải pháp thay th mà cố g để đáp ứng mối quan tâm tấ b , ập r ệc m k m ố “ -t ” ươ Né rá (rú l ) b l q a có ể c ố , c ộc đàm p ươ T ỏa ệp (c a sẻ) b l q a cù ượ để m ả p áp r a c ấp ậ Theo p â c a F s er Ur (Fisher R, Ury W (1983) Getting to yes: Negotiation agreement without giving in) ệc lựa c ọ c lược ả q x độ p ụ ộc lợ c b l q a , p ụ ộc lẫ a lợ c , sức mạ mỗ b , c ấ lượ mỗ b a ác ả F s er Ur đưa c lược ả q x độ : C lược mềm (Soft): Giả đị bên sẵn sàng hợp ác để tìm ki m thỏa thuận thỏa đá Các bên liên quan hợp tác mộ óm ải quy t vấ eo mộ q rì đồng thuận C lược ( ard) Các b l q a co đố ủ cạ àk ô ấ đ mộ ố “ ” K b l q a cạ , x độ xả đ ề k ô ể rá k ỏ C lược c ( r c pled) a ác ả đề x ấ c lược mộ k ợp a c lược ó r hi ược (Soft) c i u c i u đ hu ic c c đ i ư i kh c h đ i u Chi ược c (Hard) c i u c i u chi h i điể c c hô c đ i u đ i h c i c i i kh c u điể c thân iđ i ộ điể u ch h h hu hiệ đ để đ h hu ki ộ câu i kh c ch h Nh h h h ch hu c u c u c h ộ i hu đu c c iđ h i u điể u ch c h h h u c u h hu ki ộ câu i h ch h Nh h c h ch h ch â ch đu c Hình 10 Các chi l ợc giải quy C lược c cầ ố q a rọ là: - Tác rờ co ườ ấ đề - Tập r lợ c c ứ k ô p ả q a đ ểm - Tạo k ả ă có ể rư c k q đị - Đạ đ k q ả dựa r c ẩ k ác q a x hi ược u c (Principled) c i u i i i u đ c i u ộ k u hô i h, đ hiệu u hâ hiệ ic i c ic c đ khô h huộc i u ợi ch, khô h i u điể h h ợi ch hc ộ điể u ch h i h h ch c c ợi h iể hi u ch , u đ h u Nh h iệc c c tiêu chí khách quan đ k u c c i u chu độc i ch c c u c, khô â c đột 4.2.2 Các h nh thức cộng tác (Collaboration situations) - Cù a /Cù địa đ ểm Tổ c ức c ộc ọp mặ đố mặ p ổ b để p ệ đàm p cầ Tro kỹ ậ lấ cầ p ầ mềm, ề p ươ p áp đạ ệ q ả ố ấ oặc c ỉ có ể ực ệ k óm làm ệc mộ đồ K ổ c ức b ổ ặp mặ đố mặ , ệ p ô k a ác r ệ để, úp mọ ườ có ể ể a , q a rú đá kể a đàm p - K ác a /Cù địa đ ểm Tro ề rườ ợp, b l q a có ể cù ị r lạ k ô ể ổ c ức ữ c ộc ọp mặ đố mặ rì đàm p ườ kéo dà q a b ổ ặp mặ oặc k ó có ể ổ c ức c ộc ọp c ề mặ a b Mộ â k ác ữ ô để q đị k ô có sẵ ro c ộc ọp Tro rườ ợp , cầ p ả bư c mộ k ô đồ bộ, ổ c ức mộ k ô a làm ệc c để b l e q a có ể óp ý k q rì đàm p đa d ễ eo dõ rì đàm p - Cù a /K ác địa đ ểm Tro rườ ợp b l q a k ô ể cù mộ địa đ ểm, ẫ có ể ổ c ức ữ c ộc ọp mặ đố mặ ô q a bị r ề dẫ ô xa Các b có ể ươ ác cù a ô q a ộ ị rực p r ể cô ệ r ề ô , k oả ề địa lý k ô cò ả ưở q l rì đàm p - K ác a /K ác địa đ ểm ệ a , q rì đàm p cầ cà có x d ễ ro mô rườ k ô đồ xa ề địa lý cà có ề dự p ầ mềm ma oà cầ có am a ề ổ c ức Tro rườ ợp , cầ cô cụ đặc b ệ để b l q a có ể óp ý k địa đ ểm k ác a eo a k ác a 4.2.3 Các công cụ hỗ trợ thương lượng thỏa thuận Cô cụ ụ độ : Công cụ cung cấp mộ sở hạ tầ để đàm p ỗ trợ tất tình phối hợp khác Chúng cho phép tất b l q a để thể hiệ mo m ố họ, để giao ti p nhữ ý ưở , c cấp am số, chia sẻ k t r a , k q ả c ối Ví dụ ema l, c a , oặc p ò đa p ươ ện Hệ thống thụ động không hỗ trợ việc xâ dự ội dung v i gợ ý ng dẫn Cô cụ ỗ rợ lợ c c ủ độ : Công cụ loại hình có khả ă ng dẫn bên liên q a ng t i thỏa thuận, ví dụ, bằ xác định tình cho có lợi Hệ thống ậy úp ười sử dụng việc xây dựng, thẩm định, giải quy t vấ đề k ó k ă Các cô cụ cũ rợ úp ệc ạo ượ ạo ữ ườ đáp ứ cầ , cũ ỗ rợ đá rì đàm p N ữ ệ ố ỗ rợ lợ c c ủ độ ườ lề mộ rì đàm p ấ đị Cô cụ ỗ rợ ca ệp c ủ độ : Các hệ thống có khả ă bổ sung đ ều phối hoạ động bên liên quan Ví dụ, ệ ố p p động b oặc đề nghị thỏa thuậ để chấp nhậ Để cung cấp khả ă ậy, hệ thống truy cập sử dụng tri thức sở sử dụ ác p ần mềm ô m eo dõ q rì đàm p oạt động cá nhân đàm p 4.3 dụ hệ thống thương lượng, thỏa thuận 4.3.1 Aspire Aspire phần mở rộ ệ thống Inspire cung cấp ỗ rợ c ủ động v ác phần mềm A Tác đưa lờ k c o đàm p cách phân tích mộ c ộc đàm p đa d ễn ra, sử dụng quy t c xuất phát từ l ệ có T ô ườ , ệ ố áp dụ c o đàm p so p ươ Aspire thực mộ mô ì đàm p ba a đoạn , bao gồm tiề rư c đàm p , ti đàm p , sa đàm p Các hoạ độ c ro a đoạ rư c đàm p án phân tích tình hình tạ l q a đ n vấ đề tùy chọn việc xác định bên liên quan Tro a đoạ rư c đàm p Asp re ỗ trợ bên liên quan việc tìm hiể rường hợp đàm p cách cung cấp mô tả chi ti t ì ì ba đầu Các bên liên quan mời thể hiệ cầ họ l q a đ n vấ đề giải pháp thay th Trong giai đoạ đàm p b l q a rao đổ ô đ ệp c cấp ô để trình bày quan đ ểm mì Đàm p k t thúc thỏa thuậ thực bên liên quan dừ đàm p N oà ra, để p â c q rì đàm p đa d ễ b l quan xem lịch sử q rì đàm p , theo dõi công cụ ệ ố Giai đoạn sa đàm p sử dụ để p â c đá k t đàm p q đị có cần thi để ươ lượng lại thỏa thuậ có Dựa r ô ập vào giai đoạ rư c đàm p , Asp re xác định n u thỏa thuận tạ đáp ứng cầ đối tác Nó kiểm tra n u có giải pháp tố có ể cho mộ b đàm p , mà k ô có thiệt hại cho phía bên Aspire có hỗ trợ mạnh mẽ c o a đoạn phát triển giải pháp p â c q rì đàm p đưa ững gợi ý tích cực 4.3.2 Negoisst Hệ thố đàm p Ne o ss ập trung vào hỗ trợ đàm p ữa doa ệp ro ươ mạ đ ện tử Dựa lý thuy t hệ thống thông tin liên lạc k t hợp quản lý tài liệ mố l lạc Các đội sử dụng ngôn ngữ tự để rao đổi tin nh n bán cấu trúc soạ đ ều khoản hợp đồng phức tạp Hệ thố đàm p c o giao dịc ươ mạ đ ện tử ường hỗ trợ a đoạn chung ươ mạ đ ện tử: tìm ki m đối tác tiềm ă ; tìm ki m đàm p ỏa thuận; thực hiệ ĩa ụ hợp đồ Tro rườ ợp , mục đ c hệ thống Negoisst hỗ trợ a đoạ đàm p cách cung cấp rợ úp rực quan, rõ ràng, hiệu đị q rì đàm p iữa ười Sử dụng tin nh rao đổi bán cấ rúc, đàm p có ể lựa chọn loại tin nh k ác a để làm c o d ễ đạ ý đị rõ rà Hệ thống Negoisst cung cấp loạ ô đ ệp sa p ác ảo q rì đàm p cầu, đề nghị, phản cung cấp, chấp nhận, từ chối, câu hỏi, làm rõ 4.3.3 EasyWinWin EasyWinWin cách ti p cậ đàm p cầu k t hợp mô hình xo n ốc win-win công nghệ phần mềm v i kỹ thuật, ki n thức hợp tác tự động hóa hệ thống hỗ trợ óm Nó dựa r mô ì đàm p Boe m Các mục tiêu cá nhân b l q a â óm đ ều kiện giành chi n th ng Mâu thuẫn đ ều kiện giành chi n th ng, rủi ro không ch c ch ghi nhận vấ đề ù c ọ đưa để ả q ấ đề Thỏa thuậ phát triể đ ều kiện chi n th ng lựa chọ bằ ệc đ n trình quy đị lý rư c EasyWinWin giúp cho nhóm b l q a đạ hiểu bi t tố kỹ ề vấ đề đa ỗ trợ ệc ợp ác q a đ ểm ườ k ác Đâ ví dụ hệ thống hỗ trợ đàm p c cực EasyWinWin yêu cầu cách ti p cậ đàm p cũ bao ồm bư c để p ệ p â c cầ Ví dụ, ro c ộc ọp k độ , tất b l q a mời gử ý k họ Mộ ườ rợ úp p â c ý k ạo lập đ ề k ệ b l q a Các cô cụ rợ úp c ộc ọp k độ đ ện tử ỗ rợ c o ệc sả s ý ưởng, nhóm công cụ p ác ảo để tổ chức ý ưởng, công cụ bỏ phi để đá ý ưởng Trong Eas W W ười tham gia sử dụng công cụ bỏ phi đa c để đá độ c o đ ề k ệ Các óm sử dụng EasyWinWin suốt chu trình phát triể để c a sẻ p ạm dự , định ĩa cầu cấp cao, yêu cầu chi ti c o ă , c ức ă ộc , yêu cầu việc chuyể đổi hệ thống cho khách hà ười sử dụ ệc ợi mở mục ỗ rợ mạnh mẽ; hỗ trợ sả s ải pháp y dựa vào úp đ mộ đ ề p ố Không có gi i hạ đối v i số bên liên quan tình phối hợp v i, hầu h t óm sử dụng EasyWinWin thờ a (cù địa đ ểm oăc k ô ) 4.3.4 SmartSettle SmartSettle hệ thống hỗ trợ đàm p sử dụ I er e phép ươ ác ữa bên liên quan dự án v i mục tiêu mâu thuẫn mà muốn ti p cận thỏa thuậ ệc ỗ trợ cầ mô ì ấ đề b ể d ễ ý ưở eo mà có ể sử dụng thuật toán tố óa mar e le sử dụng mộ k ực ọp c để soạn mộ k ỏa ậ i ngôn ngữ tự nhiê Độ có ể ể ệ bằ đồ ị lò rì đàm p mar e le p tục sử dụng thuật toán tố óa c ể đổi mục tiêu mâu thuẫn vào giải pháp công hiệu tạo đề xuấ rư c k đạt thỏa thuận Sau thỏa thuận dự ki n đạ được, SmartSettle cải thiện tình hình cách phân phối lợi ích công bằ c o b Việc sử dụng thuật toán tố óa dẫ đ n giải pháp tố đa óa hài lòng lẫn cho tất bên liên quan Mộ đ ề p ố dẫ b l q a ô q a a đoạn trình SmartSettle, bao gồm a đoạn sau: - Chuẩn bị c o đàm p - Xác đị lợi ích (các gợi mở mục b l q a dự thảo khuôn khổ cho thỏa thuận) - Xác đị đ ề k ệ (xác đị ) - Xác đị đ ề k oả bả (đề nghị giải pháp chấp nhận thỏa thuận dự ki n) - Tố đa óa lợ c ( ố óa ả p áp để đạ độ cao ) - Đảm bảo cam k Bảng so sánh hệ thố đàm p Aspire - Đ c iệc h c hiệ u hđ phán hi ược i i u u độ đ i c h h cđ hu h : đ phán: uc u h h i - u đ h : h hu Đ u h h c h i i , kh c đ điể Negoisst EasyWinWin SmartSettle cđ h : c đ h h c đ h đ phán: u c u, i đ , c c đ , ch h , ch i, câu h i, õ - u đ h : Đ h h hợ đ - cđ h : cđ h c đ ch đ h , c c ch đ đàm phán, i i hu c đ h c c i u u h hiệ đ độ ưu i ch u kiệ h c c đ kh kh đ h : cđ hc c đ c c ch Đ h h hu - u đ h : Mô h h c i ợ c, â h hư - - Đ u tranh h c h i i , kh c đ điể c h i i , kh c h c đ điể cđ h : hu c đ h ợi ch h ã đ h : hi cô i đ h ợi ch u đ h : đ c k h h hư h, â h c h i kh c đ điể i , Tìm hiểu, so sánh đánh giá lựa chọn công cụ công cụ UMLArgoUML ArgoUML công cụ - mô rường giúp phân tích xây dựng hệ thống phần mềm đố ượng Nó hỗ trợ tất sơ đồ UML b ể đồ l p, biể đồ ca sử dụng, biể đồ hoạ động, biể đồ trình tự, biể đồ triể k a … Ar oUML vi t ngôn ngữ Java Nó chạy bất k tảng hỗ trợ Java đ n Java Argo giúp tạo tập tin XMI (XML Metadata Interchange) - mộ định dạng tập tin tiêu chuẩn cho thi t k UML 5.1.1 Tính ArgoUML Các biểu đồ UML mà Argo hỗ trợ a đâ loại biể đồ hỗ trợ AgroUML: · đồ l p · Biể đồ trạng thái · Biể đồ hoạ động · Biể đồ ca sử dụng · Biể đồ cộng tác (Collaboration diagram) · Biể đồ triển khai · Biể đồ trình tự Hỗ trợ XMI : - XMI mộ định rao đổi dựa XML công cụ UML ArgoUML sử dụ c lư ô eo c ẩ để dễ dà rao đổi v i công cụ ươ c i tiêu chuẩn mở XMI Phiên bả sử dụng cho UML 1.3 ArgoUML 0.20 hỗ trợ UML 1.4 v định dạng XMI 1.1 1.2 Sinh mã : - ArgoUML sinh mã cho ngôn ngữ Ja a, C ,C#, Các ô ữ khác thêm chức ă mod le Đặc biệ , mã Ja a s c o p ép c dịch ược (tức dịch từ mã nguồn Java sơ đồ UML) Kỹ thuậ ược lại: - ArgoUML cung cấp mô-đ dịc ược (framework), cho phép nhập tệp java (source) để dịc ược sơ đồ UML Chỉnh sửa biểu đồ : - ArgoUML hỗ trợ nhiề ă chỉnh sửa biể đồ UML Ngôn ngữ: - ArgoUML hỗ trợ ngôn ngữ: Anh Mỹ, A ti ng Na Uy Trung Quốc , áp, Đức, Ý, Bồ Đào N a, Tâ Ba N a, N a, Một số đ nh dạng biểu đồ : - đồ lư dư i dạng GIF, PNG, PostScript, Encapsulated PS, XMI , PGML SVG         5.1.2 Ưu điểm: ArgoUML bao gồm số ă ỗ trợ yêu cầu (về mặt nhận thức) thi t k phần mềm eo p ươ p áp đố ượng ArgoUML hỗ trợ tiêu chuẩn mở rộng rãi - UML, XMI, SVG, OCL chuẩn khác ArgoUML ứng dụ Ja a 100% Đ ề c o p ép Ar oUML để chạy tất tảng ArgoUML sản phẩm mã nguồn mở, cho phép mở rộng hay tùy bi n 5.1.3 Nhược điểm: Không hỗ trợ đầ đủ UML 2.0 Không thể U do! Cũ có ĩa ười dùng gầ thể xảy ra) Vi t Java, chạ ươ đối chậm so Thi u tùy chọ định dạng 5.2 ưk ô sa só (đ ều không i starUML StarUML StarUML dự án mã nguồn mở, phát triển công cụ UML mạnh mẽ, linh hoạt, mở rộng, nhiề ă , c ạy Win32 Mục tiêu dự án StarUML xây dựng phần mềm giúp xây dựng biể đồ UML, thay th thay th phần mềm ươ mạ Ra o al Rose 5.2.1 nh StarUML : i Chính xác UML mô hình chuẩn : - StarUML tuân thủ nghiêm ngặt tiêu chuẩ đặc đ ểm kỹ thuật UML eo q định OMG modeling phần mềm Hiện tại, StarUML hỗ trợ đ n chuẩn UML m i 2.0 ii Open software model format : - StarUML quản lý tất file định dạng chuẩ XML Các mã vi t theo cấu trúc dễ đọc hiể , định dạng chúng dễ dà chuyể đổi sử dụng phân tích XML Tro k đó, p ần mềm khác lại quản lý tất tập tin theo hệ thống quản lý riêng họ cách thi u hiệu iii Hỗ trợ MDA : - StarUML thực hỗ trợ Hồ sơ UML ( rof le) Đ ều tố đa óa k ả ă mở rộng UML, làm cho nhữ lĩ ực c , q ốc p ò , ươ mạ đ ện tử, bảo hiểm, hàng k ô cũ có ể sử dụng công cụ mô hình hóa hỗ trợ cho hoạ động họ ( xâ dựng hệ thống chẳng hạ ) Các Mô ì độc lập tảng (PIM), Mô hình phụ thuộc tảng ( PSM) mã thực thi tự động tạo theo bất k cách iv Khả ă ứng dụ p ươ p áp ền tảng : - StarUML tạo mô rường phù hợp thích nghi v i bất k q rì /p ươ p áp Không v i tả J2EE, NET mà cò cấ rúc mô hình phần mềm v Khả ă mở rộng : - Tất chức ă công cụ arUML tự động theo Microsoft COM Bất k ngôn ngữ hỗ trợ COM ( Visual Basic Script , Java Script, VB, Delphi , C + + , C #, VB.NET, Python, vv ) sử dụ để đ ều khiển StarUML phát triển Add-ins vi Chức ă xác m mô ì p ần mềm : - N ười dùng gặp phải nhiều sai lầm trình mô hình hóa phần mềm Sai lầm ậy tốn n k ô kh c phục rư c a đoạn lập rì Để ă c ặn vấ đề này, StarUML tự động xác minh mô hình phần mềm phát triển bở ười sử dụng, cho phép phát s m sai sót, làm giảm sai lệch so v i phần mềm hoàn chỉnh vii Hỗ Add-in: - StarUML bao gồm nhiều add-in hữu ích v i chức ă k ác a c ể đổi qua lại mã nguồn mô hình (sinh mã dịc ược mô hình), hỗ trợ định dạng tập tin Ra o al Rose, rao đổi thông tin mô hình hóa v i công cụ khác sử dụn XMI , hỗ trợ mẫu thi t k Các add-in ă k ả ă dù lạ , ă ă s ất, linh hoạt khả ă ươ ác c o ô tin mô hình hóa           5.2.2 Ưu điểm: Hỗ trợ hầu h t biể đồ UML 2.0 Bộ ă phong phú cho phép tùy chọ định dạng Có khả ă ạo mã nguồn từ biể đồ UML Cho phép dịc ược mã sơ đồ UML Hỗ trợ ngôn ngữ: C + +, C # Java thời gian tải nhanh / thời gian thực so v i công cụ UML khác Giao diệ ười dùng thân thiện giống Visual Studio Hỗ trợ xuất khẩ sơ đồ định dạng phổ bi J G / XMI 5.2.3 Nhược điểm StarUML: Có không hỗ trợ xuất khẩ sơ đồ định dạng SVG (Scalable Vector Graphics) Không hỗ trợ làm việc theo nhóm dự ( a đoạn mô hình hóa bao gồm nhiề ười) 5.3 Visual Paradigm Visual Paradigm for Unified Modeling Language (VP-UML) công cụ UML Công cụ thi t k cho nhiề đố ượng sử dụng khác nhau, bao gồm kỹ sư p ần mềm, nhà phân tích hệ thống, phân tích kinh doanh, ki rúc sư ệ thố , ười quan tâm việc xây dựng hệ thống phần mềm quy mô l , đá cậy thông qua việc sử dụ p ươ p áp ti p cậ đố ượng VP-UML hỗ trợ tiêu chuẩn m i Java ký hiệu UML Giống v i ArgoUML, hỗ trợ trình sinh mã Java lẫn dịc ược từ mã Java biểu đồ UML Ngoài ra, VP-UML tích hợp v Ecl pse, Borla d ® JB lder Ne Bea s IDE để hỗ trợ gia đoạn phát triển phần mềm Quá trình chuyể đổi từ phân tích, thi t k sang thực hiệ tích hợp hoàn toàn công cụ VP-UML, làm ảm đá kể công sức cần bỏ tất a đoạn ò đời phát triển phần mềm Các ưu điểm VP-Paradigm  Có ă p â c ả ưở T ă úp p â c ác độ đ n toàn biể đồ UML n cập nhật thi t k ro  Hỗ trợ thi t k hệ thống phần mềm cho phép k t nối v i thành viên khác nhóm – team collaboration (làm việc nhóm Phân tích thi t k )  Hỗ trợ tạo báo cáo trình xây dựng mô hình hệ thống  Hỗ trợ sinh code dịc ược cho Java C++  Tích hợp v i IDE phổ bi Ecl pse, Ne Bea s, I ell J IDEA, s al  C o p ép đánh giá nhận xét thi t k  Hỗ trợ k thừa: Có thể mô hình hóa lại hệ thống mà làm lại từ đầu (k thừa mô ì rư c p r ển)  Có phiên miễn phí (Community Edition)  Mộ đ ều lựa chọ , có cộ đồng sử dụng l n, sẵn sàng hỗ trợ k ười dùng gặp vấ đề