Đang tải... (xem toàn văn)
Thiết kế hướng đối tượng và xây dựng hệ thống thông tin phức tạp
Bộ Giáo dục và Đào tạo Viện KHoa học và Công Nghệ Việt nam Viện Công nghệ thông tin Nguyễn Mạnh Đức thiết kế Hớng đối tợng và xây dựng hệ thống thông tin phức tạp Chuyên ngành: bảo Đảm toán học cho máy tính và hệ thống tính toán Mã số: 62. 46. 35. 01 Tóm tắt Luận án tiến sĩ toán học Hà Nội 2007 Lun án đợc hoàn thành tại Viện Công nghệ thông tin, Viện Khoa học và Công nghệ Việt Nam Ngời hớng dẫn khoa học: PGS.TS. Nguyễn Văn Vỵ PGS.TS. Đặng Văn Đức Phản biện 1: GS.TS. Nguyn Thúc Hải Trng HBK H Ni Phản biện 2: PGS.TS. Nguyn Ngc Bình Trng HCN HQG H Ni Phản biện 3: PGS.TS. Đỗ Trung Tuấn Trng HKHTN HQG H Ni Luận án sẽ đợc bảo vệ trớc Hội đồng chấm luận án cấp Nhà nớc tại Hội trờng Viện Công nghệ thông tin, Viện Khoa học và Công nghệ Việt Nam vào hồi 15 giờ ngày12 tháng 09 năm 2007 Có thể tìm hiểu luận án tại: Th viện Quốc gia Việt Nam Th viện Viện Công nghệ thông tin Th viện Trờng Đại học S phạm-Đại học Thái Nguyên DANH MụC CáC CÔNG TRìNH Đã CÔNG Bố CủA TáC GIả Và CáC CộNG Sự LIÊN QUAN ĐếN LUậN áN [1] Nguyễn Mạnh Đức, Nguyễn Văn Vỵ (2004), Tái thiết kế hệ thống phần mềm bằng UML, Báo cáo Hội thảo Quốc gia Một số vấn đề chọn lọc của công nghệ thông tin, Đà Nẵng 8/2004. [2] Nguyễn Mạnh Đức (2005), Mô hình hoá ứng dụng trên nền Web với UML, Tạp chí khoa học và công nghệ, Đại học Thái Nguyên, 2 (34), tr. 47-53. [3] Nguyn Mnh c (2005), Thit k v ci t h thng phn mm x lý s liu thng kờ v thc nghim, Hi tho Khoa hc ton quc Phỏt trin cụng c tin hc tr giỳp cho ging dy, nghiờn cu v ng dng toỏn hc, H Ni 4/2005, tr. 117-124. [4] Nguyễn Mạnh Đức, Nguyễn Văn Vỵ, Đặng Văn Đức (2005), Mô hình đại số quan hệ ca hệ thống hớng đối tợng, Tạp chí Tin học và Điều khiển học, Viện Khoa học và Công nghệ Việt Nam, H Ni, 21 (3), tr.261-270. [5] Nguyễn Văn Vỵ, Đặng Văn Đức, Nguyễn Mạnh Đức (2006), Phơng pháp hình thức phát triển hệ thống hớng đối tợng dựa trên quan hệ đại số, Báo cáo Hội thảo Quốc gia Một số vấn đề chọn lọc của công nghệ thông tin và truyền thông, Đà Lạt 6/2006. [6] Nguyễn Mạnh Đức, Đặng Văn Đức (2006), Về một cách tinh chế mô hình lớp UML, Tạp chí Tin học và Điều khiển học, Viện Khoa học và Công nghệ Việt Nam, H Ni, 22 (1), tr.63-74. [7] Nguyễn Mạnh Đức, Đặng Văn Đức (2006), ứng dụng phơng pháp hớng đối tợng và ngôn ngữ UML mô hình hoá hệ thống E- Learning, Tạp chí Khoa học và Công nghệ, Viện Khoa học và Công nghệ Việt nam, Hà Nội, 44 (3), tr.33- 42. Mở đầu 1. Lý do v mc ớch nghiờn cu Ngày nay, do sự tiến bộ nhanh chóng về công nghệ phần cứng, các tính năng của máy tính tăng nhanh sau mỗi khoảng thời gian. Cùng với sự phát triển đó, yêu cầu phát triển phần mềm có qui mô lớn phức tạp trở nên cấp bách và vấn đề bảo trì các hệ thống trở thành vấn đề nghiêm trọng. Trớc những thách thức to lớn nh vậy, công nghệ phát triển phần mềm hớng đối tợng cùng với các công cụ tự động hoá đi theo nó đã trở thành một giải pháp công nghệ hữu hiệu cho các vấn đề đặt ra. Phát triển phần mềm theo tiếp cận hớng đối tợng đã trở thành một vấn đề tất yếu trong công nghệ phần mềm. Thit k v phỏt trin h thng phn mm vi ngụn ng hng i tng ó c nhiu chuyờn gia tha nhn l rt phc tp. Nhiu nh nghiờn cu ch ra s cn thit phi phỏt trin cụng c hỡnh thc hoỏ lm nn tng cho vic phỏt trin cỏc phn mm hng i tng. Phỏt trin nhng phn mm ln v phc tp khụng th lm theo kiu mt ln l xong, m phi tinh ch dn tng bc, s phỏt trin t bc ny sang bc kia phi ỳng n. Mt cỏch thc phỏt trin bo m cht lng h thng phn mm l thc hin theo chin lc tinh ch tng bc mt (step-by-step refinement). thc hin s phỏt trin theo cỏch thc ú cn phi bo m rng: bc sau thc s l mt s phỏt trin ca bc trc (bo m tớnh ỳng n, bo m mi iu ỳng trong bc trc phi ỳng trong bc sau). Mt trong cỏc phng phỏp rt quan trng l phng phỏp hỡnh thc, va cho kh nng kim chng tớnh ỳng n, li va cú kh nng t ng hoỏ vic kim chng ú; chng hn nh cụng c RAISE, cho ta kh nng t ng hoỏ vic kim chng tớnh ỳng n cho tng bc; Nhng RAISE cú nhng hn ch: khụng c t c ht cỏc h thng nh UML, vic tinh ch t bc ny sang bc do ngi dựng lm theo kinh nghim, phi sau khi cú h thng sau mi kim tra c tớnh ỳng theo h thng trc. Gn õy, mt nhúm nghiờn cu da trờn rCOS ó c t c cỏc h thng rng rói hn RAISE, ó xõy dng v chng minh mt s lut phỏt trin cỏc h thng phn mm theo cỏc lut ú thỡ tớnh ỳng n c tho món. Mt khỏc, ngụn ng c t UML vi cỏc c im nh: tm s dng ln, mụ t c hu ht cỏc h thng mong 1 muốn; được sử dụng rất rộng rãi; có công cụ hỗ trợ rất hiệu quả là Rational Rose, có thể thực hiện được phần lớn các đặc tả của UML. Chúng ta đã có phần mềm Rational Rose, với những qui trình kinh nghiệm phát triển để thực hiện theo cách thức đó, nhưng tôi chưa thấy có công trình nào chứng minh tính đúng đắn cho những qui trình đó được công bố. Trong vài năm gần đây, He Jifeng và các cộng sự đã đề xuất một ngôn ngữ đặc tả rCOS, với ngôn ngữ đó họ đã chứng minh được một số luật tinh chế để bảo đảm tính đúng đắn của quá trình tinh chế, chỉ ra các quy tắc mà khi tinh chế hệ thống theo những qui tắc đó thì việc tinh chế ấy là đúng đắn, và như vậy không cần kiểm chứng lại cho từng bước nữa. Mục tiêu của luận án là: 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. Các vấn đề liên quan bao gồm: 1. Tìm hiểu mô hình quan hệ của hệ thống hướng đối tượng, mô hình tính toán rCOS để xây dựng các đặc tả khai báo và làm mịn các lớp. 2. Xây dựng các thuật toán tinh chế trên cơ sở các luật tinh chế của rCOS. Với mục tiêu trên, luận án đi sâu nghiên cứu các nội dung: 1. Nghiên cứu cơ sở lý thuyết để tiến tới xây dựng một công cụ phục vụ cho việc phát triển các hệ thống đối tượng. Cụ thể là đặc tả một công cụ để xây dựng các hệ thống đối tượng, xây dựng các thuật toán dùng trong công cụ đó để thiết kế các hệ thống, cho phép hỗ trợ từng bước tiến trình làm mịn các lớp trong quá trình phát triển phần mềm theo tiếp cận hướng đối tượng. 2. Trên cơ sở xây dựng các đặc tả lớp cho hệ thống đối tượng, xây dựng các thuật toán tinh chế biến đổi và làm mịn các lớp trong hệ thống. 3. Cài đặt chương trình ứng với mỗi cách đặc tả đó để kiểm tra tính đúng đắn. 4. Bằng thực nghiệm chỉ ra rằng, phương pháp này là rất đáng tin tưởng, có thể mở rộng phát triển tiếp cho các hệ thống khác 2. Ph−¬ng ph¸p tiÕp cËn Luận án khai thác và mở rộng các kết quả nghiên cứu của nhóm tác giả trên, sử dụng các kết quả đó phục vụ cho việc thiết kế và phát triển các hệ thống phần mềm theo chiến lược tinh chế dần từng bước. Cụ thể là đề xuất các thuật toán để tinh chế và làm mịn đặc tả hệ thống theo các luật của mô hình rCOS, nhằm một mặt cho người sử dụng ngôn ngữ mô hình hoá UML một loạt các qui tắc tinh chế và làm mịn bảo đảm 2 tính đúng đắn, mặt khác nghiên cứu xây dựng một công cụ đặc tả tuân theo các luật tính chế và làm mịn nói trên. 3. Bố cục của luận án Luận án bao gồm phần mở đầu, ba chương nội dung, phần kết luận, tài liệu tham khảo và phần phụ lục. Chương 1 - Tổng quan về phương pháp hướng đối tượng và quá trình thống nhất. Chương này trình bày chung về mẫu hình phát triển phần mềm hướng đối tượng; Các đặc trưng cơ bản của tiến trình thống nhất trong quá trình phát triển hệ thống phần mềm. Những kết quả trong chương này được dùng để mở rộng cho các nghiên cứu trong các chương sau. Đặc biệt là tiến trình RUP được chú trọng tìm hiểu làm cơ sở cho quá trình làm mịn mô hình UML sau này. Chương 2 – Làm mịn hệ thống các lớp của chương trình hướng đối tượng. Chương này sẽ trình bày ngữ nghĩa của hệ thống hướng đối tượng với việc đặc tả hình thức các lớp, các liên kết động và các phương thức đệ qui; Mô hình tính toán rCOS; Các đặc tả lớp trong hệ thống cùng với các thuật toán làm mịn hệ thống các lớp ứng với các cách đã đặc tả. Chương 3 – Phát triển đặc tả hệ thống hướng đối tượng theo mô hình quan hệ. Chương này trình bày việc sử dụng ngôn ngữ hướng đối tượng hình thức và các luật làm mịn kết hợp một số mô hình UML, xây dựng các thuật toán và qui trình cho phép làm mịn dần quá trình thiết kế hệ thống phần mềm trên UML. Qua quá trình làm mịn sẽ thu được mô hình thiết kế cuối cùng tương đối gần với mã có thể thực hiện được. Phần phụ lục bao gồm: Phụ lục 1 trình bầy mô hình quan hệ hướng đối tượng của hệ thống rCOS, một số luật làm mịn, tinh chế và chế tác lại; Phụ lục 2 sẽ xây dựng các hệ thống quản lý các đặc tả và các thuật toán làm mịn theo ba cách đã đặc tả bằng C++, xây dựng các dữ liệu để kiểm thử các hệ thống quản lý đặc tả và các thuật toán làm mịn đã đề xuất; Phụ lục 3 sẽ trình bày một số hệ thống ứng dụng thực tiễn mà chúng tôi đã xây dựng theo các thuật toán làm mịn đã đề xuất bằng công cụ Rational Rose trên, để kiểm chứng tính đúng đắn của các thuật toán đó và phương pháp tinh chế từng bước mà chúng tôi đưa ra. 4. Các đóng góp chính của luận án 1. Xây dựng ba phương pháp đặc tả hệ thống và những thuật toán phát triển các hệ thống đó theo đúng các luật tinh chế của nhóm nghiên cứu rCOS. Những kết 3 qu ny cú th c s dng xõy dng cụng c phỏt trin cỏc h thng (theo ngha c t) bo m tớnh ỳng n. 2. Xõy dng cỏc thut toỏn tinh ch cỏc h thng (mt s lp hn ch) trờn UML theo kiu cỏc lut tinh ch ca rCOS. 3. Bng thc nghim trờn Rational Rose ch ra rng, phng phỏp ny l rt ỏng tin tng, mi kim chng u cho kt qu ỳng theo tớnh toỏn. Cú th m rng phỏt trin tip cho cỏc h thng khỏc Chơng 1 Tổng quan về phơng pháp hớng đối tợng và Quá trình thống nhất Chơng ny trình bày chung về mô hình phát triển phần mềm hớng đối tợng, cùng với các đặc trng chính của nó. Trong chơng này cũng trình bày các đặc trng cơ bản của quá trình thống nhất trong tiến trình phát triển hệ thống phần mềm. 1.1. Hệ thống thông tin lớn v phức tạp Một hệ thống thông tin gọi là lớn và phức tạp khi nó có qui mô lớn cả về số phần tử và mối quan hệ, cũng nh tính đa dạng của chúng. Sự đa dạng về mối quan hệ thể hiện ở sự khác nhau về số lợng, cờng độ, chiều hớng và tính chất của mối quan hệ giữa các phần tử. Đó thờng là hệ có nhiều mục tiêu, nhiều ràng buộc trên các quan hệ. 1.2. Mẫu hình phát triển phần mềm hớng đối tợng 1.2.1. Gii thiu chung Cách tiếp cận hớng đối tợng đặt trọng tâm vào việc xây dựng lý thuyết các hệ thống tổng quát nh là khái niệm cơ sở. Hệ thống đợc xem nh là một tập hợp các thực thể tác động qua lại với nhau để thực hiện một số mục đích nào đó. Thực thể có thể là đối tợng vật lý nh các thiết bị và con ngời hoặc có thể là các khái niệm trừu tợng nh các tệp dữ liệu và các hàm Các thực thể của thế giới thực đợc biểu diễn trong mô hình hệ thống là các đối tợng. Những đối tợng này trao đổi thông tin với nhau thông qua các giao diện sao cho những cặp bộ giữa chúng là tối thiểu nhng cố kết hệ thống lại ở mức tối đa. 1.2.2. Phát triển phần mềm theo phơng pháp hớng đối tợng Xây dựng hệ thống phần mềm theo phơng pháp hớng đối tợng bao gồm: phân tích, thiết kế và lập trình hớng đối tợng. Phơng pháp hớng đối tợng giải quyết đợc hố ngăn cách giữa phân tích và thiết kế hệ thống. Phân tích hớng đối tợng làm nhiệm vụ xác định các đối tợng để xây dựng các module của hệ thống phần mềm. Nhiệm vụ của giai đoạn này là tìm hiểu kỹ bài 4 toán, phân tách nó thành các phần nhỏ hơn, xây dựng mô hình logic mô tả chức năng của toàn hệ thống. Nhiệm vụ của thiết kế hớng đối tợng là xác định các đối tợng trong không gian bài toán, chuyển chúng sang không gian lời giải, xây dựng mô hình kiến trúc và mô hình tính toán cho hệ thống phần mềm. Lập trình hớng đối tợng cho phép chúng ta kết hợp những tri thức bao quát về các quá trình với các khái niệm trừu tợng đợc sử dụng trong máy tính. Chơng trình hớng đối tợng xác định chính xác các đặc trng và hành vi của các kiểu dữ liệu, trong đó có thể tạo ra những đối tợng mới đợc xây dựng từ những khuôn khổ có sẵn hay tổ hợp để tạo ra những đặc trng mới. 1.3. Quỏ trỡnh thng nht 1.3.1. Khỏi nim v quỏ trỡnh thng nht Quỏ trỡnh thng nht da trờn cỏc thnh phn, iu ú cú ngha l h thng phn mm c xõy dng da trờn cỏc thnh phn phn mm kt ni vi nhau thụng qua giao din ó c nh ngha trc. Quỏ trỡnh thng nht s dng ngụn ng mụ hỡnh hoỏ thng nht UML thit k cỏc h thng phn mm. Trờn thc t UML l mt phn tớch hp ca quỏ trỡnh thng nht. Chỳng c phỏt trin liờn kt vi nhau. Nh vy ta thy quỏ trỡnh thng nht l quỏ trỡnh phỏt trin phn mm hng i tng vi cụng c UML. Quỏ trỡnh ny cú 3 c trng sau: Ca s dng (Use Case) iu khin quỏ trỡnh phỏt trin; Ly kin trỳc lm trung tõm; Tin trỡnh phỏt trin l lp v tng dn. 1.3.2. Cỏc c trng ca quỏ trỡnh thng nht 1.3.2.1. Use Case iu khin quỏ trỡnh phỏt trin Use Case l mt phn chc nng ca h thng cung cp cho ngi dựng mang li mt kt qu no ú khi s dng nú. Cỏc Use Case dựng nm bt cỏc yờu cu chc nng. Tp hp tt c cỏc ca s dng lp thnh mụ hỡnh ca s dng mụ t y chc nng ca h thng. Mụ hỡnh ny s thay th cho cỏc c t chc nng h thng bng phng phỏp truyn thng. 1.3.2.2. Quỏ trỡnh thng nht ly kin trỳc lm trung tõm Vai trũ ca kin trỳc h thng phn mm ging nh khung nn, da trờn ú phn mm c xõy dng v phỏt trin n hon thin. Khỏi nim kin trỳc phn mm cha ng cỏc khớa cnh tnh v ng cú ý ngha nht i vi h thng. Nú c phỏt trin da theo yờu cu ca t chc, theo cm nhn ca ngi dựng v cỏc t chc cú liờn quan khỏc c phn ỏnh qua cỏc Use Case. Mt khỏc, nú cng chu nh hng ca 5 rất nhiều nhân tố, chẳng hạn như môi trường nền của hệ thống, các khối xây dựng dùng lại có sẵn, các điều cân nhắc triển khai và các yêu cầu phi chức năng (như tính thể hiện, độ tin cậy ). Kiến trúc là một khung nhìn thiết kế tổng thể về những đặc điểm quan trọng nhất của hệ thống và tạm bỏ qua các chi tiết. 1.3.2.3. Quá trình thống nhất là lặp và tăng dần Việc phát triển một phần mềm nói chung đòi hỏi một số lớn công việc và có thể diễn ra trong một khoảng thời gian nhất định. Việc chia nhỏ toàn bộ công việc thành các phần nhỏ hoặc các dự án con là yêu cầu thiết thực. Mỗi dự án con là một bước lặp và tạo nên một sự tăng trưởng. Điều này dễ dàng thực hiện được khi phát triển phần mềm hướng đối tượng, vì nó được cấu thành từ các thành phần độc lập ghép nối lại với nhau. Để đạt hiệu quả nhất, các bước lặp phải được điều khiển, nghĩa là chúng phải được lựa chọn và tiến hành theo kế hoạch đã được định trước. 1.3.2.4. Vòng đời của một quá trình thống nhất Quá trình thống nhất lặp lại một chuỗi các vòng đời trong việc xây dựng một hệ thống. Mỗi vòng đời bao gồm một xuất phẩm (product release) cho khách hàng. Mỗi vòng đời chứa 4 giai đoạn sau: Sơ bộ (inception), Chi tiết (elaboration), Xây dựng (construction) và Chuyển giao (transtion). Mỗi giai đoạn (phase) lại được chia thành nhiều bước lặp con. 1.4. Kết luận chương 1 Trong chương này chúng ta đã xem xét khái quát về hệ thống thông tin phức tạp, phương pháp phát triển phần mềm theo tiếp cận hướng đối tượng. Đó là phương pháp dựa trên nền tảng các đối tượng, chúng là tập các thực thể được xây dựng trên cơ sở gắn liền dữ liệu của chúng với các phép toán xử lý, tương tác với nhau để thực hiện các yêu cầu của bài toán đặt ra. Phát triển phần mềm theo tiếp cận hướng đối tượng sẽ là một xu hướng tất yếu trong công nghệ phần mềm. Các kết quả nghiên cứu trong chương này sẽ được vận dụng trong suốt quá trình nghiên cứu tiếp theo. Chương 2 LÀM MỊN hÖ ThèNG CÁC LỚP CỦA CHƯƠNG TRÌNH h−ínG ®èi t−îng 2.1. Hệ thống hướng đối tượng Một hệ thống hoặc chương trình hướng đối tượng S theo mô hình rCOS (xem trong phụ lục 1) có dạng: 6 cdecls●P Ở đây: cdecls là phần khai báo một số hữu hạn các lớp, mỗi lớp có dạng như sau: [private] class N [extends M] { pri: <a :U,u>; pro: <b:V,v>; pub: <c:W,w>; meth: m 1 (x 11 : T 11 , y 12 : T 12 , z 13 : T 13 ){c 1 }; …; m ℓ (x ℓ1 : T ℓ1 , y ℓ2 : T ℓ2 , z ℓ3 : T ℓ3 ){c ℓ } } P được gọi là phương thức chính và có dạng (glb, c), trong đó glb là tập hữu hạn các biến chung và kiểu dữ liệu của chúng còn c là các lệnh. 2. 2. Làm mịn hệ thống đối tượng 2.2.1. Các khái niệm Sau đây ta xem xét một số khái niệm liên quan tới quá trình làm mịn mô hình hệ thống: Định nghĩa 1 (làm mịn thiết kế): Thiết kế D2 = (α, P2) là làm mịn của thiết kế D1=(α, P1) được chỉ ra bởi D1 ⊑ D2, nếu P2 dẫn tới P1, nghĩa là: ∀ x, x’, ok, ok’: (P2 ⇒ P1). Ở đây x, , z là các biến chứa trong α. D1 ≡ D2 nếu và chỉ nếu D1 ⊑ D2 và D2 ⊑ D1. Định nghĩa 2 (làm mịn dữ liệu): Cho ρ là ánh xạ (cũng có thể được coi như là thiết kế) từ α2 tới α1. Thiết kế D2 = (α2, P2) là làm mịn của thiết kế D1 = (α1, P1) dưới ρ , được chỉ ra bởi D1 ⊑ ρ D2, nếu ( ρ ; P1) ⊑ (P2; ρ ). Trong trường hợp này ρ được gọi là ánh xạ tinh chế. Định nghĩa 3 (làm mịn hệ thống): Cho S1 và S2 là các đối tượng chương trình có cùng một tập các biến chung glb. S2 là làm mịn của S1, được chỉ ra bởi S1 ⊑ sys S2, nếu hành vi của nó có thể kiểm soát và dự đoán nhiều hơn trong S1, tức là: ∀ x, x’, ok, ok’: (S2 ⇒ S1). Định nghĩa 4 (làm mịn lớp): Cho cdecls1 và cdecls2 là hai phần khai báo. cdecls1 là làm mịn của cdecls2, được chỉ ra bởi cdecls1 ⊒ class cdecls2 nếu như phần trước có thể thay thế phần sau trong bất kỳ hệ thống đối tượng: cdecls1 ⊒ class cdecls2 7 [...]... thuyt v hon ton ỳng nh kt qu x lý theo phn mm Rational Rose Cỏc kt qu nghiờn cu ny s lm c s cho vic tin ti ci t cụng c h tr cho vic thit k v phỏt trin h thng i tng Cỏc kt qu ny s c s dng vo vic phỏt trin c t cho h thng hng i tng trong chng sau Chng 3 Phát triển Đặc tả hệ thống hớng đối tợng theo mô hình quan hệ 3.1 Gii thiu Trong quỏ trỡnh phỏt trin da trờn UML nh RUP, mt s mụ hỡnh ca UML ó c s dng biu... h thng c t; vi cỏc h thng ó c xõy dng phỏt trin v kim nghim, chng t rng phng phỏp tinh ch tng bc l ỏng tin cy v cú th m rng ỏp dng cho cỏc h thng khỏc 3.7 Kt lun chng 3 Chng 3 tp trung vo vic xõy dng qui trỡnh lm mn cỏc mụ hỡnh UML cho quỏ trỡnh tinh ch tng bc h thng phn mm Cỏc kt qu chớnh ca chng ny bao gm: a ra mt tin trỡnh da trờn RUP phỏt trin mụ hỡnh h thng Xõy dng cỏc thut toỏn trờn c s ca... cho mụ hỡnh c t trờn UML l ỳng n Kết luận chung Lun ỏn nghiờn cu v mt cỏch thc phỏt trin bo m cht lng h thng phn mm bng cỏch tinh ch tng bc mt (step-by-step refinement) S dng cỏc lut ca rCOS xõy dng cỏc thut toỏn tinh ch, phỏt trin cỏc h thng i tng bo m tớnh ỳng n Nhng iu ú lm c s cho vic t ng hoỏ hot ng thit k v phỏt trin theo tip cn hng i tng i vi cỏc h thng thụng tin p dng cỏc thut toỏn ú vo xõy... thc ca cỏc mụ hỡnh UML ó c tin hnh trong nhng nm gn õy Tuy nhiờn, phn ln ch liờn quan vi hỡnh thc ca cỏc biu riờng l v tớnh nht quỏn ca cỏc mụ hỡnh loi 1 hoc loi 2, nh l tớnh nht quỏn ca biu lp hoc cỏc mỏy trng thỏi ca chỳng T nhng kinh nghim ca chỳng tụi, cú nhiu cụng vic nh cú th gii quyt vi s tinh ch cỏc mụ hỡnh UML da trờn cỏc lut lm mn ó cú 3.3 Cỏch tip cn mi Nhỡn li tin trỡnh phỏt trin h thng... trỡnh phỏt trin h thng phn mm hng i tng theo RUP ta thy, bt u ca tin trỡnh phỏt trin vi khung nhỡn nghip v, cú cha mụ hỡnh lp khỏi nim, v cho n khi kt thỳc tin trỡnh trc khi chuyn sang mó ngun, chỳng ta li nhn c biu lp thit k ca h thng phn mm Nu ta ch s dng mt khung nhỡn duy nht c biu din bng cỏc biu lp, ta s khc phc c tớnh a khung nhỡn ca tin trỡnh phỏt trin trờn Vn duy nht cũn cn phi gii quyt õy... Khi h thng hot ng kt thỳc thỡ cỏc thụng tin bin i s b mt, vỡ chỳng ch c lu cỏc bin trong b nh trong H thng s b hn ch qui mụ, nu s lng cỏc lp trong h thng tng lờn v thụng tin trong mi lp ln lờn 2.9.3 c t lp l mt file vn bn Cỏc c t lp kiu ny ging nh cỏc c t ca Hoare, mi lp c c t bi mt tp vn bn cú nhiu thnh phn Do ú cỏc thut toỏn x lý cú cỏc c im sau: Thụng tin v cỏc lp trong h thng c lu trờn b nh... lp t mt tp riờng 13 Thụng tin v cỏc lp trong h thng c lu trờn b nh ngoi, d dng cho vic bo qun, lu tr, m rng qui mụ do thụng tin lu trờn tp vn bn cú th rt ln Nu h thng cú nhiu lp thỡ s cú rt nhiu tp vn bn mụ t nú c sinh ra, chớnh iu ny s dn n phi x lý nhiu thao tỏc vo ra vi cỏc tp, v s lm cho tc x lý tớnh toỏn s b hn ch 2.9.2 c t lp l mt tp cỏc bin Theo cỏc c t ny, thụng tin v lp c lu cỏc bin trong... ny s lm c s cho vic tin ti ci t cụng c h tr cho vic thit k v phỏt trin cỏc h thng i tng xut v xõy dng cỏc thut toỏn tinh ch v lm mn cỏc lp trong h thng da trờn mụ hỡnh quan h ca h thng i tng: AddNewClass, AddAttr, MovePro, MovePub, AddMethod, RefiMethod, MoveAtt, Inheritance, MoveMethod tng ng vi ba cỏch biu din lp lm c s cho vic thit lp mụ hỡnh thit k h thng trờn UML xut mt tin trỡnh phỏt trin... RUP phỏt trin mụ hỡnh h thng Xõy dng cỏc thut toỏn trờn c s ca cỏc thut toỏn trong mụ hỡnh quan h ca h thng hng i tng v cỏc lut lm mn, phc v cho vic tinh ch v lm mn mụ hỡnh thit k h thng trờn UML, thc hin bng Rational Rose c d dng v hiu qu hn Quỏ trỡnh tinh ch v lm mn theo cỏch thc ch ra trờn ó c chỳng tụi kim nghim trờn cụng c Rational Rose, m bo tớnh lụgic, tớnh ỳng n v 22 h thng ngy cng sỏt thc... cỏc lp v cỏc bin i tng ng trong mi phng thc 3.4 Phỏt trin c t h thng hng i tng 3.4.1 Tin trỡnh phỏt trin c t hỡnh thc h thng da theo RUP Trong chng 2, chỳng ta ó nghiờn cu cỏc c t cỏc lp i tng v cỏc phộp toỏn lm mn chỳng tuõn theo cỏc lut cho trc m bo tớnh ỳng n ca h thng nhn c Nhng nghiờn cu ú s c vn dng xõy dng mt tin trỡnh c t h thng hng i tng da theo RUP (hỡnh 3.3) 3.4.2 Cỏc quy tc lm mn v ch tỏc . Bộ Giáo dục và Đào tạo Viện KHoa học và Công Nghệ Việt nam Viện Công nghệ thông tin Nguyễn Mạnh Đức thiết kế Hớng đối tợng và xây dựng hệ thống thông tin phức tạp Chuyên. trình thống nhất trong tiến trình phát triển hệ thống phần mềm. 1.1. Hệ thống thông tin lớn v phức tạp Một hệ thống thông tin gọi là lớn và phức tạp khi nó có qui mô lớn cả về số phần tử và mối. xây dựng một công cụ phục vụ cho việc phát triển các hệ thống đối tượng. Cụ thể là đặc tả một công cụ để xây dựng các hệ thống đối tượng, xây dựng các thuật toán dùng trong công cụ đó để thiết