【文章內(nèi)容簡介】 上海交通大學(xué)計(jì)算機(jī)科學(xué)與工程系 2020/11/4 52 1）目標(biāo) ?創(chuàng)建“泛化 例化”層次結(jié)構(gòu) ?確定何時(shí)顯示子類 ?運(yùn)用 “ 100%” 和 “ ISa” 測試來驗(yàn)證子類 泛化和例化是領(lǐng)域建模中的基本概念 上海交通大學(xué)計(jì)算機(jī)科學(xué)與工程系 2020/11/4 53 2）領(lǐng)域模型中的新概念 ?有用的技術(shù) : ? 概念類列表 ? 名詞識(shí)別 ? 讀相關(guān)的材料 上海交通大學(xué)計(jì)算機(jī)科學(xué)與工程系 2020/11/4 54 3）泛化 ? 泛化（ Generalization） 是在概念中識(shí)別共同點(diǎn)并定義超類（通用的概念）和子類（特殊的概念）關(guān)系的活動(dòng) Ca s hP a y me n tCr e d i tP a y me n tCh e c kP a y me n tP a y me n ts u p e r c l a s s mo r e g e n e r a lc o n c e p ts u b c la s s mo r es p e c i a l i z e d c o n c e p tt h e s e a r e c o n c e p t u a lc l a s s e s , n o t s o f t w a r ec l a s s e s上海交通大學(xué)計(jì)算機(jī)科學(xué)與工程系 2020/11/4 55 ? UML 標(biāo)記 : 采用一個(gè)大的空心箭頭從特殊指向一般的元素 C a s hP a y me n tC r e d i tP a y me n tC h e c kP a y me n tP a y me n tC a s hP a y me n tC r e d i tP a y me n tC h e c kP a y me n tP a y me n t上海交通大學(xué)計(jì)算機(jī)科學(xué)與工程系 2020/11/4 56 4）定義概念超類和子類 ?概念超類（ A conceptual superclass） 是比子類定義更一般或包含它的類 Ca s hP a y m e n tCr e d i tP a y m e n tCh e c kP a y m e n tP a y m e n ta m o u n t : Mo n e yAll the members of a conceptual subclass set are members of their superclass set. 上海交通大學(xué)計(jì)算機(jī)科學(xué)與工程系 2020/11/4 57 5）概念子類的依從性 ?當(dāng)類的層次結(jié)構(gòu)被創(chuàng)建后，對(duì)超類的申明也作用于子類上 Ca s hPa y m e n tCr e d i tPa y m e n tCh e c kPa y m e n tPa y m e n ta m o u n t : M o n e ySa l ePa y s f o r11上海交通大學(xué)計(jì)算機(jī)科學(xué)與工程系 2020/11/4 58 100% 規(guī)則 概念超類定義必須 100% 應(yīng)用于子類上 . 子類必須百分百遵從超類的 : ?屬性 ?關(guān)聯(lián) 上海交通大學(xué)計(jì)算機(jī)科學(xué)與工程系 2020/11/4 59 Isa Rule 子類所有的成員必須是超類的成員 . 用自然語言表達(dá)，可以用下列聲明來測試一下 : Subclass is a Superclass 上海交通大學(xué)計(jì)算機(jī)科學(xué)與工程系 2020/11/4 60 6）正確的概念子類 ?可能的子類必須滿足 : ? 100% 規(guī)則 (定義遵循性 ) ? Isa 規(guī)則 (集合成員遵循性 ) 上海交通大學(xué)計(jì)算機(jī)科學(xué)與工程系 2020/11/4 61 7）何時(shí)定義概念子類 ?我們是否需要把 Customer 分成 MaleCustomer 和FemaleCustomer? M a l eC u s t o m e rF e m a l eC u s t o m e rC u s t o m e r C o r r e c t s u b c l a s s e s .B u t u s e f u l ?上海交通大學(xué)計(jì)算機(jī)科學(xué)與工程系 2020/11/4 62 ?下列情況需要定義超類的概念子類 : ? 1. 子類有其它有意義的屬性 ? 2. 子類有其它有意義的關(guān)聯(lián) ? 3. 子類與超類相比，在行為上（作用，反映，操作等）與超類或其它子類有差別 ? 4. 子類概念代表了一個(gè)活的東西 (for example, animal, robot) ，其行為與超類或者其它子類不同，而這行為是我們所關(guān)注的 Library: Book, is a LoanableResource CreditPayment is a Payment CreditPayment is a Payment Market Research: MaleHuman, FemalHuman 上海交通大學(xué)計(jì)算機(jī)科學(xué)與工程系 2020/11/4 63 ?何時(shí)定義概念超類 : ? 潛在的概念子類表示的是相似概念的不同變體 ? 子類滿足 100% 和 Isa 規(guī)則 ? 所有子類都具有相同的屬性，可以將其解析出來并在超類中表達(dá) ? 所有子類都具有相同的關(guān)聯(lián)，可以將其解析出來并于超類關(guān)聯(lián) 上海交通大學(xué)計(jì)算機(jī)科學(xué)與工程系 2020/11/4 64 8）確定 Payment 子類 Cash Payment Credit Payment Check Payment Payment amount : Money Check Identifiescreditwith Paidwith * each payment subclass is handled differently additional associations superclass justified by mon attributes and associations Sale Paysfor CreditCard 1 1 1 1 上海交通大學(xué)計(jì)算機(jī)科學(xué)與工程系 2020/11/4 65 9）確定授權(quán)服務(wù)的層次 C r e d i tA u t h o r i z a t i o nS e r v i c eC h e c kA u t h o r i z a t i o nS e r v i c eC h e c kP a y m e n tA u t h o r i z a t i o n S e r v i c ea d d r e s sn a m ep h o n e N u m b e ra d d i t i o n a l a s s o c i a t i o n ss u p e r c l a s s j u s t i f i e d b yc o m m o n a t t r i b u t e s a n da s s o c i a t i o n sS t o r eA u t h o r i z e s p a y m e n t s o f*A u t h o r i z e sC r e d i tP a y m e n tA u t h o r i z e s***1 1上海交通大學(xué)計(jì)算機(jī)科學(xué)與工程系 2020/11/4 66 CreditPayment Approval Reply CheckPayment Approval Reply CreditPayment Approval Request CheckPayment Approval Request CreditPayment Denial Reply CheckPayment Denial Reply CheckPayment Authorization Reply CreditPayment Authorization Reply Payment Authorization Reply Payment Authorization Request Payment Authorization Transaction date time Concepts too fine grained? Useful to show this degree of partitioning? Each transaction is handled differently, so it is useful to partition them into discrete classes. 上海交通大學(xué)計(jì)算機(jī)科學(xué)與工程系 2020/11/4 67 Cr e d i t P a y me n tA p p r o v a lRe q u e s tCh e c k P a y me n tA p p r o v a lRe q u e s tP a y me n tA u t h o r i z a t i o nRe p l yP a y me n tA u t h o r i z a t i o nRe q u e s tP a y me n t