面向?qū)ο蠼＜夹g(shù)

信息工程與自動(dòng)化學(xué)院

授課日期：2011年5月16日

第十課元建模和其他建模體系

★紅色部分屬于青岡要求2

面向?qū)ο蠼＜夹g(shù)

?UML4aMi

?LV；^/IVIL^i^￥山二口if,CSJ口I口ju、mj/>u

的語言成分。V

?LI：包括LO的成分，增加用例,交互、結(jié)構(gòu)

活動(dòng)等。

?L2：包括L1的成分，增加部署、狀態(tài)機(jī)等。

3L3：完整的UML,除了L2以外，包括建模信

息流、模板、模型包等。

3

0面向?qū)ο蠼＜夹g(shù)

■UMLMMM

3UML自身的知識(shí)也用UML來建模。

L0

0面向?qū)ο蠼＜夹g(shù)

TT1MT

■UMLMMM

③UML的基礎(chǔ)結(jié)構(gòu)包括核心和概要。

PPSH

5

,面向?qū)ο蠼＜夹g(shù)

TT1<T,?一■?

■UMUMMM

_____________1

PrimitiveTypes

AA小

I\!

1:1

?import?:?inqport?

_____|:?impbrt??：

Abstractions：Basic

1:

Constructs

0面向?qū)ο蠼＜夹g(shù)

.UMUHMM

?primitive??pnmiti\e?

IntegerBoolean

?primitive??pnmitive?

StringUnlimitedNatural

7

0面向?qū)ο蠼＜夹g(shù)

.UMUHMM

0面向?qū)ο蠼＜夹g(shù)

TT1MT

.UMUHMM

9

0面向?qū)ο蠼＜夹g(shù)

.UMUHMM

InfrastructureLibrary::Core::InfrastructtireLibrary::Core::Abstractions::

Abstractions::TypedElements::TypeRei3tionships::DirectedReiationship

△

{subsetssource,subsetsowner}{subsetsownedElement)

*

10

0面向?qū)ο蠼＜夹g(shù)

.UMUHMM

(metamodelingapproach)。

③元模型：關(guān)于模型的概念體系

11

0面向?qū)ο蠼＜夹g(shù)

。使用元模型是為了

模型之間可以相互

溝通

12

0面向?qū)ο蠼＜夹g(shù)

TT1MT

13

0面向?qū)ο蠼＜夹g(shù)

Occurrencespecification

14

0面向?qū)ο蠼＜夹g(shù)

TT1MT

15

<

L

.

o

Q

U

J

k

v

?

0面向?qū)ο蠼＜夹g(shù)

TT>rTa4.

@UML的交互(Interactions)7包括：

。順序圖(SequenceDiagram)

Q通信圖(CommunicationDiagram)

。交互縱覽圖(InteractionOverviewDiagram)

17

面向?qū)ο蠼＜夹g(shù)

OTT>MTa一■——6V

?UMUMUMMS

■分解―

。對(duì)一個(gè)未知的事物建模，需要逐步分解其組成

部分，直到最基本的已知組成。

?特性

。組成成分

。行為方式

?分類|P

。對(duì)象的公共特性\

。封裝1

。按相關(guān)領(lǐng)域分在不同的包中

18

?面向?qū)ο蠼＜夹g(shù).

TT>MTa一一.一.——6V

?UMLM浮式化?又

aUML擁有很強(qiáng)的靜態(tài)語義，密動(dòng)作語義則不

是很充足。因?yàn)樗繕?biāo)是：

。正確性：可以通過元模型驗(yàn)證模型。

0精確性：語法和語義沒有含糊不清的■

。簡(jiǎn)潔性

0-致性：用補(bǔ)充元模型的方式擴(kuò)展

。易理解性I

③并沒有提出擺脫人工編程的目標(biāo)。

aUML并非建模理論和技術(shù)的全部。

19

K3E面向?qū)ο蠼＜夹g(shù)

?港式WMk

■V■?-7XL_-|ZVII|J_LL^/I4/M^1-JL-IHQ4)I-IIIZ^—

統(tǒng)一標(biāo)準(zhǔn)，但UML并不完全是學(xué)術(shù)界的代表。

Q形式語義的研究，目的就是為了讓形式系

統(tǒng)能夠自動(dòng)處理模型，為了把人類枯燥的

編程勞動(dòng)中解放出來。

③傳統(tǒng)的形式語義學(xué)派：

。操作語義!

。指稱語義1

。公理語義1

。代數(shù)語義1

20

?面向?qū)ο蠼＜夹g(shù)

4A_1―■_?**?A.AA.―

■MNJMt

?在‘I大*^憶口不十心；

。模型只是現(xiàn)實(shí)的一個(gè)反映而已，而不能把模型

當(dāng)成現(xiàn)實(shí)。（物理學(xué)家尤其有這種愛好）

，傳統(tǒng)的建模技術(shù)都有其非常成功的方面，但也

只是現(xiàn)實(shí)問題的一個(gè)投影而已。

。范疇論是上世紀(jì)40年代發(fā)展起來的1種數(shù)

學(xué)理論，今天在計(jì)算機(jī)科學(xué)中擁有很多應(yīng)

用。I

?面向?qū)ο蠼＜夹g(shù)

。由對(duì)象集和態(tài)射集合組成。-

。任何一組概念都可以構(gòu)成對(duì)象

。態(tài)射是二元關(guān)系，從一個(gè)對(duì)象到另一個(gè)對(duì)象。

?除此之外，數(shù)學(xué)范疇還需要滿足以下條件:

。態(tài)射是復(fù)合的

。每個(gè)對(duì)象到自身有一個(gè)恒等射/DI

O/D°a=a°ID\

22

O對(duì)象建穰我木

器c/e的。藐音號(hào)工，

.日學(xué)慧浮就三肅器荔辭衿E看

模型「'大二"是什么概今、圭、

◎函子心，珀球步精化

23

。對(duì)象建模我術(shù)

遼工人，沃土

?利用函子建立元模型與模型的關(guān)系

24

0面向?qū)ο蠼＜夹g(shù)

kRyVE々目0/|"木3殲注便:

。串范疇Q

。等值態(tài)射

0和對(duì)象

。加法態(tài)射

。乘法態(tài)射

。替換態(tài)射

25

0面向?qū)ο蠼＜夹g(shù)

=八刁、"）白迂"1大土

?為XML建立模型