基于过程模型的工作流执行语义研究

针对现有工作流建模语言难以兼顾语言的可理解性、执行语义的形式化和描述维度的单一性等问题,提出利用可视化的过程模型作为工作流建模语言。过程模型能从过程、数据、资源、组织等多个角度描述企事业的业务工作流程。根据过程模型的语法和工作流系统的特点,定义形式化执行语义,为过程模型的分析、验证和执行提供理论依据。     

法律执行过程模型研究

计算机取证必须遵循严格的过程和程序,否则,所荻取的证据缺乏可靠性和真实性。建立一个实用的计算机取证模型很重要,因为它能不依赖任何一种特殊的技术或组织环境,为研究支撑调查工作的技术提供一种抽象的参考构架。文章针对法律执行过程模型这一数字取证模型进行了简单的分析。     

过程模型中批处理活动执行语义的研究

所有复杂的开发过程都需要过程模型来进行抽象的描述,因此定义了一个可视化过程建模语言VPML,并根据实际应用的需求增加了批处理活动。介绍了VPML的设计思想和基本的原语,详细定义了批处理活动,最后描述了VPML语言和批处理活动的执行语义。     

具有最大并行度的合流性主动规则执行模型

合流性反映了主动规则集确定性行为特性。目前保证合流性的主动规则执行算法基本是串行的,而已有的并行规则执行算法并不保证合流性结果。本文扩展了已有的主动规则执行模型,给出具有最大并行度的合流性主动规则处理算法,并证明了该算的正确性。     

基于MDA的联邦开发和执行过程研究

模型驱动体系架构（MDA）是对象管理组织（OMG）2001年7月提出的先进的软件开发方法学,对开发基于HLA的仿真联邦具有很好的借鉴作用;在系统地总结了MDA系统开发原理的基础上,归纳了MDA系统开发的技术优势;将MDA应用于基于HLA仿真系统的开发,初步探讨了基于MDA的联邦开发和执行过程,并描述了该过程模型的顶层视图。     

一种可重构的工作流执行模型

为提高工作流系统的适应性和可维护性,提出了一种可重构的工作流执行模型。该模型面向活动行为的相异性和动态性,把活动状态作为描述过程状态的特征,给出了过程状态的形式化定义,建立了过程状态间的层次化关系与优先级关系。在该基础上,严格地给出了基于基本特征集和基于相容特征集的过程状态精化方法,设计了自动生成过程状态转移关系的算法。最后,结合实际应用讨论了一种基于规则的执行模型可重构性实现方法。应用该方法能够提高工作流管理系统适应企业业务过程需求快速变化的能力。     

模型驱动的业务流程执行方法研究

模型驱动体系结构对于增强业务流程管理系统的模型重用性和软件开发效率有重要作用.以往研究主要集中于MDA在流程建立阶段的作用,目的是介绍模型驱动方法在流程执行阶段的应用.采用构造基于XML Schema的业务流程集成元模型,包括过程、业务数据和组织机构三方面,再基于元模型建立易于扩展和重用的平台无关模型,最后按映射规则生成代码组件、SQL语句和用户界面,并由三种模型的逻辑关系得到业务流程执行元模型的框架.实践结果表明基于XML的业务流程模型能方便地转换为可执行的程序组件,并能在业务流程引擎的协调下有效运行.模型驱动方法能有效地运用在业务流程的执行阶段,下一步的研究重点是业务流程引擎代码框架的映射规则定义以及MDA在业务流程仿真中的应用实现.     

系统通信模型执行性研究

针对可执行体系结构中系统数据交换是如何最终落实到具体的通信网络或设备,并进行具体数据传输问题,提出了系统通信模型执行方法.该方法描述了系统通信模型具有的基本元素及相关属性、模型元素之间的关系和表示,阐述了系统通信模型与系统接口描述模型、系统数据交换描述以及系统状态转移/系统时序图之间的关系,说明了系统功能驱动系统数据交换的具体步骤以及系统通信模型执行的过程.系统通信模型的执行使系统体系结构模型在整体上形成一个内在的一致性执行体,充实并完善了可执行体系结构,为可执行体系结构的执行奠定基础.     

数据库应用程序执行过程抽象

本文对数据库应用的执行流程进行了一个抽象,指出数据库应用流程通常都具有的几个步骤,从而使数据库应用程序的开发过程中可以更加有效的进行设计和实现。     

科技文献老化过程的动态模型

本文分析研究了几种科技文献老数学模型，讨论了引文年代分布数据统计中文频次的采样误差及累积引文频次时间坐标的选取，基于过程辨识理论，提出了科技了文献老化的传递函数模型。     

支持保质设计过程的质量数据总体模型研究

保质设计是近年来兴起的一种设计方法。文章从Morup质量两类论现点出发,对基于保质设计思想的设计活动进行了分析,并在此基础上,提出了保质设计的信息集成模型及信息转换的结构化模型,进而探讨了支持保质设计的数据总体模型。     

面向中小软件企业的过程改进模型6SBC研究

对于中小软件企业而言,实施能力成熟度模型集成(CMMI)将面临更多的挑战,但是中小软件企业为了在激烈的市场竞争中生存和发展,必须要实施软件过程改进.介绍了CMMI和六西格玛理论,给出了适合中小软件企业的一个剪裁的CMMI框架,并在这个框架的基础上结合六西格玛的DMAIC方法,提出了一个软件过程改进模型6SBC.该模型大大缩短了中小软件企业达到CMMI2和CMMI3级别的实施时间,在竞争激烈的软件市场中有效地提升了中小软件企业的核心竞争力.     

软件过程模型回顾与分析

软件过程模型是软件项目的指导思想和全局性框架,是项目经理进行管理的有效工具.本文回顾了软件过程模型的发展历程,介绍了一些具有代表性的软件过程模型,并通过对这些模型的类比分析,给出了它们的优缺点,最后展望了软件过程模型的发展趋势.     

一种基于过程改进的度量模型

如何提高软件质量始终是软件工程领域研究的重要方向,基于度量的量化管理是目前最有效的质量保证手段之一,过程度量是软件开发过程中实施软件质量保证(SQA)的一个重要课题。研究了软件过程度量的概念和范围,讨论了几种常用的度量和度量指标。最后提出了一种软件过程度量模型及其度量元。     

基于IDEF&UML的生产过程管理系统的建模研究

提出了IDEF与UML两者结合的系统建模方法,能够有效地避免IDEF对信息过程流建模和UML语义描述精确性及使用灵活性的不足.该方法采用IDEF0进行系统功能建模,用IDEF1x和UML模型进行信息建模和面向对象的软件系统设计.用该方法设计的沈阳某冶金设备有限公司的基于组件的生产过程管理系统模型具有良好的维护性、可扩展性和重用性,证明了该方法的可行性.     

语义标识的过程模型的可执行性分析

语义标识的过程模型是基于领域本体对过程模型中活动的前置条件&效果进行标识后所产生的模型.语义过程模型的可执行性问题是确保语义过程模型质量的核心问题,同时已被证明是一个co-NP难问题.基于关联变量集模型定义了语义过程模型的动态语义;定义了该动态语义的命题公式的编码规则;提出了基于可满足性求解器的可执行性分析方法;该方法能判定可执行性问题同时当模型不满足可执行性时能反馈出有问题的活动;此外,实现了相应的原型工具SPMT,该工具支持对语义过程模型的建模及可执行性分析;最后通过实际例子对以上理论及工具进行了有效性验证.     

企业过程工程环境的模型复用技术

给出了基于特定企业过程工程环境的模型复用技术，它以过程模型的拆分和组装技术为基础，在企事业过程的建模过程中能生成及使用模型构件；并在此基础上给出了模型构件库的构建及使用技术。     

基于层级模型的软件开发过程管理

本文通过建立软件开发过程的层级模型，将软件开发中的“过程”的概念层级化，将原来众多复杂的因素划分到不同的抽象层次：组织结构层、过程流层和物件流层。根据不同的抽象层的特点，采取不同的措施，有效地对整个开发过程进行控制与改善。     

基于高斯过程分类器的三维模型多粒度语义检索

为解决三维模型语义检索中用户检索意图不一致问题,建立多粒度语义检索框架,使学习模型能够有效地适应用户的不同检索意图。首先对模型分类知识进行层次划分,形成语义概念的多粒度结构。然后提取一种多视图特征来描述三维模型的形状特性,并采用高斯过程分类器建立不同粒度层次上的学习模型,实现低层特征和查询概念之间的语义一致性描述。和已有研究相比,多粒度语义检索框架使用户可通过语义粒度级别变化进行检索意图设置,从而检索结果尽可能符合用户语义。在实验部分,采用三维模型基准数据库对框架进行算法性能测试。结果表明,检索准确率要明显提高,并且符合人类思维特点。     

工作流平台中动态流程模型的研究

在已有的动态工作流模型——黑盒模型的基础上进行改进,应用可插拔的子流程节点代替黑盒节点,提出了更加容易实现的动态流程模型——DSP(Dynamic SubProcess)模型,并成功地将其应用于网络化集成产品开发项目管理工具的项目中。