Bùi Duy Hải

Đầu tiên tôi xin gửi lời cảm ơn sâu sắc tới cô giáo Ths.Phạm Thị Kim Dung, bộ môn công nghệ phần mềm, khoa công nghệ thông tin, trường đại học công nghệ, đại học Quốc Gia Hà Nội – người đã định hướng đề tài và tận tình hướng dẫn chỉ bảo tôi trong suốt quá trình thực hiện khóa luận tốt nghiệp này.

Tôi cũng xin trân trọng cảm ơn quý thầy cô trong Khoa Công nghệ thông tin trường Đại học Công nghệ, Đai học Quốc Gia Hà Nội đã tận tình giảng dạy, truyền đạt những kiến thức quý báu trong suốt bốn năm học làm nền tảng cho tôi thực hiện khóa luận tốt nghiệp này.

Con xin cảm ơn cha mẹ và gia đình đã sinh ra và nuôi dạy con khôn lớn, luôn bên cạnh động viên và ủng hộ con trên con đường mà con yêu thích và lựa chọn.

Cám ơn các bạn sinh viên Khoa công nghệ thông tin khóa 2006-2010. Các bạn đã giúp đỡ và ủng hộ tôi rất nhiều cũng như đóng góp nhiều ý kiến quý báu, qua đó, giúp tôi hoàn thiện khóa luận tốt hơn.

Mặc dù đã rất nỗ lực, cố gắng nhưng chắc hẳn khóa luận của tôi vẫn còn nhiều thiếu sót. Tôi rất mong nhận được nhiều những ý kiến đánh giá quý, phê bình của quý thầy cô, của anh chị và các bạn.

Một lần nữa tôi xin chân thành cảm ơn!­

Hà Nội, tháng 5 năm 2010

Bùi Duy Hải

Mục Lục

DANH MỤC NHỨNG TỪ VIẾT TẮT

1. Chương 1 : MỞ ĐẦU

   1. Đặt vấn đề

Phần mềm được coi là sản phẩm chính của công nghệ phần mềm.Quá trình phát triển phần mềm gồm nhiều giai đoạn: thu thập yêu cầu, phân tích, thiết kế,xây dựng, kiểm chứng , triển khai và bảo trì. Trong đó việc kiểm chứng phần mềm là hết sức quan trọng để đảm bảo chất lượng của một phần mềm.

Kiểm chứng mô hình UML cũng đóng góp vào việc kiểm chứng phần mềm.Việc kiểm chứng mô hình UML + OCL đã được giải quyết [2]. Vấn đề đặt ra bây giờ là kiểm chứng mô hình Aspect-UML(là một mô hình UML đơn giản được mở rộng với việc sử dụng Aspect). Nhờ Aspect và các ràng buộc của nó mà mô hình Aspect UML được cung cấp thêm thông tin. Mô hình Aspect UML có thể được kiểm chứng từ các xung đột tương tác Aspect, để làm tự động công việc kiểm chứng mô hình Aspect UML là chuyển đổi mô hình Aspect UML sang ngôn ngữ đặc tả Alloy. Alloy cung cấp một ngôn ngữ đặc tả mô hình đơn giản dựa trên logic cũng như công cụ mô phỏng[]. Trong phạm vi khóa luận này tôi sẽ chỉ ra quy tắc chuyển đổi một mô hình Aspect UML sang ngôn ngữ Alloy.

2. Cấu trúc khóa luận

2. Chương 2: Giới thiệu về mô hình UML và lập trình hướng Aspect

   1. Mô hình UML (Unifined Model Language)

      1. Lịch sử phát triển của UML

Do các phương pháp chưa hoàn thiện nên người dùng rất phân vân trong việc chọn ra một phương pháp phù hợp nhất để giải quyết bài toán của họ. Hơn nữa, việc các ký hiệu khác nhau của các phương pháp đã gây ra những sự mập mờ, nhầm lẫn khi mà một ký hiệu có thể mang những ý nghĩa khác nhau trong mỗi phương pháp. Ví dụ như một hình tròn được tô đen biểu hiện một multiplicity trong OMT lại là một aggregation trong Booch). Thời kỳ này còn được biết đến với tên gọi là cuộc chiến giữa các phương pháp. Khoảng đầu năm 94, Booch đã cải tiến phương pháp của mình trong đó có ứng dụng những ưu điểm của các phương pháp của Rumbaugh và Jacobson. Tương tự Rumbaugh cũng cho đăng một loạt các bài báo được biết đến với tên gọi phương pháp OMT-2 cũng sử dụng nhiều ưu điểm của phương pháp của Booch. Các phương pháp đã bắt đầu hợp nhất, nhưng các kí hiệu sử dụng ở các phương pháp vẫn còn nhiều điểm khác biệt.

Hình 1:Hợp nhất các phương pháp thiết kế bằng UML

Bằng cách hợp nhất các kí hiệu sử dụng trong khi phân tích, thiết kế của các phương pháp đó, UML cung cấp một nền tảng chuẩn trong việc phân tích thiết kế. Có nghĩa là các nhà phát triển vẫn có thể tiến hành theo phương pháp mà họ đang sử dụng hoặc là có thể tiến hành theo một phương pháp tổng hợp hơn( do thêm vào những bước ưu điểm của từng phương pháp). Nhưng điều quan trọng là các ký hiệu giờ đây đã thống nhất và mỗi ký hiệu chuẩn của tổ chức OMG (Object Management Group) vào tháng 7-1997.

2. Ứng dụng của mô hình UML

• 
  Trực quan hóa
  
• 
  Cụ thể hóa
  
• 
  Sinh mã ở dạng nguyên mẫu
  
• 
  Lập và cung cấp tài liệu
  

Mô hình hóa mang lại sự hiểu biết về một hệ thống. Một mô hình không thể giúp chúng ta hiểu rõ một hệ thống, thường là phải xây dựng một số mô hình xét từ những góc độ khác nhau. Các mô hình này có quan hệ với nhau.

UML sẽ cho ta biết cách tạo ra và đọc hiểu được một mô hình đươc cấu trúc tốt, nhưng nó không cho ta biết những mô hình nào nên tạo ra và khi nào tạo ra chúng. Đó là nhiệm vụ của quy trình phát triển phần mềm.

1. UML là ngôn ngữ dùng để trực quan hóa

Đối với nhiều lập trình viên, không có khoảng cách nào giữa ý tưởng để giải quyết một vấn đề và việc thể hiện điều đó thông qua các đoạn mã. Họ nghĩ ra và họ viết mã. Trên thực tế, điều này gặp một số vấn đề. Thứ nhất, việc trao đổi về các ý tưởng giữa những người lập trình sẽ gặp khó khăn, trừ khi tất cả đều nói cùng một ngôn ngữ. Thậm chí ngay cả khi không gặp trở ngại về ngôn ngữ thì đối với từng công ty, từng nhóm cũng có những “ngôn ngữ” riêng của họ. Điều này gây trở ngại cho một người mới vào để có thể hiểu được những việc đang được tiến hành. Hơn nữa, trong lĩnh vực phần mềm, nhiều khi khó có thể hiểu được nếu chỉ xem xét các đoạn mã lệnh. Ví dụ như sự phân cấp của các lớp, ta có thể phải duyệt rất nhiều đoạn lệnh để hiểu được sự phân cấp của các lớp. Và nếu như người lập trình không mô tả các ý tưởng mà anh ta đã xây dựng thành mã lệnh thì nhiều khi cách tốt nhất là xây dựng lại trong trường hợp một người khác đảm nhận tiếp nhiệm vụ khi anh ta rời khỏi nhóm.

Xây dựng mô hình sử dụng ngôn ngữ UML đã giải quyết được các khó khăn trên.Khi trở thành một chuẩn trong việc lập mô hình, mỗi kí hiệu mang một ý nghĩa rõ rang và duy nhất, một nhà phát triển có thể đọc được mô hình xây dựng bằng UML do một người khác viết.Những cấu trúc mà việc nắm bắt thông qua đọc mã lệnh là khó khăn nay đã được thực hiện trực quan.Một mô hình rõ ràng, sáng sủa làm tăng khả năng giao tiếp, trao đổi giữa các nhà phát triển.

2. UML là ngôn ngữ để chi tiết hóa

3. UML là ngôn ngữ dùng để sinh ra mã ở dạng nguyên mẫu

Việc các yêu cầu có khả năng thường xuyên thay đổi trong quá trình phát triển hệ thống dẫn đến việc các cấu trúc và hành vi của hệ thống được xây dựng có thể khác mô hình mà ta đã xây dựng. Điều này có thể làm cho một mô hình tốt trở nên vô nghĩa vì nó không còn phản ánh đúng hệ thống nữa. Cho nên phải có một cơ chế để đồng bộ xhóa giữa mô hình và mã lệnh.

UML cho phép cập nhật một mô hình từ các mã thực thi ( ánh xạ ngược). Điều này tạo ra sự nhất quán giữa mô hình của hệ thống và các đoạn mã thực thi mà ta xây dựng cho hệ thống đó.

4. UML là ngôn ngữ dùng để lập và cung cấp tài liệu

• 
  Ghi chép về các yêu cầu của hệ thống
  
• 
  Kiến trúc của hệ thống
  
• 
  Thiết kế
  
• 
  Mã nguồn
  
• 
  Kế hoạch dự án
  
• 
  Test
  
• 
  Các nguyên mẫu
  
• 
  …
  

3. Các loại biểu đồ UML

   1. Biểu đồ lớp(class diagram)

2. Biểu đồ đối tượng(Object diagram)

3. Biểu đồ use case

Biểu đồ Use case bao gồm một tập hợp các Use case, các actor và thể hiện mối quan hệ tương tác giữa actor và Use case. Nó rất quan trọng trong việc tổ chức và mô hình hóa hành vi của hệ thống.

4. Biểu đồ trình tự(Sequence Diagram)

5. Biểu đồ hợp tác (Collaboration)

6. Biểu đồ chuyển trạng thái (Statechart)

7. Biểu đồ hoạt động(Activity)

8. Biểu đồ thành phần (Component)

2. 
   
   Каталог: jspui -> bitstream -> 123456789
   123456789 -> Nguyễn Ngọc Lý Giám đốc Trung tâm Nghiên cứu về Môi trường và Cộng đồng
   123456789 -> Vò Quúnh Thu Cao häc K18
   123456789 -> Khoa Báo chí Đhkhxh&NV
   123456789 -> Acknowledgements
   123456789 -> Danh mục chữ viết tắT
   123456789 -> Chương TỔng quan vật liệu mao quản trung bình (mqtb) trật tự 1 Giới thiệu chung
   123456789 -> Khoa hóa họC (141 142 báo cáo)
   
   
   
   tải về 0.58 Mb.
   
   Chia sẻ với bạn bè của bạn: