科技项目信息化管理模式研究：类型论元模型基本概念

6.2.2.1　模范对象

模范对象是类型或领域用四大视图（模范对象视图、类型结构视图、变体迁转视图、染色传播视图）建立的模型对象，是类或领域的代表，分为类型模范对象和领域模范对象。模范对象不能由真实对象担任，一个对象是否属于某个类或者可以担任某个领域中的对象，完全取决于其是否满足模范对象的所有必要视图中必要元素的要求，包括链式依赖要求。

类型模范对象包含这个类型的各种特征视图。如果一个类型是存在的，则要求：①对象与类的对应关系是唯一的；②类的继承关系是单继承的；③模范对象与其他类型都具有足够的差异性；④存在足够多的与之对应的实例对象。这些都要求类型的模范对象是可以根据其所提供的视图找到差异点。由于类型具有信息稠密性，理论上可以为类型模范对象建立无穷多的特征视图，这既不可能也不实际。特征视图的目的是为了标注和区分真实对象，因此模范对象保有的特征视图只需要丰富到足够区分其他类型就可以了，因此视图的数量必定是有限的。

领域是类型可以动态加载和解除的功能，领域模范对象是类型模范对象的聚合关系，领域模范的特征视图描述的是构成领域职能时组成关系的位图，其通常不采用继承关系，因此采用除了类型结构图以外的三大视图。例如：一个受过专业训练、有相应资格的人与消防装备聚合在一起，就构成了“消防员”的领域模范对象，而“人”和“消防装备”分别是不同的类型模范对象。

类型模范对象和领域模范对象的区别：前者要求实例对象与它的对应关系是相对永固的，不能够动态地加载这种关系及解除这种关系。而领域对象与实例对象的关系是可以动态加载和解除的。就如同“职业”在人的一生中，并不是永固的，而是可以获得及解除的。因此，“职业”类型论元模型中，不能成为“类型”，而应作为“领域”。类型模范对象具有信息稠密性，而领域模范对象不一定具有信息稠密性。

6.2.2.2　变体和领域

真实的认知对象是有变化的，反映在类型论中就是“变体”这种概念。变体与转移过程密切相关。一个最简的转移过程是前提场景向后件场景的动态过渡过程，有的转移过程还包含中间场景。一个转移过程前提场景中的对象与后件场景中的对象不可能全部都是没有差异的，否则，这个转移过程就丧失了存在的意义。我们认为，对象经过转移过程之后大部分都会产生变化，很少有不发生改变的对象，除了提供查询服务的程序对象等极少数，大部分对象经过某个转移过程后，都会出现可察觉的变化。

因此，构成场景的就是一组对象的变体，所以变体是对象的一个稳定状态。除了终结变体，变体之间的差异很小，与模范对象之间的差异都不可能突破类化距离。显然，一个对象可能包括很多变体，单独讨论一个对象时，可能指的是这个对象的所有变体之和（而不是积），也可能是指某一个变体。变体与对象状态的区别是，变体仅指某些特殊的稳定的状态，不包括自动地、连续变化中的状态。

图6-4　转移过程中稳定状态和非稳定状态示意(www.xing528.com)

如图6-4所示，所谓稳定状态只是在过程开始和过程终止，以及过程中需要等待事件和条件时的状态，而在转移过程中不断连续变化的状态则属于非稳定状态，它们不属于变体。

领域对象类似于类型模范加“壳”，使其获得这种领域的各种功能和视图，这种特性称为“模仿”。很多领域都只能由满足一定条件的类型对象担任，例如：“教师”是一个职业，属于领域。目前能够担任教师的，只有人这种类型对象，而且需要这个对象接受过高等教育并通过有关资格考试，所以这种特定条件的“人”是教师的变体对象（如图6-5）。

图6-5　类型模范的领域化外壳

总而言之，变体和领域是一对密切相关的概念，有可能加上某种领域“壳”的类型对象候选人就是一种变体。但领域并不是类型，其所带来的视图都是“镂空”的，等待有类型填充才能成为有效视图的抽象视图。

6.2.2.3　熔接体

在模范对象向实例对象逐渐具体化的推进过程中，需要不断融合各种领域的语义空间，形成特征丰富的对象。对这类抽象程度低于模范对象，逼近实例对象的语义单元，我们称之为“熔接体”。

任何熔接体都必须直接来自一个类型模范对象，与类型模范对象的对应关系是不能改变的，除非这个熔接体的生命周期终止，成为一个终结变体。

熔接体与领域对象的模仿关系是可以动态解除的。当熔接体模仿一个领域对象，就会获得这个领域对象的所有内属性、外映射以及转移过程，也就是可以进入领域对象的语义空间，如果出现了冲突，则用类型模范的语义解释领域模范的语义。例如：一个人担任消防员职务之后，就获得了消防员的装备（内属性），与其他消防员成为搭档（外映射），需要执行救灾任务（转移过程）。消防员有一套专门的医疗数据，与人的生理指标数据类似，需要用后者的生理指标数据填充和解释前者。

建立熔接体有一个重要原则：不能熔接两个或两个以上类型模范对象，否则与类型唯一性法则相矛盾。当熔接程序对象时，必须以程序对象为类型，而认知类型对象降格为领域对象。当一个熔接体需要模仿其他类型的对象时，把被模仿的对象降格为领域对象。这种降格动作，实际是抽取一个类型对象的部分语义空间，形成一个领域对象，这个现象称为“类型降格”。类型降格现象是存在的，例如“初音未来”程序模范人唱歌时，它只是模范了“人”有关歌唱和舞蹈的一部分语义空间，而不可能模仿“人”全部的语义空间，这是不可能的。因此，当类型降格现象产生时，被降格为领域的类型必然只含有部分的语义空间。