Tải bản đầy đủ (.doc) (38 trang)

Phương pháp thiết kế hướng dữ liệu trong công nghệ phần mềm

Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (321.57 KB, 38 trang )

Website: Email : Tel (: 0918.775.368
đề cơng chi tiết
Đề tài: Phơng pháp thiết kế hớng dữ liệu trong công nghệ phần mềm.
Giáo viên hớng dẫn: pgs.ts Hàn Viết Thuận
Sinh viên : Phạm Thế Tân
Lớp : Tin Học 43C
Khoa: TinHọc Kinh Tế
Trờng Đại Học Kinh Tế Quốc Dân
Mở đầu
I. thiết kế và cấu trúc dữ liệu
1. Các đóng góp
2. Miền ứng dụng
3. Cấu trúc dữ liệu so với các kĩ thuật luồng dữ liệu
4. Cấu trúc dữ liệu so với thiết kế hớng sự vật
II. xem xét tiến trình thiết kế
III. phát triển hệ thống jackson
1. Các bớc thiết kế JSD
2. Bớc chức năng
3. Bớc thời gian hệ thống
4. Bớc cài đặt
5. Biểu diễn thủ tục
IV. phát triển hệ thống có cấu trúc dữ liệu
1. Cách tiếp cận thiết kế đã đơn giản hoá
2. Suy dẫn về cấu trúc cái ra logic
3. Suy dẫn ra cấu trúc xử lí logic
4. Logic xử lí phức tạp
Kết Luận
Mở đầu
Mối quan hệ mật thiết giữa chơng trình và dữ liệu có thể đợc dõi về
nguồn gốc của tin học. Khái niệm nguyên thuỷ đằng sau máy tính lu trữ ch-
Phơng pháp thiết kế h ớng dữ liệu trong


CNPM
1
Website: Email : Tel (: 0918.775.368
ơng trình là ở chỗ chơng trình đợc coi nh dữ liệu và dữ liệu đợc hiểu nh ch-
ơng trình. Cấu trúc thông tin, đợc gọi là cấu trúc dữ liệu, đã chứng tỏ có tác
động quan trọng tới độ phức tạp và tính hiệu quả của thuật toán đợc thiếi kế
để xử lý thông tin.
Khi thiết kế phần mềm tiến hoá, một trờng phái t tởngcho rằng:
Việc xác định cấu trúc dữ liệu cố hữu (đối với hệ thống dựa trên máy
tính) là điều sống còn, còn cấu trúc của dữ liệu (cái vào và cái ra) có thể đợc
dùng để đa ra cấu trúc (và một số chi tiết) về chơng trình.
Trong lĩnh vực ứng dụng một cấu trúc thông tin có cấp bậc, phân biệt
là tồn tại. Dữ liệu vào, thông tin ghi nhớ bên trong (nh cơ sở dữ liệu) và dữ
liệu ra có thể có một cấu trúc duy nhất. Thiết kế hớng cấu trúc dữ liệu dùng
những cấu trúc này làm nền tảng cho việc phát triển phần mềm.
Phơng pháp thiết kế hớng dữ liệu trong
CNPM
2
Website: Email : Tel (: 0918.775.368
I. Thiết kế và cấu trúc dữ liệu
Cấu trúc dữ liệu phản ánh thiết kế của các khía cạnh cấu trúc và thủ
tục của phần mềm. Dữ liệu lặp lại bao giờ cũng đợc xử lý bằng phần mềm có
tiện nghi điều khiển cho việc lặp lại; dữ liệu khác (nh thông tin có thể có hay
không) ngng đọng lại thành phần mềm với các phần tử xử lý có điều kiện;
một tổ chức dữ liệu phân cấp thờng có những điểm tơng đồng đáng để ý với
cấu trúc chơng trình của phần mềm có dùng dữ liệu đó. Trong thực tế, cấu
trúc thông tin là điều báo trớc cho cấu trúc chơng trình.
Thiết kế hớng cấu trúc dữ liệu biến đổi một biểu diễn của cấu trúc dữ
liệu thành biểu diễn của phần mềm. Giống nh các kĩ thuật luồng dữ liệu, ngời
phát triển thiết kế hớng cấu trúc dữ liệu xác định ra một tập các thủ tục ánh

xạ có dùng cấu trúc (dữ liệu) thông tin nh hớng dẫn.
1. Các đóng góp
Nguồn gốc của thiết kế hớng cấu trúc dữ liệu có thể tìm thấy trong
những thảo luận về nền tảng của cấu trúc dữ liệu, thuật toán máy tính, cấu
trúc điều khiển và dữ liệu, và khái niệm về trừu tợng dữ liệu. Những xử lí
thực chứng hơn về thiết kế phần mềm và mối quan hệ của nó với cấu trúc dữ
liệu đã dợc Jackson, Warnier và Orr đề nghị.
Lập trình có cấu trúc Jackson (JSP), một phơng pháp thiết kế phần
mềm đợc sử dụng rộng rãi, lấy quan điểm là sự song song giữa cấu trúc của
dự liệu vào và dữ liệu ra (báo cáo) sẽ đảm bảo chất lợng thiết kế. Những mở
rộng gần đây hơn thành phơng pháp luận, gọi là phát triển hệ thống Jackson,
tập trung vào việc xác định các thực thể thông tin và những hành động đợc áp
dụng lên chúng và hoàn toàn tơng tự trong một số khía cạnh của cách tiếp
cận thiết kế hớng sự vật đã đợc mô tả. Jackson nhấn mạnh về mặt thực hành,
phát triển thực chứng để biến đổi dữ liệu thành cấu trúc chơng trình.
Xây dựng logic chơng trình (LPC), dợc J.D.Warnier phát triển, đa ra
một phơng pháp chặt chẽ cho thiết kế phần mềm. Rút ra từ mối quan hệ giữa
cấu trúc dữ liệu và cấu trúc thủ tục, Warnier đã phát triển một tập các kĩ thuật
Phơng pháp thiết kế hớng dữ liệu trong
CNPM
3
Website: Email : Tel (: 0918.775.368
thực hiện ánh xạ tù cấu trúc dữ liệu vào/ra sang biểu diễn thủ tục chi tiết cho
phần mềm.
Phát triển hệ thống có cấu trúc dữ liệu (DSSD), cũng còn đợc gọi là
phơng pháp luận Warnier- Orr, là một mở rộng của LCP và bổ sung thêm các
khả năng phân tích cũng nh thiết kế mạnh. Cách tiếp cận DSSD đa ra một kí
pháp và nhiều thủ tục để suy ra cấu trúc dữ liệu, cấu trúc chơng trình, và thiết
kế thủ tục chi tiết cho các thành phần chơng trình (mô đun). Bên cạnh đó,
DSSD cung cấp một kí pháp làm cho ngời thiết kế có khả năng xem xét luồng

dữ liệu giữa nơi phát và nơi nhận thông tin và đi qua các tiến trình biến đổi
thông tin.
Một kĩ thuật gọi là xây dựng logic phần mềm là đại biểu cho việc tổng
hợp của các cách tiếp cận thiết kế hớng luồng dữ liệu và cấu trúc dữ liệu.
Những ngời phát triển phong pháp này cho rằng thiết kế logic có thể đợc mô
tả tờng minh nếu phần mềm đợc xét nh một hệ thống các tập dữ liệu và các
phếp biến đổi dữ liệu.
2. Miền ứng dụng
Thiết kế hớng cấu trúc dữ liệu có thể đợc áp dụng thành công trong
các ứng dụng có cấu trúc thông tin cấp bậc, đợc xác định rõ. Các thí dụ điển
hình bao gồm:
ứng dụng hệ thống thông tin kinh doanh.cái vào và cái ra có cấu trúc
phân biệt (nh tệp vào, báo cáo ra); việc dung cơ sở dữ liệu cấp bậc là thông
dụng.
các ứng dụng hệ thống. Cấu truc dữ liệu cho hệ điều hành có chứa
nhiều bảng, tệp và danh sách có cấu trúc xác định rõ.
các ứng dụng CAD/CAE/CIM. Các hệ thống thiết kế, kĩ nghệ và chế
tạo có máy tính trợ giúp đòi hỏi các cấu trúc dữ liệu phức tạp để ghi nhớ,
chuyển dịch và xử lí thông tin.
Phơng pháp thiết kế hớng dữ liệu trong
CNPM
4
Website: Email : Tel (: 0918.775.368
Bên cạnh đó, các ứng dụng trong lĩnh vực kĩ nghệ khoa học có máy
tính trợ giúp, giải bài toán tổ hợp và nhiều lĩnh vực khác có thể tuân theo
thiết kế hớng cấu trúc dữ liệu.
3. Cấu trúc dữ liệu so với các kỹ thuật luồng dữ liệu
Trớc khi xem xét những khác biệt giữa thiết kế hớng cấu trúc dữ liệu
và luồng dữ liệu, điều quan trọng cần ku ý là cả hai cách thiết kế này đều bắt
đầu từ cách phân tích để đặt nền tảng cho các bớc thiết kế tiếp; cả hai đều h-

ớng theo thông tin; cả hai đều định biến đổi thông tin thành biểu diễn phần
mềm; cả hai đều dựa trên các khái niệm suy diễn tách biệt về thiết kế tốt.
Thiết kế hớng cấu trúc dữ liệu không dùng biểu đồ luồng dữ liệu một
cách tờng minh. Do đó, các phân loại phép biến đổi và luồng giao tác ít có
liên can tới phơng pháp thiết kế hớng cấu trúc dữ liệu. Điều quan trọng hơn
mục tiêu cuối cùng của phơng pháp hớng cấu trúc dữ liệu là tạo ra một mô tả
thủ tục cho phần mềm. Khái niệm về cấu trúc mô đun chơng trình không đợc
xem xét một cách tờng minh. Các mô đun đợc coi nh các thứ phẩm của thủ
tục và triết lí về sự độc lập của mô đun cũng ít đợc nhấn mạnh tới.
Thiết kế hớng cấu trúc dữ liệu dùng biểu đồ phân cấp để biểu diễn cấu
trúc thông tin. Do đó, việc nhấn mạnh trong phân tích các yêu cầu phần mềm
phải đợc đặt vào các mô hình biểu diễn này.
4. Cấu trúc dữ liệu so với thiết kế hớng sự vật
Vì thiết kế hớng cấu trúc dữ liệu và thiết kế hớng sự vật tập trung vào
các sự vật thế giới thực và biểu diễn của chúng trong hệ thống dựa trên phần
mềm nên có những điểm tơng đồng quan trọng giữa hai phơng pháp thiết kế.
Giống nh việc so sánh giữa các phơng pháp hớng cấu trúc dữ liệu và hớng
luồng dữ liệu, thiết kế hớng cấu trúc dữ liệu và OOD cả hai đều hớng thông
tin; cả hai đều dùng một biểu diễn dữ liệu làm cơ sở cho việc phát triển mộ
biểu diễn chơng trình; cả hai có khái niệm riêng của chúng (đợc suy diễn độc
lập) về thiết kế tốt. Cấp bậc dữ liệu (đợc dùng trong các phơng pháp hớng
cấu trúc dữ liệu) là tơng tự với cấp bậc lớp đợc dung trong OOD. Cả hai đều
Phơng pháp thiết kế hớng dữ liệu trong
CNPM
5
Website: Email : Tel (: 0918.775.368
áp dụng các trừu tợng dữ liệu và mỗi phơng pháp đều coi các thao tác biến
đổi dữ liệu là thứ yếu so với chính khoản mục dữ liệu.
Sự khác biệt chủ yếu giữa OOD và phơng pháp thiết kế hóng cấu trúc
dữ liệu ở trong định ngiã về sự vật. Trong OOD, một sự vật bao bọc cả dữ

liệu và tiến trình. Các phơng pháp thiết kế hớng cấu trúc dữ liệu chọn con đ-
ờng qui ớc nhiều hơn - một sự vật (sự vật dữ liệu) chỉ là dữ liệu. Mặc dầu
không có biểu diễn trực tiếp cho kế thừa, truyền thông báo, hay bao bọc trong
phơng pháp thiết kế hớng cấu trúc dữ liệu, các kái niệm này vẫn cứ tự biểu lộ
tinh vi trong trực cảm thiết kế đợc mô tả trong chơng trình này.
II. xem xét tiến trình thiết kế
Phân tích yêu cầu phần mềm vẫn còn là nền tảng cho thiết kế hớng cấu
truc dữ liệu. Mô tả về miền thông tin (cấu trúc, nội dung và luồng dữ liệu)
chứa trong bản Đặc tả yêu cầu phần mềm báo trớc về cấu trúc phần mềm cần
đợc phát triển trong khi thiết kế. Mỗi phơng pháp thiết kế đều đa ra một tập
các qui tắc làm cho ngời thiết kế biến đổi cấu trúc dữ liệu thành mộ biểu
diễn của phần mềm.
Mỗi phơng pháp hớng cấu trúc dữ liệu dều có tập qui tắc riêng của nó.
Tuy nhiên, các nhiệm vụ thiết kế sau đây bao giờ cũng phải đợc tiến hành:
(1) đánh giá các đặc trng cấu trúc dữ liệu; (2) biểu diễn dữ liệu dới dạng sơ
cấp nh tuần tự, tuyển chọn và lặp; (3) ánh xạ biểu diễn cấu trúc dữ liệu vào
cấu trúc điều khiển của phần mềm; (4) làm mịn cấp bậc phần mềm bằng cách
dùng các hớng dẫn đợc xác định nh một phần của phơng pháp; (5) cuối cùng
phát triển một mô tả thủ tục cho phần mềm.
Một phân chia rõ rệt giữa các bớc thiết kế cấu trúc và thủ tục (khi
chúng đã đợc mô tả nh một phần của tiến trình thiết kế phần mềm) thì không
hiển nhiên nh trong các phơng pháp hớng cấu trúc dữ liệu. Jackson, Warnier
và Orr chuyển nhanh chóng sang biểu diễn thủ tục.
Phơng pháp thiết kế hớng dữ liệu trong
CNPM
6
Website: Email : Tel (: 0918.775.368
III. Phát triển hệ thống Jackson
Giống nh phần lớn các phơng pháp thiết kế phần mềm, phát triển hệ
thống Jackson (JSD) thực tế là một sự liên tục các bớc kĩ thuật hỗ trợ cho

việc phân tích và thiết kế phần mềm. Để tiến hành JSD, ngời phân tích và ng-
ời thiết kế thực hiện các bớc sau:
Bớc hành động thực thể. Dùng cách tiếo cận hoàn toàn tơng tự nh kí
thuật phân tích hớng sự vật, xác định các thực thể (con ngời, sự vật, tổ chức
mà hệ thống cần tạo ra hay sử dụng thông tin) và hành động (các sự kiện
xuất hiện trong thế giới thực ảnh hởng tới thực thể).
Bớc cấu trúc thực thể. Các hành động ảnh hởng đến từng thực thể đ-
ợc sắp xếp theo thời gian và đợc biểu diễn bằng biểu đồ Jackson (kí pháp
kiểu cây sẽ đợc giới thiệu lại trong mục này).
Bớc mô hình ban đầu. Biểu diễn các thực thể và hành động nh một
mô hình tiến trình; xác định mối nối giữa mô hình và thế giới thực.
Bớc chức năng. Xác định các chức năng tơng ứng với hành động đã
xác định.
Bớc định thời gian hệ thống. Các đặc trng lập lịch tiến trình đợc định
giá và xác định.
Bớc cài đặt. Phần cứng và phần mềm đợc xác định nh một thiết kế.
Bức hành động thực thể bắt đầu với một phát biểu ngắn gọn trong
tiếng Anh (hay tiếng Việt) vầ vấn đề mà từ đó các thực thể (danh từ) và hành
động (động từ) đợc chọn ra. Chỉ những thực thể và hành động có mối quan hệ
trực tiếp với giải pháp phần mềm mới đợc chọn ra để đánh giá thêm.
Bớc cấu trúc thực thể tạo ra một biểu đồ Jackson mô tả đặc tả theo thời
gian của những hành động đợc thực hiện trên hay bởi một thực thể. Biểu đồ
Jackson, đợc vẽ trong Hình 1 (cho dịc vụ xe con thoi của trờng đại học hay ví
dụ USS ), đợc tạo ra cho từng thực thể (thực thể xe và nút trong trờng hợp
Hình 1) và thờng đợc đi kèm bởi văn bản lời thuật.
Phơng pháp thiết kế hớng dữ liệu trong
CNPM
7
Xe con
thoi

Rời đi (1) Thân xe Tới
Nút
Nhấn
Tới (i) Đi (i)
Website: Email : Tel (: 0918.775.368

Hình 1 Biểu đồ cấu trúc Jackson
Hình 1 Biểu đồ cấu trúc Jackson
Bớc mô hình ban đầu bắt đầu việc xây dựng đặc tả cho hệ thống nh
một mô hình của thế giới thực. Đặc tả đợc tạo ra bằng biểu đồ đặc tả hệ
thống (SSD) bằng cách dùng các biểu trng đợc minh hoạ trong Hình 2. Kết
nối dòng dữ liệu xuất hiện khi một tiến trình truyền một dòng thông tin (nh
ghi bản ghi) và tiến trình khác thì nhận dòng này (nh đọc bản ghi). Đầu mũi
tên biểu thị cho hớng của luồng thông tin, trong khi hình tròn biểu thị cho
dòng dữ liệu đợc giả thiết là đặt vào trong bộ đệm FIFO có dung lợng vô hạn.
Kết nối véc tơ trạng thái xuất hiện khi một tiến trình tiếp giám định véc tơ
trạng thái và hình thoi chi ra véc tơ trạng thái. Kết nối này là chung trong các
ứng dụng điều khiển tiến trình trong đó cần phải kiểm tra trạng thái của một
số thiết bị cơ điện. Theo qui ớc, đuôi 0 biểu thị cho tiến trình thế giới thực
còn đuôi 1 biểu diễn cho tiến trình mô hình hệ thống.
Phơng pháp thiết kế hớng dữ liệu trong
CNPM
8
Trạm (i)
* Mối nối dòng dữ liệu
* Trạng thái mối nối véc tơ
Tiến trình - 0
D
Tiến trình - 1
Tiến trình - 0

SV
Tiến trình - 1
Website: Email : Tel (: 0918.775.368
Hình 2 Kí pháp SSD
1. Các bớc thiết kế JSD
Để thảo luận về các bớc thiết kế cho việc phát triển hệ thống Jackson,
thí dụ về con thoi của trờng đại học phát biểu bài toán:
một đại học lớn trải trên hai khu trờng sở cách nhau gần hai ki lô mét.
Để giúp cho sinh viên phải đi lại giữa hai khu trờng sở này nghe bài giảng
đúng giờ, đi học lập kế hoạch thiết lập dịch vụ xe khách tuyến ngắn. Dịch vụ
tuyến ngắn chỉ sử dụng một xe con thoi tốc độ cao đi qua các đờng giữa các
điểm đỗ tại các khu trờng sở. Mỗi điểm đỗ đều có một nút gọi mà sinh viên
có thể dùng để yêu cầu vận chuyển tới điểm kia. Khi sinh viên tới một điểm
đỗ, họ nhấn nút gọi. Nếu xe đã sẵn có đấy thì họ lên xe và đi tới điểm đỗ kia,
nhận sinh viên (nếu có) rồi trở lại. Nếu xe đang ở điểm đỗ kia thì nó sẽ rời
bến quay lại để đón sinh viên vừa nhấn nút. Xe sẽ đợi tại từng điểm đỗ cho
tới khi có yêu cầu dich vụ tiếp (một nút đợc nhấn) xuất hiện.
Các thực thể đợc lựa ra bằng cách xem xét tất cả các danh sách từ
trong lời mô tả. Sau khi xem xét mô tả trên, các thực thể ứng cử viên sau đây
đợc lựa ra: đại học, khu trờng sở, sinh viên, bài giảng, xe, điểm đỗ và nút,
chúng ta không quan tâm trực tiếp tới khu trờng sở, sinh viên, bài giảng,
hay điểm đỗ - tất cả chúng nằm ngoài biên giớ mô hình và đều bị bác bỏ
không phảI là các thực thể có thể. Đại học đơn thuần là một tập thể cho cả
hai khu trờng sở, cho nên chúng ta bác bỏ nó nh một thực thể . Chúng ta chọn
xe và nút. Dùng cách phân tích tơng tự , chúng ta chọn tới, nhấn và rời nh
những hành động ảnh hởng tới xe và nút.
Biểu đồ cấu trúc Jackson cho xe và nút đợc vẽ trong Hình 1. Biểu đồ
đặc tả hệ thống cho USS đợc minh hoạ trong Hình 3. Cuối cùng, bớc mô hình
ban đầu cho USS đợc tiến hành nh mô tả trong thảo luận sau.
Phơng pháp thiết kế hớng dữ liệu trong

CNPM
9
Website: Email : Tel (: 0918.775.368
Bất kì khi nào có thể ngời ta đều a thích nối các tiến trình mô hình với
thực thể thế giới thực bằng luồng dữ liệu bởi vì sự tơng ứng trực tiếp giữa
hành vi của mô hình và thế giới thực đợc đảm bảo. Trong thí dụ của ta, nút
gọi phát ra một xung khi đợc nhấn. Điều này có thể đợc truyền tới tiến trình
nút-1 nh một liên hệ luồng dữ liệu. Tuy nhiên, chúng ta sẽ giả sử rằng các
cảm biến phát hiện việc tới hay đi của xe không phát ra xung nào, nhng việc
đóng công tắc mạch điện thì mới phát ra xung. Do đó, một nối véc tơ trạng
thái cần phải có.
Hình 3 SSD cho USS
Phơng pháp thiết kế hớng dữ liệu trong
CNPM
10
Nút - 0
Xe - 0
B
D
Nút - 1
Xe - 1
S
V
Website: Email : Tel (: 0918.775.368
Hình 4 Kí pháp biểu đồ cấu trúc
Các chi tiết bên trong của tiến trình mô hình đợc xác định bằng cách
dùng cái mà Jackson gọi là văn bản cấu trúc. Văn bản cấu trúc biểu thị cho
cùng thông tin nh biểu đồ cấu trúc (Hình 4)- tuần tự, tuyển chọn, lặp- nhng
thực hiện điều này theo định dạng văn bản. Văn bản cấu trúc cho nút-1 là:
Nút-1

Read BD:
PUSH-BDY itr while BD
PUSH;
Read DB;
PUSH-BDY end
Nút-1 end
Cấu trúc nút-1 tơng ứng đồng nhất với cấu trúc của Nút-0, với việc
thêm thao tác Read nối thế giới thực với hệ thống.
Nh đợc lu ý trớc đây, tiến trình SHUTTLE-1 không thể đợc nối với
thành phần thế giới thực tơng ứng của nó bằng mối nối luồng dữ liệu. Thay vì
thế, chúng ta phải hỏi các công tắc xem đang dợc bật hay tắt bởi việc tới hay
đi của xe. Tiến trình hệ thống phải giám định thực thể thế giói thực khá th-
ờng xuyên để đảm bảo rằng không hành động nào xảy ra mà không bị phát
Phơng pháp thiết kế hớng dữ liệu trong
CNPM
11
Hành động tuần tự
Hành động lặp
Hành động tuyển chọn
*
0 0
Website: Email : Tel (: 0918.775.368
hiện. Điều này đợc thực hiện bởi thực hiện một thao tác Getsv (lấy véc tơ
trạng thái) để thu đợc từng giá trị của véc tơ trạng thái một số lần trớc khi nó
bị thay đổi, và tiến trình mô hình có thể đợc khởi thảo để chỉ ra các giá trị
đang đổi này của các véc tơ trạng thái. Một mô tả văn bản cấu trúc của
SHUTTLE-1 là nh sau:
SHUTTLE-1 seq
Getsv SV:
WAIT-BDY itr while TRANSIT1

Getsv SV;
WAIT-BDY end
LEAVE (1);
TRANSIT-DBY1 itr while TRANSIT1
Getsv SV;
TRANSIT-BDY1 end
SHUTTLE-BDY1 itr
STATION seq
ARRIVE (i);
WAIT-BDY itr while TRANSIT1
Getsv SV;
WAIT-BDY end
LEAVE (i)
TRANSIT-BDY itr while TRANSITi
Getsv SV;
TRANSIT-BDY end
STATION end
SHUTTLE-BDY end
ARRIVE (1);
SHUTTLE-1 end
Phơng pháp thiết kế hớng dữ liệu trong
CNPM
12
Website: Email : Tel (: 0918.775.368
Các giá trị trạng thái WAIT và TRANSIT biểu thị cho các giá trị thích
hợp của công tắc tới và đi. Tiến trình thế giới thực SHUTTLE-0 tạo ra một
thay đổi trạng thái trong công tắc, và tiến trình hệ thống SHUTTLE-1 thực
hiện thao tác getsv để cảm nhận sự thay đổi này. Hình 5a minh hoạ cho văn
bản cấu trúc đối với SHUTTLE-1 nh một biểu đồ cấu trúc.
2. Bớc chức năng

Mục đích của bớc chức năng JSD là để mở rộng biểu đồ đặc tả hệ
thống bằng cách nói các tiến trình chức năng mới đợc định nghĩa với các tiến
trình mô hình thông qua dòng dữ liệu hay véc tơ. JSD thừa nhận ba loại chức
năng:
Chức năng nhúng. Chức năng này đạt đợc bằng cách cấp phát (ghi)
các thao tác thành văn bản cấu trúc tiến trình mô hình.
Chức năng áp đặt. Chức năng này kiểm tra véc tơ trạng thái của tiến
trình mô hình và tạo ra kết quả.
Chức năng tơng tác. Chức năng này kiểm tra véc tơ trạng thái của tiến
trình mô hình, ghi ra một dòng dữ liệu đẻ ảnh hởng tới các hành động của
tiến trình mô hình và bao gồm các thao tá ghi kết quả.
Cái ra của các tiến trình chức năng chính là cái ra hệ thống và có thể là
báo cáo, mệnh lệnh cho các thiết bị phần cứng, hay bất kì thông tin đi ra nào
khác.
Để minh hoạ cho bớc chức năng, ta xét thí dụ USS và xem xét mô hình
của xe con thoi. Trong xe con thoi, có một bảng đèn đợc dùng để chỉ ra việc
tới điểm đỗ với việc chiếu sáng một thông báo. Đèn đợc tắt bật bởi lệnh
LON(i) và LOFF(i). Một chức năng phải đợc nhúng vào trong mô hình tiến
trình xe con thoi để viết ra một lệnh lamp(i) khi xe tới điểm đỗ station(i).
Vởy, khi xe con thoi đi lại giữa các điểm đỗ thì nó đa ra một dòng dữ liệu
bao gồm các chỉ lệnh đèn. SSD biểu thị cho tình huống này đợc vẽ trong
Hình 5b.
Phơng pháp thiết kế hớng dữ liệu trong
CNPM
13
Website: Email : Tel (: 0918.775.368
Hình 5 (a) Biểu đồ cấu trúc tơng ứng với văn bản có cấu trúc
(b) SSD đã cập nhật.
Phơng pháp thiết kế hớng dữ liệu trong
CNPM

14
a)

b)
Xe con thoi
Đợi (1)
Rời đi (1)
Chuyển (1)
Xe
Đợi (1) Chuyển (1)
Tới
Điểm đỗ (i)
Chuyển (i)Rời (i)Đợi (i)Tới (i)
Đợi (1) Chuyển (1)
Nút - 0
Nút - 1
Xe - 0
Xe - 1
B
D
C
M
DS
S
V
Website: Email : Tel (: 0918.775.368
Để cài đặt chỉ lệnh đèn, văn bản cấu trúc cho SHUTTLE-1 đợc sửa đổi
nh sau:
SHUTTLE-1 seq
LON(1);

Getsv SV:
WAIT-BDY itr while TRANSIT1
Getsv SV;
WAIT-BDY end
LOFF(1)
LEAVE (1);
TRANSIT-DBY1 itr while TRANSIT1
Getsv SV;
TRANSIT-BDY1 end
SHUTTLE-BDY1 itr
STATION seq
ARRIVE (i);
LON(i);
WAIT-BDY itr while TRANSIT1
Getsv SV;
WAIT-BDY end
LOFF(i);
LEAVE (i)
TRANSIT-BDY itr while TRANSITi
Getsv SV;
TRANSIT-BDY end
STATION end
SHUTTLE-BDY end
ARRIVE (1);
SHUTTLE-1 end
Phơng pháp thiết kế hớng dữ liệu trong
CNPM
15

×