4.4 IDEF1X 建模方法, t9 Q I# ~; H; S( N6 P( h* C1 G
4.4.1 IDEF1X概述
; y+ F' L$ C" p; h6 m# A) v. }. e1、 IDEF0侧重描述系统功能,被称为功能建模方法;IDEF1X侧重分析、抽象和概括应用领域中的数据,称为数据建模方法;
' K( _5 f/ i0 V2、 IDEF1X方法具有丰富的语法和语义;
/ c' {. a F& o; e5 K5 w; D; V8 v3、 实体集分为(1)独立标识符实体集;(2)从属标识符实体集;. u! Z* x s+ Z$ n" g4 ^5 N7 J
4、 实体集之间的联系分为:(1)标定型联系;(2)非标定型联系;(3)分类联系;(4)不确定联系
+ Q+ ]5 l( W% a4.4.2 IDEF1X模型元素
7 \# H O5 ]: C" y/ Z1、 实体集:
+ ~' O9 C2 K7 [' M+ k8 M1 A(1) 实体集语义:如果一个实体集的每一个实例都能被惟一地标识,而不决定于它与其他实体的联系,那么该实体集称为独立实体集;否则就叫从属实体集;
) F, K: U6 F# r( `4 k. p(2) 实体集语法:IDEF1X用矩形框来表示独立实体集,用圆角矩形框来表示从属实体集;
! t5 |& K& g6 S" L1 \2 Z2 d# l1 _2、 联系:6 B! g: |8 [7 Y6 J
(1) 联系语义:0 t. ?* L3 a. M
(A) 标定型联系:一个“确定型联系”中,如果子女实体集中的每个实例都是由它与双亲的联系而确定的,这个关系称为“标定型联系”;7 e* E1 b9 Q2 ~2 ~0 `! D6 g7 U
(B) 非标定型联系:一个“确定型联系”中,如果子女实体集中的每一个实例都能被惟一地确认而无需了解与之相联系的双亲实体集的实例,这个问题关系叫“非标定型联系”。0 V% ? i- r' ^: ]$ K% }
(C) 分类联系:是两个或多个实体集之间的联系,且在这些实体集中存在一个一般实体集,它的每一个实例都恰好与一个且仅一个分类实体集的一个实例相联系。2 k0 E8 E- Z% C- \* |* |
(D) 不确定联系:一个非确定联系又称为多对多联系,这种联系关联的两个实体集之间,任一实体集的一个实例都将对应另一实体集的0个、1个或多个实例。7 n. C; X/ M% Y8 e( m
(2) 联系的语法:
& P0 g$ k3 ?' K(A) 标定联系语法:在IDEF1X图中,联系的语法用直线表示,在一个标定型联系中,子女实体集总是一个从属实体集,用圆角矩形框表示;
* o+ Y" D( L% F4 Z8 Q3 x(B) 非标定联系语法:如果两个实体集之间有关系,并且是一个非标定联系,就用一条虚线把它们连接起来。
' y% t* p' B3 {; e0 O5 j8 Y(C) 分类联系语法:一般实体集的一个实例只能与分类实体集的一个实例相对应;$ s/ W H1 ?$ x' B' Q
(D) 不确定联系m:n的语法:不确定联系用一个两端带有实心圆的线段描述,表示多对多的连接关系。
" E3 B" `6 L$ S3 j/ s$ ?3、 属性
: N; O; ` |+ {8 [2 Y(1) 属性的语义:用来描述一类现实或抽象事物的特征或性质。一个属性的具体取值叫属性实例,它由属性的类型和值来定义。; s, d* i: a/ `
(2) 属性的语法1 ?/ ~& V8 r$ J& S" t1 y
(A) 主码和非主码属性语法:在一个实体集中属性要有惟一的名字,属性名由名词表示,主码属性名后加(PK)标注,被列在属性列表的顶端,并用水平线将主码和其他属性分开。3 L7 F" q( U: @2 |7 K7 x7 l. J
(B) 外码语法:在外码属性后加“FK”来识别由联系继承得到的外来属性。
3 u4 h; X7 ~& t$ \! M4.4.3 建模过程
4 O$ Y% b9 E+ M% ^( p1、第一阶段:建模规划及准备
. O+ w( Y$ R- z+ Y' G(1) 建模目标:
4 I, M3 B+ z5 S* R0 t+ h(A) 目标说明:回答将构造的模型完成什么功能,涉及的问题和数据范围,同时说明是一个当前系统模型还是待建模型。
( X% g# G. c; E& }5 [) W8 e(B) 范围说明:在建模初期要给出模型覆盖的问题范围;
! A: x2 h2 l! N(2) 建模计划. n9 z6 {, g: @7 { p
(A) 项目说明;
: g* V5 M& a2 U4 b4 J8 b9 o: i2 Q(B) 收集数据;( I3 k1 h* Y3 B5 k$ _+ f
(C) 定义实体;
7 X% L& d0 l( Z: T; @+ V6 y(D) 定义联系;
5 @5 B3 v" z# w(E) 定义码属性;
( z$ h/ `4 m7 ]. {(F) 定义非码属性;
/ W$ w0 c! c2 ](G) 确认模型;3 l# t0 J' o8 r: I5 Q" r
(H) 评审验收。
6 u2 K' ]; X( l(3) 组织队伍:包括项目负责人、建模者、信息源、课题专家、评审委员会
0 f4 L9 Q. B& f3 ?1、 第二阶段:定义实体集
2 Q$ e7 G9 \) J9 l(1) 目标是标识和定义应用领域中的实体集,方法是分类标识原始材料中的所有名词;' `" l9 G& \# o6 J! ~% q) P
(2) 区别实体集名词和非实体集名词的方法,是否具有下列特征:6 r L! g& {2 P7 n
(A) 它能够被描述或说明吗?
3 u0 \2 V# d! `, Z+ s3 X(B) 有多少同类的实例吗?
, C6 C7 k9 L* M. Y8 t(C) 每个实例可以被标识和区分吗?
8 b3 v8 J2 n$ S0 _( L+ y- e+ H2、 第三阶段:定义联系
7 K/ `. B1 T; p' Q) P; r(1) 标识实体集之间的联系:建立联系矩阵,联系矩阵由一个二维数组表示。把实体集沿水平和垂直两方向列出,分析两个实体间的联系,有联系就用“X”表示,不存在联系用“null”表示。联系只标识直接关系,不标识间接关系。. O. o! C. x: }& ]% O& _; g
(2) 定义联系:包括表示依赖、命名联系、关于联系的说明;当实体集之间的依赖关系建立后,就可以命名联系了。联系的名字可以动词表示。原则必须是具体的、简明的和有意义的。
6 b6 S' |7 S5 V(3) 构造实体级数:实体级图的范围和数目,依赖于建模的规模和建模问题涉及的实体集数目。
$ ^2 p8 Z, l6 V9 [3、 第四阶段:定义健
( \) _9 M# f/ d% ? z" x(1) 分解不确定的联系:把实体级图中不确定的关系转换成确定的连接形式,把每一个不确定的联系转换成为两个确定的联系;0 l2 m6 S0 X% {$ u! v& O
(2) 标识码属性:码属性是那些能够惟一识别实体集中每一个实例的属性;9 l! F4 w* f( `, f+ _" t% e/ d
(3) 迁移主码:把一个实体集的主码复制到其他有关实体集的过程,但要遵守以下规则:3 |, h! t6 n6 e% q3 z+ @
(A) 在一个联系中,迁移总是从父到子或从一般实体集移向分类实体集;
+ Y5 }8 j, R E- L(B) 主码属性才能被迁移,如主码由多个属性组成,则要全部迁移;
6 v% H. _8 o5 A9 s. Y. l) a ^) S& q4、 第五阶段:定义属性
, K, X* ^& P+ M9 K, C. n6 r/ k(1) 标识和定义非主属性;
n; }& J2 O6 \(2) 建立属性的所有者;
) _3 D% E8 S1 a& C(3) 确认属性的定义;
0 Q" B1 T+ g" b2 q5 u(4) 绘制局部数据视图;' ^/ s; c0 i3 |, [
(A) 实体集的名称和编号写在矩形框外的上面;+ s( G3 l8 L0 e/ I
(B) 主码属性写在矩形框内水平线的上面并用“PK”标注;% L. F \$ } p2 }% t1 p* \3 d
(C) 外码属性写在矩形框内水平线的下面并用“FK”标注;$ t* H m8 i; Y; z2 e
(D) 非主属性也可以写在矩形框内水平线的下面; |