• 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 :ụ
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. ề ệ