Ly do chon dé tai Hiện nay, ở Việt Nam các nhà phân tích thường sử dụng phương pháp mô hình hóa quan hệ thực thê ERD - Entity Relationship Diagram, ngôn ngữ mô hình hóa thống nhất UML -
Phương pháp nghiên cứu tài liệu - - QC 2212221112112 21 122m2 4
- Các tài liệu về FCO-IM, phần mềm Case Talk
- Các bài báo, sách chính thống và các website đáng tin cậy.
Phương pháp thực nghiệm - 5 2 2211120111 211111 1111111111111 xe 4 CHƯƠNG I TÌM HIỂU LÝ THUYẾTT FCO-IM 5522222222222 c2 5 nà
- Sử dụng công cụ CaseTalk để xây đựng sơ đồ cơ sở đữ liệu quan hệ từ mô hình dữ liệu
CHUONG I TÌM HIỂU LÝ THUYẾT FCO-IM
FCO-IM (Fully communication oriented information modeling) là phương pháp mô hình thông tin theo hướng giao tiếp toàn điện Đây là một phương pháp mới, ưu việt để xây dựng các mô hình thông tin khái niệm (conceptual information model) Các mô hình này có thê tự động chuyền thành các mô hình ERD, UML, các mô hình quan hệ hay đa hướng khác một cách dễ dàng thông qua céng cu FCO-IM bridge
Hiện nay, nó đang được các nhà phân tích trên thế giới lựa chọn và nó đã chứng minh giá trị thực tiễn của mình trong các dự án lớn tầm cỡ quốc tế Tuy nhiên, ở Việt Nam phương pháp này vẫn còn rất mới mẻ và chưa được áp dụng Trong bài báo này, tac gia đi sâu vào nghiên cứu phương pháp FCO-IM cũng như ứng dụng nó vào việc mô hình hoá thông tin cho hệ thống Qua đó, tác giả đưa ra các đánh giá về khả năng ứng dụng phương pháp này đề mô hình hoá các hệ thống lớn ở Việt Nam.
Lịch sử hình thành và xu hướng phát triễn 222 Ss T1 cEcExzrrrreg 5
ECO-IM là phương pháp mô hình hóa thông tin theo hướng giao tiếp toàn diện nằm trong họ phương pháp mô hình phân tích thông tin theo ngôn ngữ tự nhién NIAM (Natural language Information Analysis Method) NIAM được bắt đầu phát triển vào năm 1967 bởi giáo sư Nijssen trong quá trình thực hiện đự án ở trung tâm dữ liệu Hà Lan FCO-IM được xem là phiên bản mới nhất của NIAM Lúc đầu nó có tên gọi là FCO - NIAM nhưng sau này được đôi lại FCO-
IM để nhắn mạnh khía cạnh khái quát của phương pháp Nó được xem là phương pháp hướng giao tiếp toàn diện FCO (Fully Communication Oriented) bởi vì bước mô tả thông tin bằng ngôn ngữ tự nhiên được xem là bước khởi đầu của quá trình mô hình hóa hệ thống và các chuyên gia hệ thống có thế hoàn toàn kiểm định tình hình chính xác của các mô tả này
Vào năm 1993, FCO-IM được đưa vào giảng dạy đầu tiên ở đại học HAN,
Hà Lan Cho đến nay, FCO-IM được sử dụng rộng rãi và giảng dạy ở nhiều trường đại học ở Hà Lan và các nước khác trên thế giới Nó đã chứng minh tính hiệu quả của mình trong các đự án lớn của chính phủ và các công ty lớn đa quốc
6 gia Các công ty dịch vụ công nghệ và thông tin đặc biệt yêu thích phương pháp này trong việc xây dựng các mô hình đữ liệu, hay thiết kế các kho dữ liệu, kho dữ liệu cục bộ Một số dự án lớn thành công đã sử dụng phương pháp FCO-IM: dự án đường sắc Hà Lan (1990), dự án kho dữ liệu ngân hàng ING Hà Lan (2003), đự án hệ thống hành khách quốc tế KML(1998), dự án ETIM của công ty TLO Hà Lan, dự án xây đựng bộ từ điển dữ liệu của công ty Sandia National Labotaries ở Mỹ và nhiều dự án khác.
Đặc điểm ST TH HH HH1 rrrye 6
Đặc điểm nổi bật của FCO-IM là nó mô hình hóa việc truyền thông về một
Vũ trụ Nghị luận (UoD) nào đó hoàn toàn và độc quyền, tức là: nó không mô hình hóa chính UoD, mà là người dùng trao đôi sự thật khi họ giao tiếp về UoD Do đó, FCO-IM là thành viên của gia đình kỹ thuật mô hình hóa thông tin được gọi là mô hình hướng thực tế (FOMI), cũng như mô hình hóa vai trò đối tượng (ORMI), mô hình bộ dự đoán (PSM) và phương pháp phân tích thông tín ngôn ngữ tự nhiên (NIAM) Có hai lý do chính khiến FCO-IM tuyên bồ là "hoàn toàn định hướng giao tiếp"
- FCO-IM là kỹ thuật FOM duy nhất kết hợp hoàn toàn việc kiếm chứng thực tế các sự kiện của các chuyên gia tên miền (biểu thức thực tế) trong một mô hình thông tin Do đó, một mô hình FCO-IM chứa ngữ nghĩa mềm - nghĩa là: ý nghĩa của các sự kiện - cũng như ngữ nghĩa cứng - tức là: các loại thực tế và các ràng buộc Những xác minh bằng lời nói này có thê được tái tạo nguyên văn bất cứ lúc nào từ mô hình FCO-IM, cho mục đích xác thực và xác minh
FCO-IM sử dụng một tập hợp các khái niệm meta rất đơn giản và nhỏ, bằng cách xóa bỏ sự phân biệt không cần thiết giữa các loại thực tế và các loại đối tượng: tất cả các loại đối tượng cũng là các loại thực tế Nói cách khác: các loại đối tượng không được mô hình hóa độc lập với giao tiếp, mà là các phần không thể tách rời của chính giao tiếp; FCO-IM không bao giờ rời khỏi miền truyền thông
Do đó, FCO-IM là kỹ thuật mô hình hóa khái nệm duy nhất hoàn toàn tuân thủ nguyên tắc khái niệm 100%
1.4 Cac nguyén tac co ban cia FCO-IM
-_ Phương pháp FCO-IM được xây dựng đựa trên các nguyên tắc sau:
Nguyên tắc l: FCO-IM phải mô hình hóa tất cả các khía cạnh khái niệm của truyền thông mà hệ thông thông tin cần hỗ trợ, và không có gì ngoài những khía cạnh đó
Nguyên tắc 2: FCO-IM không mô hình hóa thực tế nhưng mô hình hóa thông tin về thực tế
Nguyên tắc 3: Các chuyên gia hệ thống phải có khả năng kiểm chứng tính chính xác của các mô tả sự kiện trong bộ ngữ pháp thông tín FCO-]M Nguyên tắc 4: Luôn có thể biểu diễn sơ đồ ngữ pháp thông tin FCO-IM và lược đỗ quan hệ sử dụng cùng một kỹ thuật sơ đồ FCO-IM Nguyên tắc 5: Các chuyên gia hệ thống cung cấp các mô tả về hệ thống băng ngôn ngữ tự nhiên và các ví dụ cụ thê của các mô tả đó
1.5 Các bước mô hình dữ liệu bằng phương pháp FCO-IM
Quá trình xây dựng một mô hình thông tin cho một hệ thống theo hướng giao tiêp toàn diện được chia làm các bước chính như sau:
Xây dựng bộ tải liệu gẻm các mô tả thực thế của hệ thông Diễn đạt các mô tả thành biểu thức ] sự kiện Phân loại vả định danh ]
Thêm các rảng buộc phức tạp |
Thực hiện các kiểm tra sơ cấp và phân chia các sự kiện nhỏ ]
Hình thành lược đề đữ liệu từ các IGD đã xây đựng J
Hình 15 Quá trình xây dựng mô hình thông tin cho một hệ thông theo hướng giao tiếp toàn điện
Casetalk : Là công cụ hỗ trợ việc xây dựng FCO-IM, được cung cấp bởi một công ty phần mềm tại Hà Lan Hiện tại phiên bản mới nhất là version 10.2.2020 Nó cung cấp nhiều tính năng: Lưu trữ các sự kiện có liên quan trong một kho lưu trữ tập trung, bảo trì tích hợp ngay lập tức trên các sự kiện, đễ dàng phát sinh tình tiết mới, tái sử dụng đầy đủ các sự kiện hiện tại, Trình bày đầy đủ các sự kiện Ngoài ra còn có công cụ: Infagon (trước gọi là FCO-IM tool) sử dụng miễn phí
CHUONG 2 QUY TRINH MO HINH HE THONG BANG PHUONG
PHAP FCO-IM 2.1 Xây dựng bộ tài liệu để mô tả hệ thống
Thông qua việc lấy các yêu cầu ta tiến hành bằng cách thu tập các thông tin Kết quả của việc lấy yêu cầu này có thể các báo cáo, các đanh sách, các biểu mẫu Đây là một bộ tài liệu có ý nghĩa về hệ thống Ở đây chúng ta nên quan tâm đến phần thông tin quan trọng chứ không cần quan tâm đến quá trình xử lý
Chuyên gia hệ thống sẽ cung cấp những ví dụ cụ thế để làm rõ các quan điểm thông tin, ví dụ cụ thế không nhất thiết phải đầy đủ tất cả đữ liệu, nhưng phải đủ dữ liệu cần thiết được nhập vảo dé minh họa rõ ràng các thông tin có liên quan
Mô tả cho ví dụ: Bài toán phân công làm bài tập nhóm: Một nhóm có 6 thành viên sẽ được phân công làm từng công việc cụ thế Sinh viên sẽ được lưu lại các thông tin như sau: mã sinh viên, tên sinh viên,giới tính, ngày tháng năm sinh, địa chỉ, chức vụ trong nhóm (mỗi sinh viên có một chức danh)
2.3 Diễn đạt các mô tả hệ thống dưới dạng biểu thức sự kiện
Các nhà phân tích hệ thống tiến hành diễn đạt các thông tin về hệ thống dưới dạng biểu thức mẫu sự kiện (fact type expression) Các biểu thức này được xác thực lại bởi các chuyên gia của hệ thông Từ đó các nhà phân tích hệ thống sẽ điển giải chúng đưới dạng ngôn ngữ tự nhiên, như những câu nói trao đối quen thuộc hăng ngày Đối với các biêu thức mẫu sự kiện thì nên đưa về dưới dạng biểu thức sự kiện sơ cấp (elementary fact type expression) Tức là các biểu thức này không thê tách nhỏ ra được nữa mà không làm mắt thông tin
Khi mô tả các biểu thức sự kiện chúng ta có thể nhóm các sự kiện lại với nhau thành nhóm và đặt tên cho nhóm đó
Từ ví dụ ở trên chúng ta có nhóm mô tả các biểu thức sự kiện như sau:
1 “Tôn tại sinh vién mang ma la ID#”
2 “Sinh viên ID04 tên là Nguyễn Văn Thuận”
3 “Sinh viên 104 có năm sinh là 2003 `
4 “Sinh vién ID04 la Thuan’
5 “Có chức vụ trưởng nhỏ”
2.4 Phân loại và định danh
-_ Phân loại (Classification): là sắp xếp các biểu thức sự kiện thành các nhóm
- Định danh (Qualification): là đặt tên có ý nghĩa cho các nhóm đó
Ghi chú: : Biêu thức nhãn
Sinh Vien F1: “Tổn tại sinh viên mang mã là
“Tổn tại sinh viên mang mã là ID04” ”
Mã sinh viên Ten sinh vien: F2: “ tờn là”
“sinh viên ID04 tên là Nguyễn Văn Thuận” | 01: Sinh viên
Bảng 2.4 Bảng ví dụ về phân loại và định danh các bài loán 2.5 Xây dựng sơ đồ ngữ pháp thông tin IGD
Qua quá trình phân loại và định đanh chúng ta đã thấy được sự xuất hiện của các mối quan hệ trong các biêu thức sự kiện Trong thực tế thì các dự án thường là các dự án lớn với khối lượng biêu thức sự kiện không lồ điều này sẽ dẫn tới các nhà phân tích cũng như các nhà hệ thống dễ bị lạc, sai sót Chính vì vậy mà FCO-IM đã sử dụng một sơ đồ đề giải quyết vấn đề đó, đó chính là
Sơ đồ ngữ pháp thông tin IGD (Information Grammar Diagram) dé mô phỏng các biểu thức sự kiện (biểu mẫu, đối tượng, mẫu nhãn) và mối quan hệ giữa các biểu thức sự kiện với nhau
Phân tích: trường hợp liên quan đến thông tin về các sinh viên thực hiện các dự án tại một trương đại học
Mô tả bài toán: Tất cả học sinh duoc yéu cau tham gia vào một dự án công nghiệp trong kỳ học đầu tiên năm thứ tư của họ Trong dự án này, các sinh viên có nhiệm vụ thực hiện phát triển hệ thống thông tin tại một doanh nghiệp hoặc trong một tô chức phi lợi nhuận nào đó Sinh viên có thê chọn một , hai hoặc ba(tất cả khác nhau) từ danh sách nhiệm vụ của dự án Danh sách này cho thấy mỗi dự án được cung cấp với người giám sát dự án (một giáo viên điều phối dự án) và một mô tả dự án ngắn Họ có thê nhập các lựa chọn của họ vào danh sách khác, trong đó tôi đã điền vào tên của họ và nguoi cô vấn của họ (mỗi học sinh có một giáo viên là một cô vấn sinh viên cá nhân) Nếu họ làm như vậy trước ngày mà tôi giao cho họ dự án sau đó tôi cố gang đáp ứng sở thích của họ tốt nhất có thê Danh sách các bài tập dự án được đăng lên bảng thông báo Những sinh viên chưa đưa ra lựa chọn sở thích của họ trong thời gian sẽ không được giao cho một dự án ở giai đoạn này; Sẽ giao các dự án còn lại cho những sinh viên này sau Trong một năm, có khoảng 200 sinh viên, vì vậy tôi sẽ ủng hộ mọi hình thức hỗ trợ trên may vi tinh dé quan ly céng viée nay
Dữ liệu của dự an:
Project code | Supervisor | Project Description
PIOI BLC Developing a timekeeping system P102 BAK Exploring various CASE-tools P1IO LEK Introducing an RDBMS into a business P1I5 ENG Building an automated project assignment system P120 FEL Converting a dBASE system to Foxpro
P200 BAK Developing a technical information system P201 BLC Analyzing complex information systems P203 BAK Writing course material on FCO-IM P204 FEL Implementing a design for a database
Danh sách các sở thích được mô tả ở 3 điểm sau trong thời gian được đề cập trong tài liệu:
-_ Trước khi bất kỳ sinh viên nào điền vào lựa chọn của mình
Sau khi I vài sinh viên đã điền vào lựa chọn của họ
- Tại thời điểm phân bổ đã diễn ra các dự án cho những sinh viên có làm cho những lựa chọn của họ được biết đến
Trường hợp trong khi bất kỳ sinh viên làm cho lựa chọn của minh duoc biết đến:
First Name] Surname | Mentor | First Project | Second Project | Third Project
Student Student Preference Preference Preference
Peter Johnson BLC sinh xu du John Hartman BLC on lt ae
Fred Smith GPB ip ae ee
Peter Groves JPC sie a sgt
Frank Seymour | VRM kêu — kqu
Tom Dakota HVL sai Am we
Trường hợp | vai sinh vién đã thực hiện được lựa chọn của mình
First Name] Surname | Mentor | First Project | Second Project | Third Project
Student Student Preference Preference Preference
Peter Johnson BLC PIOI P203 PIIO
Maria Jones VRM ats = = Fred Smith GPB kiểu sa ki) Peter Groves JPC — sina =ứ
Lizzy Johnson BAK eos wie vii
Trường hợp trước khi phân bô dự án bắt đầu diễn ra:
First Name] Surname | Mentor | First Project | Second Project | Third Project
Student Student Preference Preference Preference
John Hartman BLC P203 P101 P200 Elsa Doyle BAK P204 P203 P200
Fred Smith GPB ie ni viii
Tom Dakota HVL P2OI PIOI PIIO
Trường hợp sau đây có nhiêu thông tin nhật, vì vậy chúng ta chọn tiên hành với danh sách đó:
So dé hoan thién cua IGD (Information Gramar Diagram):
` name /' name , ‘\ code , er Ms"
Ot: 'student ' Elsa Doyle BAK
Maria | Jones ons, BAK Fred | Smith ‘project’: Nà
"oy ffirst, P203 BAK / ordinal’, Second, 04 FEL
€3), ‘number; third} | c Preferences Project Description de- >
F6: “the preference of is ” F5: " concerns " `.-“
ReterJohnson first P10! P10! developing a timekeeping system FeterJohnson second P203 P0 introducing an ROBMS snto a business ReterJohnson third P10 Pi20 converting a dBASE system to Foxpro John,Hartman first P203 P200 developing a technical information system John.Hartman second Pi01 P203 writing course material on FCO-IM John.Hartman — third P200 P204 implementing a design for a database
Hinh 2.5.le IGD with cardinality constraint
2.5.2 Những quy ước các biểu tượng đồ họa trong IGD
Hinh chữ nhật thê hiện cho một role hoặc một mẫu sự kiện chỉ có một role
[| [| | Hai hoặc nhiêu hình chữ nhật được nôi lại với nhau thê hiện một mẫu sự kiện có hai hoặc nhiều role
Các bước mô hình dữ liệu bằng phương pháp FCO-IM
Quá trình xây dựng một mô hình thông tin cho một hệ thống theo hướng giao tiêp toàn diện được chia làm các bước chính như sau:
Xây dựng bộ tải liệu gẻm các mô tả thực thế của hệ thông Diễn đạt các mô tả thành biểu thức ] sự kiện Phân loại vả định danh ]
Thêm các rảng buộc phức tạp |
Thực hiện các kiểm tra sơ cấp và phân chia các sự kiện nhỏ ]
Hình thành lược đề đữ liệu từ các IGD đã xây đựng J
Hình 15 Quá trình xây dựng mô hình thông tin cho một hệ thông theo hướng giao tiếp toàn điện
Tìm hiểu công ụ - St SEEEE22121111 21 1E tre rre 9 CHƯƠNG 2 QUY TRÌNH MÔ HÌNH HỆ THÓNG BẰNG PHƯƠNG PHÁP 99) 015 “411L
Casetalk : Là công cụ hỗ trợ việc xây dựng FCO-IM, được cung cấp bởi một công ty phần mềm tại Hà Lan Hiện tại phiên bản mới nhất là version 10.2.2020 Nó cung cấp nhiều tính năng: Lưu trữ các sự kiện có liên quan trong một kho lưu trữ tập trung, bảo trì tích hợp ngay lập tức trên các sự kiện, đễ dàng phát sinh tình tiết mới, tái sử dụng đầy đủ các sự kiện hiện tại, Trình bày đầy đủ các sự kiện Ngoài ra còn có công cụ: Infagon (trước gọi là FCO-IM tool) sử dụng miễn phí
CHUONG 2 QUY TRINH MO HINH HE THONG BANG PHUONG
Xây dựng bộ tài liệu để mô tả hệ thống 2 S1 E721 11x12 tre 10
Thông qua việc lấy các yêu cầu ta tiến hành bằng cách thu tập các thông tin Kết quả của việc lấy yêu cầu này có thể các báo cáo, các đanh sách, các biểu mẫu Đây là một bộ tài liệu có ý nghĩa về hệ thống Ở đây chúng ta nên quan tâm đến phần thông tin quan trọng chứ không cần quan tâm đến quá trình xử lý
Chuyên gia hệ thống sẽ cung cấp những ví dụ cụ thế để làm rõ các quan điểm thông tin, ví dụ cụ thế không nhất thiết phải đầy đủ tất cả đữ liệu, nhưng phải đủ dữ liệu cần thiết được nhập vảo dé minh họa rõ ràng các thông tin có liên quan
Mô tả cho ví dụ: Bài toán phân công làm bài tập nhóm: Một nhóm có 6 thành viên sẽ được phân công làm từng công việc cụ thế Sinh viên sẽ được lưu lại các thông tin như sau: mã sinh viên, tên sinh viên,giới tính, ngày tháng năm sinh, địa chỉ, chức vụ trong nhóm (mỗi sinh viên có một chức danh)
2.3 Diễn đạt các mô tả hệ thống dưới dạng biểu thức sự kiện
Các nhà phân tích hệ thống tiến hành diễn đạt các thông tin về hệ thống dưới dạng biểu thức mẫu sự kiện (fact type expression) Các biểu thức này được xác thực lại bởi các chuyên gia của hệ thông Từ đó các nhà phân tích hệ thống sẽ điển giải chúng đưới dạng ngôn ngữ tự nhiên, như những câu nói trao đối quen thuộc hăng ngày Đối với các biêu thức mẫu sự kiện thì nên đưa về dưới dạng biểu thức sự kiện sơ cấp (elementary fact type expression) Tức là các biểu thức này không thê tách nhỏ ra được nữa mà không làm mắt thông tin
Khi mô tả các biểu thức sự kiện chúng ta có thể nhóm các sự kiện lại với nhau thành nhóm và đặt tên cho nhóm đó
Từ ví dụ ở trên chúng ta có nhóm mô tả các biểu thức sự kiện như sau:
1 “Tôn tại sinh vién mang ma la ID#”
2 “Sinh viên ID04 tên là Nguyễn Văn Thuận”
3 “Sinh viên 104 có năm sinh là 2003 `
4 “Sinh vién ID04 la Thuan’
5 “Có chức vụ trưởng nhỏ”
2.4 Phân loại và định danh
-_ Phân loại (Classification): là sắp xếp các biểu thức sự kiện thành các nhóm
- Định danh (Qualification): là đặt tên có ý nghĩa cho các nhóm đó
Ghi chú: : Biêu thức nhãn
Sinh Vien F1: “Tổn tại sinh viên mang mã là
“Tổn tại sinh viên mang mã là ID04” ”
Mã sinh viên Ten sinh vien: F2: “ tờn là”
“sinh viên ID04 tên là Nguyễn Văn Thuận” | 01: Sinh viên
Bảng 2.4 Bảng ví dụ về phân loại và định danh các bài loán 2.5 Xây dựng sơ đồ ngữ pháp thông tin IGD
Qua quá trình phân loại và định đanh chúng ta đã thấy được sự xuất hiện của các mối quan hệ trong các biêu thức sự kiện Trong thực tế thì các dự án thường là các dự án lớn với khối lượng biêu thức sự kiện không lồ điều này sẽ dẫn tới các nhà phân tích cũng như các nhà hệ thống dễ bị lạc, sai sót Chính vì vậy mà FCO-IM đã sử dụng một sơ đồ đề giải quyết vấn đề đó, đó chính là
Sơ đồ ngữ pháp thông tin IGD (Information Grammar Diagram) dé mô phỏng các biểu thức sự kiện (biểu mẫu, đối tượng, mẫu nhãn) và mối quan hệ giữa các biểu thức sự kiện với nhau
Phân tích: trường hợp liên quan đến thông tin về các sinh viên thực hiện các dự án tại một trương đại học
Mô tả bài toán: Tất cả học sinh duoc yéu cau tham gia vào một dự án công nghiệp trong kỳ học đầu tiên năm thứ tư của họ Trong dự án này, các sinh viên có nhiệm vụ thực hiện phát triển hệ thống thông tin tại một doanh nghiệp hoặc trong một tô chức phi lợi nhuận nào đó Sinh viên có thê chọn một , hai hoặc ba(tất cả khác nhau) từ danh sách nhiệm vụ của dự án Danh sách này cho thấy mỗi dự án được cung cấp với người giám sát dự án (một giáo viên điều phối dự án) và một mô tả dự án ngắn Họ có thê nhập các lựa chọn của họ vào danh sách khác, trong đó tôi đã điền vào tên của họ và nguoi cô vấn của họ (mỗi học sinh có một giáo viên là một cô vấn sinh viên cá nhân) Nếu họ làm như vậy trước ngày mà tôi giao cho họ dự án sau đó tôi cố gang đáp ứng sở thích của họ tốt nhất có thê Danh sách các bài tập dự án được đăng lên bảng thông báo Những sinh viên chưa đưa ra lựa chọn sở thích của họ trong thời gian sẽ không được giao cho một dự án ở giai đoạn này; Sẽ giao các dự án còn lại cho những sinh viên này sau Trong một năm, có khoảng 200 sinh viên, vì vậy tôi sẽ ủng hộ mọi hình thức hỗ trợ trên may vi tinh dé quan ly céng viée nay
Dữ liệu của dự an:
Project code | Supervisor | Project Description
PIOI BLC Developing a timekeeping system P102 BAK Exploring various CASE-tools P1IO LEK Introducing an RDBMS into a business P1I5 ENG Building an automated project assignment system P120 FEL Converting a dBASE system to Foxpro
P200 BAK Developing a technical information system P201 BLC Analyzing complex information systems P203 BAK Writing course material on FCO-IM P204 FEL Implementing a design for a database
Danh sách các sở thích được mô tả ở 3 điểm sau trong thời gian được đề cập trong tài liệu:
-_ Trước khi bất kỳ sinh viên nào điền vào lựa chọn của mình
Sau khi I vài sinh viên đã điền vào lựa chọn của họ
- Tại thời điểm phân bổ đã diễn ra các dự án cho những sinh viên có làm cho những lựa chọn của họ được biết đến
Trường hợp trong khi bất kỳ sinh viên làm cho lựa chọn của minh duoc biết đến:
First Name] Surname | Mentor | First Project | Second Project | Third Project
Student Student Preference Preference Preference
Peter Johnson BLC sinh xu du John Hartman BLC on lt ae
Fred Smith GPB ip ae ee
Peter Groves JPC sie a sgt
Frank Seymour | VRM kêu — kqu
Tom Dakota HVL sai Am we
Trường hợp | vai sinh vién đã thực hiện được lựa chọn của mình
First Name] Surname | Mentor | First Project | Second Project | Third Project
Student Student Preference Preference Preference
Peter Johnson BLC PIOI P203 PIIO
Maria Jones VRM ats = = Fred Smith GPB kiểu sa ki) Peter Groves JPC — sina =ứ
Lizzy Johnson BAK eos wie vii
Trường hợp trước khi phân bô dự án bắt đầu diễn ra:
First Name] Surname | Mentor | First Project | Second Project | Third Project
Student Student Preference Preference Preference
John Hartman BLC P203 P101 P200 Elsa Doyle BAK P204 P203 P200
Fred Smith GPB ie ni viii
Tom Dakota HVL P2OI PIOI PIIO
Trường hợp sau đây có nhiêu thông tin nhật, vì vậy chúng ta chọn tiên hành với danh sách đó:
So dé hoan thién cua IGD (Information Gramar Diagram):
` name /' name , ‘\ code , er Ms"
Ot: 'student ' Elsa Doyle BAK
Maria | Jones ons, BAK Fred | Smith ‘project’: Nà
"oy ffirst, P203 BAK / ordinal’, Second, 04 FEL
€3), ‘number; third} | c Preferences Project Description de- >
F6: “the preference of is ” F5: " concerns " `.-“
ReterJohnson first P10! P10! developing a timekeeping system FeterJohnson second P203 P0 introducing an ROBMS snto a business ReterJohnson third P10 Pi20 converting a dBASE system to Foxpro John,Hartman first P203 P200 developing a technical information system John.Hartman second Pi01 P203 writing course material on FCO-IM John.Hartman — third P200 P204 implementing a design for a database
Hinh 2.5.le IGD with cardinality constraint
2.5.2 Những quy ước các biểu tượng đồ họa trong IGD
Hinh chữ nhật thê hiện cho một role hoặc một mẫu sự kiện chỉ có một role
[| [| | Hai hoặc nhiêu hình chữ nhật được nôi lại với nhau thê hiện một mẫu sự kiện có hai hoặc nhiều role
O) if Hinh tron nét dirt bieu dien mét mau nhan © Hình tròn liên nét hoặc hình elip bao quanh một mẫu sự kiện thẻ hiện một mẫu sự kiện được đối tượng hóa — mẫu đối tượng (aominalized) ẩ oN
Hinh này thê hiên cho sự biêu điển của tole bởi mẫu nhãn hoặc bởi mẫu đối tượng
Hình 2.5.2 Quy ước các biểu trong dé hoa trong IGD
-_ Một mẫu sự kiện được mô tả bởi một sô hình chữ nhật được kết nôi theo chiêu ngang, được gọi là role của các mầu sự kiện Mỗi role có mỗi chỗ trông cho môi biêu thức mẫu sự kiện tương ứng (hoặc biêu thức mẫu sự kiện tương ứng) Thứ tự xuất hiện của mỗi role là không quan trọng Mẫu sự kiện unary chỉ có một role, mầu sự kiện binary có hai role và mẫu sự kiện ternary có ba role Mẫu sự kiện với n role được gọi là mâu sự kiện n-ary
-_ Mẫu nhãn được vẽ như một vòng tròn nét đứt
- Mau su kién nominalized duoc nhu mét vòng tròn hay một hình elip bao quanh một mẫu sự kiện trong đó các mẫu đối tượng là một nominalization
- Đường nối giữa role và với các mẫu nhãn hay một mẫu sự kiện nominalized có nghĩa là role được kết nối với các mẫu đối tượng đối để đưa một biểu thức mẫu đối tượng vào ô trông tương ứng với role, hay role được kết nỗi với các mẫu nhãn để đưa các vào ô trông tương ứng với role
Trong một IGD, chúng ta vẽ tất cả các mẫu sự kiện (nominalized hoặc không) và các mẫu nhãn hoàn chỉnh đã được xác định trong bước phân loại và đặt tên
Trình tự dùng để xây dựng IGD
- Lấy một mẫu sự kiện, phân tích biểu thức sự kiện tương ứng cho đến khi không thể tìm thấy biểu thức đối tượng nào nữa
-_ Lần lượt vẽ IGD tương ứng cho mẫu sự kiện này Thêm các bộ giá trị (tuples) ứng với các mẫu sự kiện vào IGD Tiếp tục thực hiện tương tự với các biêu thức sự kiện khác Cuối cùng sơ dé IGD sẽ được dựng lên và hình thành nên một bức tranh mô tả tổng quát về hệ thống hoàn chỉnh
Cách xây dựng IGD trong FCO-IM
- Dựa vào các quy ước về biêu tượng và trình tự xây đựng sơ đồ ngữ pháp thông tin, chúng ta sử đụng CaseTalk đề xuất ra ngay sơ đồ ngữ pháp thông tin
Diễn đạt các mô tả hệ thống dưới dạng biểu thức sự kiện
Các nhà phân tích hệ thống tiến hành diễn đạt các thông tin về hệ thống dưới dạng biểu thức mẫu sự kiện (fact type expression) Các biểu thức này được xác thực lại bởi các chuyên gia của hệ thông Từ đó các nhà phân tích hệ thống sẽ điển giải chúng đưới dạng ngôn ngữ tự nhiên, như những câu nói trao đối quen thuộc hăng ngày Đối với các biêu thức mẫu sự kiện thì nên đưa về dưới dạng biểu thức sự kiện sơ cấp (elementary fact type expression) Tức là các biểu thức này không thê tách nhỏ ra được nữa mà không làm mắt thông tin
Khi mô tả các biểu thức sự kiện chúng ta có thể nhóm các sự kiện lại với nhau thành nhóm và đặt tên cho nhóm đó
Từ ví dụ ở trên chúng ta có nhóm mô tả các biểu thức sự kiện như sau:
1 “Tôn tại sinh vién mang ma la ID#”
2 “Sinh viên ID04 tên là Nguyễn Văn Thuận”
3 “Sinh viên 104 có năm sinh là 2003 `
4 “Sinh vién ID04 la Thuan’
5 “Có chức vụ trưởng nhỏ”.
Phân loại và định danh - Q2 02221112111 1211 1221112111111 122112 II
-_ Phân loại (Classification): là sắp xếp các biểu thức sự kiện thành các nhóm
- Định danh (Qualification): là đặt tên có ý nghĩa cho các nhóm đó
Ghi chú: : Biêu thức nhãn
Sinh Vien F1: “Tổn tại sinh viên mang mã là
“Tổn tại sinh viên mang mã là ID04” ”
Mã sinh viên Ten sinh vien: F2: “ tờn là”
“sinh viên ID04 tên là Nguyễn Văn Thuận” | 01: Sinh viên
Xây dựng sơ đồ ngữ pháp thông tin IGD S2 S3 2221712212211 xe II
Qua quá trình phân loại và định đanh chúng ta đã thấy được sự xuất hiện của các mối quan hệ trong các biêu thức sự kiện Trong thực tế thì các dự án thường là các dự án lớn với khối lượng biêu thức sự kiện không lồ điều này sẽ dẫn tới các nhà phân tích cũng như các nhà hệ thống dễ bị lạc, sai sót Chính vì vậy mà FCO-IM đã sử dụng một sơ đồ đề giải quyết vấn đề đó, đó chính là
Sơ đồ ngữ pháp thông tin IGD (Information Grammar Diagram) dé mô phỏng các biểu thức sự kiện (biểu mẫu, đối tượng, mẫu nhãn) và mối quan hệ giữa các biểu thức sự kiện với nhau
Phân tích: trường hợp liên quan đến thông tin về các sinh viên thực hiện các dự án tại một trương đại học
Mô tả bài toán: Tất cả học sinh duoc yéu cau tham gia vào một dự án công nghiệp trong kỳ học đầu tiên năm thứ tư của họ Trong dự án này, các sinh viên có nhiệm vụ thực hiện phát triển hệ thống thông tin tại một doanh nghiệp hoặc trong một tô chức phi lợi nhuận nào đó Sinh viên có thê chọn một , hai hoặc ba(tất cả khác nhau) từ danh sách nhiệm vụ của dự án Danh sách này cho thấy mỗi dự án được cung cấp với người giám sát dự án (một giáo viên điều phối dự án) và một mô tả dự án ngắn Họ có thê nhập các lựa chọn của họ vào danh sách khác, trong đó tôi đã điền vào tên của họ và nguoi cô vấn của họ (mỗi học sinh có một giáo viên là một cô vấn sinh viên cá nhân) Nếu họ làm như vậy trước ngày mà tôi giao cho họ dự án sau đó tôi cố gang đáp ứng sở thích của họ tốt nhất có thê Danh sách các bài tập dự án được đăng lên bảng thông báo Những sinh viên chưa đưa ra lựa chọn sở thích của họ trong thời gian sẽ không được giao cho một dự án ở giai đoạn này; Sẽ giao các dự án còn lại cho những sinh viên này sau Trong một năm, có khoảng 200 sinh viên, vì vậy tôi sẽ ủng hộ mọi hình thức hỗ trợ trên may vi tinh dé quan ly céng viée nay
Dữ liệu của dự an:
Project code | Supervisor | Project Description
PIOI BLC Developing a timekeeping system P102 BAK Exploring various CASE-tools P1IO LEK Introducing an RDBMS into a business P1I5 ENG Building an automated project assignment system P120 FEL Converting a dBASE system to Foxpro
P200 BAK Developing a technical information system P201 BLC Analyzing complex information systems P203 BAK Writing course material on FCO-IM P204 FEL Implementing a design for a database
Danh sách các sở thích được mô tả ở 3 điểm sau trong thời gian được đề cập trong tài liệu:
-_ Trước khi bất kỳ sinh viên nào điền vào lựa chọn của mình
Sau khi I vài sinh viên đã điền vào lựa chọn của họ
- Tại thời điểm phân bổ đã diễn ra các dự án cho những sinh viên có làm cho những lựa chọn của họ được biết đến
Trường hợp trong khi bất kỳ sinh viên làm cho lựa chọn của minh duoc biết đến:
First Name] Surname | Mentor | First Project | Second Project | Third Project
Student Student Preference Preference Preference
Peter Johnson BLC sinh xu du John Hartman BLC on lt ae
Fred Smith GPB ip ae ee
Peter Groves JPC sie a sgt
Frank Seymour | VRM kêu — kqu
Tom Dakota HVL sai Am we
Trường hợp | vai sinh vién đã thực hiện được lựa chọn của mình
First Name] Surname | Mentor | First Project | Second Project | Third Project
Student Student Preference Preference Preference
Peter Johnson BLC PIOI P203 PIIO
Maria Jones VRM ats = = Fred Smith GPB kiểu sa ki) Peter Groves JPC — sina =ứ
Lizzy Johnson BAK eos wie vii
Trường hợp trước khi phân bô dự án bắt đầu diễn ra:
First Name] Surname | Mentor | First Project | Second Project | Third Project
Student Student Preference Preference Preference
John Hartman BLC P203 P101 P200 Elsa Doyle BAK P204 P203 P200
Fred Smith GPB ie ni viii
Tom Dakota HVL P2OI PIOI PIIO
Trường hợp sau đây có nhiêu thông tin nhật, vì vậy chúng ta chọn tiên hành với danh sách đó:
So dé hoan thién cua IGD (Information Gramar Diagram):
` name /' name , ‘\ code , er Ms"
Ot: 'student ' Elsa Doyle BAK
Maria | Jones ons, BAK Fred | Smith ‘project’: Nà
"oy ffirst, P203 BAK / ordinal’, Second, 04 FEL
€3), ‘number; third} | c Preferences Project Description de- >
F6: “the preference of is ” F5: " concerns " `.-“
ReterJohnson first P10! P10! developing a timekeeping system FeterJohnson second P203 P0 introducing an ROBMS snto a business ReterJohnson third P10 Pi20 converting a dBASE system to Foxpro John,Hartman first P203 P200 developing a technical information system John.Hartman second Pi01 P203 writing course material on FCO-IM John.Hartman — third P200 P204 implementing a design for a database
Hinh 2.5.le IGD with cardinality constraint
2.5.2 Những quy ước các biểu tượng đồ họa trong IGD
Hinh chữ nhật thê hiện cho một role hoặc một mẫu sự kiện chỉ có một role
[| [| | Hai hoặc nhiêu hình chữ nhật được nôi lại với nhau thê hiện một mẫu sự kiện có hai hoặc nhiều role
O) if Hinh tron nét dirt bieu dien mét mau nhan © Hình tròn liên nét hoặc hình elip bao quanh một mẫu sự kiện thẻ hiện một mẫu sự kiện được đối tượng hóa — mẫu đối tượng (aominalized) ẩ oN
Hinh này thê hiên cho sự biêu điển của tole bởi mẫu nhãn hoặc bởi mẫu đối tượng
Hình 2.5.2 Quy ước các biểu trong dé hoa trong IGD
-_ Một mẫu sự kiện được mô tả bởi một sô hình chữ nhật được kết nôi theo chiêu ngang, được gọi là role của các mầu sự kiện Mỗi role có mỗi chỗ trông cho môi biêu thức mẫu sự kiện tương ứng (hoặc biêu thức mẫu sự kiện tương ứng) Thứ tự xuất hiện của mỗi role là không quan trọng Mẫu sự kiện unary chỉ có một role, mầu sự kiện binary có hai role và mẫu sự kiện ternary có ba role Mẫu sự kiện với n role được gọi là mâu sự kiện n-ary
-_ Mẫu nhãn được vẽ như một vòng tròn nét đứt
- Mau su kién nominalized duoc nhu mét vòng tròn hay một hình elip bao quanh một mẫu sự kiện trong đó các mẫu đối tượng là một nominalization
- Đường nối giữa role và với các mẫu nhãn hay một mẫu sự kiện nominalized có nghĩa là role được kết nối với các mẫu đối tượng đối để đưa một biểu thức mẫu đối tượng vào ô trông tương ứng với role, hay role được kết nỗi với các mẫu nhãn để đưa các vào ô trông tương ứng với role
Trong một IGD, chúng ta vẽ tất cả các mẫu sự kiện (nominalized hoặc không) và các mẫu nhãn hoàn chỉnh đã được xác định trong bước phân loại và đặt tên
Trình tự dùng để xây dựng IGD
- Lấy một mẫu sự kiện, phân tích biểu thức sự kiện tương ứng cho đến khi không thể tìm thấy biểu thức đối tượng nào nữa
-_ Lần lượt vẽ IGD tương ứng cho mẫu sự kiện này Thêm các bộ giá trị (tuples) ứng với các mẫu sự kiện vào IGD Tiếp tục thực hiện tương tự với các biêu thức sự kiện khác Cuối cùng sơ dé IGD sẽ được dựng lên và hình thành nên một bức tranh mô tả tổng quát về hệ thống hoàn chỉnh
Cách xây dựng IGD trong FCO-IM
- Dựa vào các quy ước về biêu tượng và trình tự xây đựng sơ đồ ngữ pháp thông tin, chúng ta sử đụng CaseTalk đề xuất ra ngay sơ đồ ngữ pháp thông tin
- Những chú ý khi vẽ IGD: ° Mỗi mẫu sự kiện không được đối tượng hóa phải có ít nhất một biểu thức mẫu sự kiện ° Mỗi role phải thuộc một mẫu sự kiện nhất định và có một số role duy nhất ° Mỗi role được biểu diễn bởi ít nhất một mẫu nhãn hoặc một mẫu đối tượng e© Mỗi mẫu sự kiện phải có ít nhất một bộ giá trị ° Mỗi mẫu đối tượng (đối tượng hóa từ biểu thức mẫu sư kiện) có thé cân một biêu thức mẫu sự kiện chỉ sự tôn tại hoặc không
Các ràng buộc trong FCO-IM
-_ Có được sơ đồ IGD, chúng ta đã có được một bức tranh toàn diện về hệ thống Tuy nhiên, có thể sẽ có một số sự trùng lặp, sai sót khi chúng ta thêm các bộ giá trị
-_ Ví dụ với mẫu sự kiện Ngay Sinh ta thêm hai bộ giá trị sau:
“Sinh viên ID04 sinh năm 1999”
“Sinh viên ID04 sinh năm 1998” Đây là điều không thê xảy ra vì một giảng viên thì không thế có hai năm sinh Vì vậy hệ thống cung cấp các ràng buộc vào sơ đồ IGD Việc xác định các ràng buộc phụ thuộc vào tài liệu mô tả của bài toán
Ta có các ràng buộc phương pháp FCO-IM cung cấp: a Rang buéc don nhat (Unique Constraints - UC) b Rang buộc toàn dién (Totality Constraints - TC) c Rang buéc gid tri (Value Constraints - VC) d Rang buéc con (Subset Constraints - SC) e Nàng buộc loại tri (Exclusive Constraints - EC) f Rang buéc ban sé (Cardinality Constraint - CC)
Ta lay 1 ví dụ về ràng buộc giá trị: ràng buộc giá trị là ràng buộc chỉ ra các giá trị có thế có của 1 mẫu nhãn
Ví dụ: mẫu nhãn giới tính của sinh viên chỉ có 2 giả trị hợp lệ là “Nam” và
Ràng buộc giá tri được biểu điễn ngay bên cạnh mẫu nhãn và nằm giữ 2 dấu ngoặc nhọn {}
2.6 Thuat toan chuyén doi GLR
Gồm 3 bước: Nhóm (Grouping), Định danh hóa (Lexicalizing), Rut gon (Reducing)
