Ct tin trỡnh (process Specification) ế

Một phần của tài liệu BÀI GIẢNG MÔN THIẾT KẾ CƠ SỞ DỮ LIỆU docx (Trang 26 - 29)

• Phương phỏp mụ t chi ti t c a m t ch c năng, hay ti n trỡnh đả ế ủ ộ ứ ế ược g i là phọ ương phỏp đ c t ti n trỡnh(process Specification). ặ ả ế

• Đ c t ti n trỡnh ph i ng n g n, chớnh xỏc và ch ra đặ ả ế ả ắ ọ ỉ ượ ấ ảc t t c cỏc ho t đ ngạ ộ

logic di n ra trong ti n trỡnh, cựng v i ti n trỡnh th c hi n chỳng. M t b n đ c tễ ế ớ ế ự ệ ộ ả ặ ả

ti n trỡnh g m 2 ph n: ph n đ u đ và ph n thõn mụ t . ế ồ ầ ầ ầ ề ầ ả

• Ph n đ u đ g m tờn ch c năng, cỏc d li u vào và d li u ra.ầ ầ ề ồ ứ ữ ệ ữ ệ

• Ph n thõn c a b n đ c t ti n trỡnh mụ t chi ti t c a ti n trỡnh đ x lý d li uầ ủ ả ặ ả ế ả ế ủ ế ể ử ữ ệ

vào thành d li u ra. N u cú nhi u ho t đ ng, ph n mụ t này ph i th hi n đữ ệ ế ề ạ ộ ầ ả ả ể ệ ược th t th c hi n, ho c cỏc trứ ự ự ệ ặ ường h p th c hi n cỏc ho t đ ng tợ ự ệ ạ ộ ương ng. ứ

M t s cụng c thộ ố ụ ường dựng đ đ c t ti n trỡnh là phể ặ ả ế ương trỡh toỏn h c, ngụn ng cúọ ữ

c u trỳc, s đ kh i và b ng quy t đinh.ấ ơ ồ ố ả ế Phương phỏp dựng b ngả Vớ dụ: xột ti n trỡnh x lý phi u yờu c u c a b n đ c ế ử ế ầ ủ ạ ọ 1.Tờn ti n trỡnhế : X lý phi u yờu c u c a b n đ cử ế ầ ủ ạ ọ +D li u vào :ữ ệ -S th b n đ c,ố ẻ ạ ọ -Phi u yờu c uế ầ -B n ghi b n d cả ạ ọ

-S theo dừi mổ ượn trả

-tài li uệ

+D li u ra:ữ ệ

-Phi u yờu c u đó đế ầ ược x lýử

-Thụng bỏo cho b n đ c ạ ọ

*Phương phỏp dựng ngụn ng cú c u trỳc(gi mó)ữ ấ ả

• Trong cỏc phương phỏp phõn tớch và thi t k h th ng, ngế ế ệ ố ười ta thường dựng ngụn ng cú c u trỳc đ mụ t chi ti t c a ti n trỡnh. Ngụn ng cú c u trỳc khụng ph i làữ ấ ể ả ế ủ ế ữ ấ ả

ngụn ng t nhiờn thụng thữ ự ường mà thường là ngụn ngũ l p trỡnh,nh gi Pascal…Sậ ư ả ử

d ng cỏc gi ngụn ng này cú th trỏnh đụ ả ữ ể ược cỏc ràng bu c ch t ch c a cỏc ngụnộ ặ ẽ ủ

ng khỏc mà khụng gõy ra s hi u l m,v n di n đ t đữ ự ể ầ ẫ ễ ạ ược đ y đ cỏc ho t đ ng màầ ủ ạ ộ

khụng b rị ườm rà.Thụng thường trong ngụn ng cú c u trỳc đữ ấ ượ ử ục s d ng đ mụ tể ả

ti n trỡnh, ph i lo i b cỏc lế ả ạ ỏ ượng t ,cỏc cõu ph c h p, cỏc cỏch di n đ t tỡnh.ừ ứ ợ ễ ạ

Trong ngụn ng ch cũn l i cỏc thành ph n:ữ ỉ ạ ầ

- Đ ng t độ ừ ược dựng d ng m nh l nhở ạ ệ ệ

- Cõu đ n gi n thu c lo i đi u khi n hay kh ng đ nhơ ả ộ ạ ề ể ẳ ị

- Thu t ng đậ ữ ược đ nh nghĩa trong t đi n d li uị ừ ể ữ ệ

- M t s lộ ố ượng h n ch cỏc t logicạ ế ừ

- Và cỏc c u trỳc c b n c a ngụn ng là l p và r nhỏnhấ ơ ả ủ ữ ặ ẽ

Nh v y m t ngụn ng cú c u trỳc dựng đ mụ t ti n trỡnh cú nhi u đ c đi m quanư ậ ộ ữ ấ ể ả ế ề ặ ể

tr ng c a ngụn ng l p trỡnh, nh ng khụng ch u s ràng bu c ch t ch c a ngụn ng l pọ ủ ữ ậ ư ị ự ộ ặ ẽ ủ ữ ậ

trỡnh nờn d hi u, g n v i ngụn ng t nhiờn và cú c u trỳc tễ ể ầ ớ ữ ự ấ ương đ i t do.ố ự

Vớ d :ụ (adsbygoogle = window.adsbygoogle || []).push({});

1.Ti n trỡnhế : In phi u đũi sỏch đ i v i b n đ c cú sỏch quỏ h nế ố ớ ạ ọ ạ

+ D li u vào:ữ ệ

-S th b n đ cố ẻ ạ ọ

-D li u mữ ệ ượn trả

+D li u ra:ữ ệ

-Phi u đũi và danh sỏch tài li u mế ệ ượn quỏ h n v i t ng b n đ c.ạ ớ ừ ạ ọ

2.Mụ t :ả

V i m i b n đ c trong danh sỏchớ ỗ ạ ọ

a)K=s th b n đ cố ẻ ạ ọ

b)Danh sỏch quỏ h n (K):=0ạ

c)Vúi m i tài li u = S mỗ ệ ổ ượn (K) +M:=S hi u tài li uố ệ ệ

+N u M.Ngày tr <Ngàyhi n th i Thỡế ả ệ ờ

Thờm M vào Danh sỏch quỏ h n (K);ạ

d)N u Danh sỏch quỏ h n (K) = 0Thỡế ạ

-In phi u đũiế

-In Danh sỏch quỏ h n(K) ạ

*Phương phỏp dựng s đ kh iơ ồ ố

S đ kh i là lo i bi u đ di n t gi i thu t quen thu c và a dựng khi m i làm quen v iơ ồ ố ạ ể ồ ễ ả ả ậ ộ ư ớ ớ

vi c vi t chệ ế ương trỡnh. S đ kh i là m t cụng c d s d ng và đ n gi n, tuy nhiờn khiơ ồ ố ộ ụ ễ ử ụ ơ ả

l p trỡnh nõng cao ho c gi i quy t nh ng bài toỏn ph c t p và c ng k nh thỡ s đ kh iậ ặ ả ế ữ ứ ạ ồ ề ơ ồ ố

l i b c l khỏ nhi u nhạ ộ ộ ề ược đi m. Trong s đ , bờn c nh cỏc để ơ ồ ạ ường cú hướng ch hỉ ướng đi u khi n,cú hai lo i nỳt: nỳt hành đ ng, t c là th c hi n m t thao tỏc nào đú,và nỳt ki mề ể ạ ộ ứ ự ệ ộ ể

tra đi u ki n. ề ệ

Một phần của tài liệu BÀI GIẢNG MÔN THIẾT KẾ CƠ SỞ DỮ LIỆU docx (Trang 26 - 29)