国家自然科学基金(60773064)
- 作品数：11 被引量：28H指数：3
- 相关作者：徐晓飞战德臣李海波冯锦丹聂兰顺更多>>
- 相关机构：哈尔滨工业大学华侨大学中国北车股份有限公司更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家科技重大专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向集团企业的服务工作流系统架构研究
- 2012年
- 集团企业必须适应动态的业务组织方式,以响应瞬息万变的市场需求。在服务相关知识的基础上,对服务工作流进行分析和定义,并构建基于服务工作流的引擎执行框架。针对服务工作流在组合过程中的不足,对服务进行语义信息扩展,建立动态的服务调度机制。提出一种面向集团企业的服务工作流系统体系架构,为集团企业在新环境下实现按需整合业务和优化资源配置提供解决方案。最后通过具体的集团制造应用实例说明该架构的实施方法。
- 陈智敏李海波
- 关键词：语义WEB服务服务工作流体系架构
- 工作流业务规则语义的完整性验证技术被引量：9
- 2009年
- 工作流模型的验证技术主要包括语法验证、结构验证和语义验证,其中语义验证是层次最高、最为严格的验证,验证的范围十分广泛,也是难点所在,目前尚缺乏有效的方法.而且,语义的正确性会影响工作流模型的控制逻辑,也是结构合理性的影响因素之一.从工作流模型表达的语义出发,通过分析工作流模型刻画的业务规则以及相应的约束集部分,基于对约束集语义的形式化,问题转换为对约束集语义的完整性验证.如果工作流模型中的条件节点所描述的约束集语义有遗漏、冗余或者无意义,也决定了模型错误的拓扑结构.提出全域覆盖性判定定理及基于判定树的验证算法,通过验证工作流业务规则语义的完整性,对工作流模型结构的合理性也给予了保证.这种验证方法具有很强的通用性,不依赖于具体的建模方法,适用范围广泛.
- 李海波战德臣徐晓飞
- 关键词：工作流语义完整性
- 服务工作流中基于资源约束的服务选取方法
- 2012年
- 在面向服务的工作流管理系统中,目前多采用难以准确获取的服务质量信息来选取服务,忽略了基于业务去选取符合需求的服务。通过对资源约束间的相关性、约束满足的时效性等性质进行分析,提出基于资源约束满足性的服务选取方法,并给出了具体算法。该方法将工作流模型中描述的约束条件分离出来,并在运行时和服务选取之前判定其满足性,从而可以选取满足业务需求的服务。实例分析表明该方法具有很强的通用性和实用性。
- 李海波李鹏飞喻小光
- 关键词：服务工作流资源约束服务质量
- 基于模式的业务构件代码生成方法被引量：3
- 2008年
- 在企业管理软件中业务构件可以通过参数化和配置技术被复用以适应业务需求的变化,这种构件粒度大、可变参数多、结构复杂难于开发.为了提高业务构件的开发效率,确保开发正确性,本文提出一种面向大粒度构件,基于模式的构件代码生成方法.从已有应用系统中抽取业务构件的典型软件模式,定义一种支持多种编程语言的模式描述语言,用其构造基于模式的非实例化构件,并采用模型驱动的思想,将对应模式下富含业务语义的构件实现模型转换为目标程序,以实现业务构件的自动生成.在此方法指导下,开发一套可视化建模与代码生成工具组,并利用此工具自动生成了运行在J2EE平台上的采购管理系统中部分业务构件,应用结果验证了本方法的有效性和实用性.
- 冯锦丹战德臣聂兰顺徐晓飞
- 关键词：代码生成
- 模式化大粒度构件的可复用性研究被引量：5
- 2009年
- 针对大粒度构件复用度低的问题,为提高企业应用软件的开发效率,基于对大粒度构件的组成及复用效率影响因素的分析,提出模式化大粒度构件的概念。基于大粒度构件的可配置特性,在大粒度构件生命周期的各阶段给出其相应的生产和复用方法。以企业相关领域的大粒度构件为例,验证了提高大粒度构件复用度方法的实用性,增强了对业务需求变化的适应性。
- 冯锦丹战德臣徐晓飞李海波
- 关键词：复用
- 基于服务规约匹配的业务构件获取被引量：1
- 2010年
- 针对目前构件模型缺乏行为语义和脆弱接口的问题,提出了一个面向服务的业务构件模型,该模型采用有限状态机来描述业务构件的行为语义,采用基于XML的标记数据类型来表示业务数据类型,基于此模型,提出了动作、动作序列和业务构件3个层次的语义匹配关系,借鉴数据库查询语言,提出业务构件检索语言以支持业务构件的自动获取.结果表明:所提出的方法为大规模的业务构件复用提供了有利的技术支持.开发了业务构件库管理工具验证了该法方法的可行性和有效性.
- 孟凡超初佃辉战德臣徐晓飞
- ICEMDA:一种可互操作可配置可执行的模型驱动体系结构被引量：10
- 2008年
- 国际对象管理组织提出模型驱动软件体系结构(MDA),以模型建立与模型转换为中心的思想为软件开发带来了新变革,但OMG并未给出各层次具体模型与建模理论.为了对随需应变的企业管理软件开发提供一组理论与方法支持,本文提出一种可互操作、可配置与可执行的企业模型驱动体系结构ICEMDA:面向过程的ICE-CIM、面向对象的ICE-PIM、面向模式的ICE-PSM和面向构件与配置的ICE-CODE.本文阐述了ICE-MDA各层次模型的建模思想、核心概念及以核心概念为主的模型之间的转换.ICEMDA可有效指导用户快速开发与实施复杂管理软件.
- 战德臣冯锦丹聂兰顺徐晓飞
- 关键词：MDAESA可互操作性可执行性
- 基于数据流分析的工作流模型局部性研究
- 2011年
- 由于模型化简的方法存在着通用性的限制,工作流模型中控制流和数据流相结合的冲突检测通常要在整个模型范围内进行,模型维护的复杂性高。首先通过分析工作流模型中存在的时序依赖和数据依赖关系,以及二者应该满足的一致性,揭示出工作流模型的拓扑结构中存在着局部性。基于工作流模型的局部性原理提出活动的稳定子图,以及工作流模型重构后的局部区域求解方法,并对方法给予证明。最后的对比分析表明,工作流模型的拓扑结构发生变化时,控制流和数据流的一致性完全可以在局部范围内验证和维护,进而提高了模型维护的效率。
- 郭春丽李海波
- 关键词：工作流模型
- 基于分层递增验证的可信管理软件构造方法
- 2012年
- 为了保证管理软件在整个生命周期内都具有可信性,在ICEMDA架构基础上融入可信性理论与方法,提出了一种可信管理软件的模型驱动构造参考方法.通过分析国内外的研究现状,明确界定了管理软件可信性概念,给出可信性判定问题描述.结果表明该方法以ICEMDA各层次上的构造体为中心,逐层进行可信模型描述、可信指标度量、可信性判定与优化,借助ICEMDA的模型语义保持技术实现各层间可信性的保持与传递,并以业务构件PSM模型的可信性判定为例简要介绍了该体系的具体实施机制.
- 战德臣冯锦丹聂兰顺徐晓飞
- 关键词：企业管理软件
- 业务对象平台无关模型建模方法及其完备性研究被引量：1
- 2011年
- 为支持业务对象平台无关模型的设计,以支撑模型驱动的企业应用软件开发,扩展了业务对象概念的语义范畴和粒度,在可互操作可配置可执行的模型驱动体系结构研究的基础上,给出了业务对象形式化定义和业务对象的平台无关模型。从基本构成要素(数据集、操作集、状态集及其间关系)的角度,给出支持业务对象模型的语义完备性约束。实践表明,研究成果可为大粒度业务对象平台无关建模提供基础的理论支撑。
- 冯锦丹战德臣聂兰顺徐晓飞李晋韩毅斌
- 关键词：平台无关模型企业应用软件
