一种反应式SPM及其动态语义XYZ表示

过程支撑环境PSE(process supporting environment)是一种支持软件过程元过程的计算机环境,PSE通过运作一个事先定义好的软件过程模型SPM(software process model)来控制和指导实际软件开发过程.SPM使用的控制方式分为主动式(proactive)和反应式(reactive)两种.由于主动式不能很好地支持软件过程的演化,反应式渐渐受到人们的重视.提出了一种反应式SPM以及建立这种模型所使用的图形化的软件过程建模语言,同时,对于所建立的SPM,提出用时序逻辑语言XYZ/E表示它的行为视图动态语义的方法.这为模型提供了明确的动态语义,为其运作和分析提供了形式化基础.     

基于属性文法和语义网络的综合知识表示模型

本文提出了一个属性文法计算模型与语义网络表示模型相结合的综合知识表示模型.根据形式化的语义网络表示模型和属性文法的特点,该模型使用属性文法的符号建立了一些适合于语义网络表示模型的语法和语义规则模式,并且可通过扩充的属性文法的解释器来实现推理.     

协同语义特征建模技术研究

为了提高协同语义建模系统的性能,提出了一种新的协同设计方法,亦即使用特征语义表示法和细胞元模型来表示数据和管理模型中的各种数据和信息,然后通过语义匹配的方法来确定子模型间的逻辑和装配关系,通过语义区域划分、"最值空间"等技术来检测和消解协同设计中发生的操作冲突,最后通过创建临时模型来降低全局约束求解的复杂度。这种方法不仅能够完全实现协同语义特征建模的需要,还可以大大提高协同设计的效率。实验表明,该算法具有更强的适应性和实用性。     

多媒体语义模型研究进展

多媒体语义研究是多媒体数据处理与多媒体信息服务领域的核心和关键问题。多媒体数据的语义问题源于多媒体的数据获取方式,在多媒体数据的应用阶段,这一问题成为制约多谋体数据使用和创作的重要瓶颈。语义模型研究是多媒体语义研究的重点,是多媒体数据处理过程的总结和抽象,其实质就是研究多媒体数据整个生命周期的语义问题。介绍了近几年多媒体语义模型在内容描述、语义表示、数据检索三个方面的研究进展情况。     

基于潜在语义分析的本体空间表示模型研究

针对传统的向量空间模型和潜在语义分析方法应用于计算机辅助评估时存在的问题,提出一种将领域本体、一阶逻辑和潜在语义分析方法相结合的本体空间表示模型.该模型采用一阶逻辑表示从短文问题得到的二元关系并建立索引,使用潜在语义分析来计算关系集合中关系和包含段落的文档的相似度,从而得到段落在关系子集的平均相似度.实验结果表明,与向量空间模型相比,该模型的表示效果更好.     

基于军事训练本体的文档向量空间模型构建

为解决军事训练文档间语义相关问题,提出一种基于军事训练本体的向量空间模型构建方法。介绍了基于军事训练本体构建文档索引和基于已建索引构建向量空间模型,其中向量空间模型构建的过程主要包括特征项抽取、权重计算和向量空间模型降维三个步骤。实验结果证明,基于军事训练本体的向量空间模型的文档表示方法可以解决文档间的语义相关问题。     

面向语义Web语义表示的模糊描述逻辑

分析了语义Web语义表示理论的研究现状及存在的问题,提出了一种新的面向语义Web语义表示的模糊描述逻辑FSHOIQ(fuzzy SHOIQ).给出了FSHOIQ的语法和语义,提出了FSHOIQ的模糊Tableaux的概念,给出了一种基于模糊Tableaux的FSHOIQ的ABox约束下的可满足性推理算法,证明了可满足性推理算法的正确性.提出了FSHOIQ的TBox扩展和去除方法,并证明了FSHOIQ的TBox约束下的包含推理问题可以转化为ABox约束下的可满足性推理问题.FSHOIQ为语义Web表示和推理模糊知识提供了理论基础.     

语义特征建模系统中概念设计方案表示研究

为了提高概念设计的工作效率和设计水平,提出了一种基于语义表示法的概念设计方案的表示方法。这种方法通过语义表示法来表示模型中的特征,通过细胞元模型来管理模型数据,通过语义面将特征和设计方案表示成为具有n个语义输入和m个语义输出的黑盒,通过语义依赖图建立产品模型与特征之间的组织关系,通过力传递的方法来简化概念设计方案的推理过程。该方法不仅可以大大提高概念设计问题的求解速度,还可以为设计者提供更丰富的概念设计方案。实验证明该算法具有广泛的应用前景和实用价值。     

基于优化目的的人机界面知识化表示方法

对一种新的人机界面操作和交互行为的知识化表示方法进行了介绍和分析。以语义网络为基础,通过对人在界面操作中的知识作业过程及交互行为进行分析研究,建立了一种带距离标识的基于面向对象的语义网络的界面知识化表示方法,提供了人机界面特征集定义、推理规则和交互描述模型。该表示方法从界面语义模型和心理语义模型的角度描述了交互,能够正确地描述人机界面的语义知识特征。并以手机短信界面为例说明了该方法的有效性和必要性。     

基于活动图的C4ISR能力需求过程建模及验证

当前对C⁴ISR系统能力需求的描述大多基于图形、文字等静态模型,对信息和数据的具体操作没有进行定义,以至于对象之间的行为过程没有详细说明。缺乏可执行动态语义的能力模型是不可执行的,因此提出了一种基于活动图的能力需求过程建模方法,为可执行体系结构的建模仿真提供支撑。首先给出了系统过程模型的定义,在C⁴ISR系统能力元概念模型的指导下,通过扩展UML活动图得到系统的能力需求过程元模型。然后用本体表示能力需求过程元模型语义,通过对本体的逻辑推理实现对C⁴ISR系统能力需求过程元模型的验证。     

模型驱动构架中基于元模型的设计模式单元的组建和转换

设计模式种类繁多而且在不断变化,要在模型驱动构架（MDA）下真正做到从思想和实现上均能应用设计模式,需要解决其实例化后的模式消失问题,保证模式的独立性,并且可以将这个过程适用到多种设计模式中去。针对以上两个问题,采取一种基于元模型的设计模式单元的建模方法,从元模型层面划分基本操作为不可分的原子,组合出完整的不包含业务逻辑部分的设计模式单元元模型,使多种模式单元元模型的组合构建和业务、模式逻辑相分离在经过一次转换过程后同时实现。     

基于WfMC过程元模型的扩展与改进

首先分析了工作流管理联盟的工作流元模型,结合传统工作流的建模规律和动态变化要求,对工作流元模型作了适当的改进和扩展,提出了一个支持动态特性的过程元模型,增加了对过程、活动、活动属性的动态特性描述和操作协议描述,引入了连接符、数据流以及事件、触发器和规则.可以为动态过程模型的设计提供指导,使在这个元模型之上的工作流模型具有人机交互能力和动态灵活性.     

基于XPDL的工作流模型研究

系统阐述了工作流技术的来源、应用背景以及发展情况,主要研究了基于XPDL的工作流模型,给出了基于过程控制的XPDL工作流体系结构模型,建立了基于XPDL技术的工作流元模型,并利用建模工具JAWE创建业务流程图得到符合XPDL标准的XML文件。     

基于ASM的元模型形式化语义的研究*

提出一种在模型驱动开发过程中的形式化语义描述方法。该方法利用元建模技术,形式化地描述了元模型及其语义间的映射关系,以提供精确的语义描述,从而为模型驱动开发提供有力的支持。将描述框架用于模型转换规则的定义以及元模型的分析与验证,并以简单Petri网为例,说明该方法可以有效地支持模型转换和代码生成。     

支持工作流动态变化的过程元模型

支持动态可变并具备灵活性是人们在实际应用中对工作流管理系统提出的新要求,已有的相关研究工作都集中在对工作流中发生变化的某个具体问题上.提出了支持动态特性的工作流过程元模型,可以为动态过程模型的设计提供指导.从时间和工作流组成的过程级别两个角度分析了其动态特性的表现,扩展了工作流管理联盟的工作流元模型.扩展后的过程元模型在工作流的建立阶段力求将动态特性进行描述和定义,在工作流执行阶段可以根据已定义的动态属性,处理过程的变化情况.基于该元模型,工作流管理系统既具有灵活性,又有利于变化控制操作.     

Towards a quality meta-model for information systems

All models of information system (IS) quality postulate two constructs, namely ‘quality’ and ‘model’. These concepts are seldom explicitly discussed and defined in connection with IS. Together, they constitute an information system quality meta-model. Compared to lower level models, a meta-model is likely to be more applicable in a wider variety of contexts. This article aims, firstly, to validate and develop further an initial IS quality meta-model that emerged from two previous studies. Secondly, it is an account of a real quality modeling process, in connection with the development of an Education Management Information System (EMIS) in Tanzania, and one that can be referenced by other researchers. This case is used to discover how the meta-model can be used as part of system development process, with a view to instantiating system- and attribute-specific quality models. The study supports the general validity of a two-part and three-level quality meta-model. It further suggests that quality is by its nature relative and that the essence of quality is embodied in relationships between the information system and its context. The meta-model functions well as a safeguard that can prevent developers from neglecting important aspects of quality design. In addition, it generates relevant questions for future research.     

一种支持柔性的工作流过程元模型

工作流管理系统的动态自适应能力在很大程度上取决于过程模型的动态支持能力。本文分析和讨论了过程模型的动态特性和工作流管理联盟WfMC定义的过程元模型。在此基础上,引入柔性工作流定义、同步器、变换器等新元素,改进和扩展过程定义元模型。改进和扩展后的过程元模型具有更大的柔性和重构性。由于引入了变换器,为增强过程元模型的智能性做了基础性工作。另外,对描述过程元模型的定义语言WPDL也做了改进和扩展。     

多视点元模型间需求追踪性方法

以全面而统筹的眼光解决问题,则必须从局部分析不同的侧面,面向多视点的需求工程即为该理论的一个应用.多视点需求工程越来越受到重视,但是各视点间却缺少统一,这不仅不利于获取完整的系统需求,还导致需求变更困难等问题.为了解决以上问题,首先提出一个新的多视点建模过程框架,合理的建模框架有利于获取完整的系统需求.其次在多视点建模过程框架下建立追踪元模型,阐明系统需求在多视点元模型间的平稳过渡.最后结合需求追踪矩阵方法在追踪元模型间建立起追踪关系,进而通过计算变化追踪矩阵在需求变更时可以追踪到相关元素并进行更改,解决需求变更困难的问题.     

自动生成GEF图形编辑器的研究与实现

针对当前GEF编辑器开发难度大、开发周期长的问题，设计了一个能够自动生成GEF图形编辑器的MDA工具GEG的体系结构。它利用EMF的代码自动生成方法JET和JMerge，以及EMF.edit提供的适配器机制，生成了一个完整的基于Eclipse平台的图形编辑器插件。在系统设计和实现过程中，引入了配置元模型和视图元模型。     

A meta-modelling framework for knowledge consistency in collaborative design

The design of complex system requires a lot of interactions between experts and then between numerous Computer Aided X software (CAX) (where X can be Design (CAD), Engineering (CAE), Manufacturing (CAM), etc.). In order to improve the consistency of the whole system design and the related data and information, knowledge crossing the expertises must be tracked and formalized regarding a shared reference. That means that instead of defining a large reference models to which each expert refers to, a light collaborative model is defined enabling to connect data from each expert model to adhoc data from other expert models, following the least commitment principle. In this topic, a new meta-model is proposed in a Model-Driven Engineering approach to manage the integration of heterogeneous experts’ knowledge models in a collaborative process. The structure of the proposed knowledge meta-model is defined taking into account the complexity of knowledge definition and the properties of its components. This meta-model is split in a meta-model of data on one hand and a Collaboration Meta-Model in the other hand, to represent the distinction between the core concepts of knowledge and additional elements serving to represent the relation between these concepts, and between concepts of heterogeneous experts’ models. The proposed meta-model is illustrated on an industrial case study to highlight the way to put it in use, and its interests to enable collaboration between experts throughout the design process.