Tổng Quan Về UML

A relational algebraical model of object oriented systems08. Nguyễn Minh Đức

Journal of Computer Science and Cybernetics, 2012

ò. ng Da . i ho . c Su . pha . m -Da . i ho . c Thái Nguyên 2 Tru . ò. ng Da . i ho . c Công nghê . -Da . i ho . c Quô ´c gia Hà Nô . i 3 Viê . n Công nghê . thông tin Abstract. This article presents semantics of object oriented system with classes, visibility, dynamic binding and recursive methods. The class declarations and commands are served as designs in terms of pre-and post conditions; the relations of components in system... This approach shows clearer relations of components in object oriented system, possibility of using tools and cheecking method to improve the refinement for further development of systems. The algebraical laws are expanded for design specification of object oriented programs. Tóm tȃ ´t. Bài báo trình bày ngũ . nghĩa cu 'a hê . thô ´ng hu . ó. ng dô ´i tu . o . . ng vó . i các ló . p, tính tru . . c quan, liên kê ´t dô . ng và các phu . o . ng thú . c dê . quy. Các khai báo ló . p và các lê . nh nhu . là các thiê ´t kê ´du . . a trên tiê `n diê `u kiê . n, hâ . u diê `u kiê . n và các mô ´i quan hê . cu 'a các thành phâ `n trong hê . thô ´ng... Cách tiê ´p câ . n này sẽ cho thâ ´y rõ ràng mô ´i quan hê . cu 'a các thành phâ `n trong hê . thô ´ng hu . ó. ng dô ´i tu . o . . ng, và các kha ' nȃng su . ' du . ng các công cu . và cách thú . c kiê ' m tra dê ' ca ' i tiê ´n dȃ . c ta ' hê . thô ´ng du . o . . c phát triê ' n sau này. Nhò . dó các luâ . t da . i sô ´dã du . o . . c phát triê ' n áp du . ng cho viê . c dȃ . c ta ' chu . o . ng trình hu . ó. ng dô ´i tu . o . . ng. NGUY Ê ˜N MA . NH D Ú. C, NGUY Ê ˜N V ȂN VY . , D Ȃ . NG V ȂN D Ú. C Kiê ' u thu . ' nghiê . m (test) e is N là biê ' u thú . c (lôgic) xác di . nh dúng khi N dã du . o . . c khai báo và e là dô ´i tu . o . . ng xác di . nh dúng D(e is N ) df (N ∈ cname) ∧ D(e) ∧ (type(e) ∈ cname), type(e is N ) df B Giá tri . cu 'a biê ' u thú . c du . o . . c xác di . nh rõ bȃ `ng giá tri . cu 'a e là dô ´i tu . o . . ng cu 'a ló . p N hay không. (e is N) df (e = null) ∧ (e(myclass) N ). Kiê ' u tính gô . p (cast) (N )e bȃ `ng e nê ´u nó là dô ´i tu . o . . ng khác null trong ló . p con cu 'a N D((N )e) df D(e is N ) ∧ (e = null) ∧ (e(myclass) N ), (N )e df e. Kiê ' u cu 'a (N )e là ló . p N : type((N )e) df N. Thuô . c tính lu . . a cho . n e.a là xác di . nh dúng khi e là dô ´i tu . o . . ng khác null, và là thuô . c tính hiê ' n nhiên tù . ló . p hiê . n ta . i D(e.a) df D(e) ∧ (type(e) ∈ cname) ∧ (e = null) ∧ (e(myclass).a) ∈ visibleattr, e.a df e(a), type(e.a) df type(e(myclass).a). Thuô . c tính câ . p nhâ . t (e; a : f ) là xác di . nh dúng vó . i diê `u kiê . n là e.a là hiê ' n hiê . n và kiê ' u cu 'a f là kiê ' u con cu 'a e.a D(e; a : f ) df D(e.a) ∧ D(f ) ∧ (type(f ) type(e(myclass).a)). Kiê ' u cu 'a (e; a : f ) là ló . p cu 'a e, và giá tri . cu 'a nó có thê ' thu nhâ . n du . o . . c tù . giá tri . cu 'a e bȃ `ng cách thay dô ' i giá tri . cu 'a thuô . c tính a cho giá tri . cu 'a f type(e; a : f ) df type(e), (e; a : f ) df e ⊕ {a → f }. Ví du . sau xác di . nh dúng cu 'a biê ' u thú . c cài dȃ . t: D(e and f ) df D(e) ∧ (type(e) = B) ∧ D(f ) ∧ (type(f ) = B).

downloadDownload free PDFView PDFchevron_right