您的位置: 专家智库 > >

北京市科技计划项目(y0105001040521)

作品数:12 被引量:87H指数:4
相关作者:周伯生邢少敏陈天影罗文劼朱令娴更多>>
相关机构:北京航空航天大学河北大学更多>>
发文基金:北京市科技计划项目国家自然科学基金国家科技型中小企业技术创新基金更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 12篇中文期刊文章

领域

  • 12篇自动化与计算...
  • 1篇电子电信

主题

  • 2篇语义
  • 2篇切片技术
  • 2篇测试用例
  • 2篇WEB服务
  • 1篇信息提取
  • 1篇信息整合
  • 1篇形式化
  • 1篇形式化语言
  • 1篇业务端编程
  • 1篇语义WEB服...
  • 1篇语义分析
  • 1篇语义研究
  • 1篇政务
  • 1篇生命周期
  • 1篇生命周期模型
  • 1篇索引
  • 1篇体系结构
  • 1篇潜在语义
  • 1篇潜在语义分析
  • 1篇切片

机构

  • 12篇北京航空航天...
  • 2篇河北大学

作者

  • 12篇周伯生
  • 6篇邢少敏
  • 5篇陈天影
  • 4篇罗文劼
  • 3篇朱令娴
  • 2篇王慧
  • 1篇刘鹏
  • 1篇杨勇

传媒

  • 3篇计算机工程与...
  • 3篇北京航空航天...
  • 2篇计算机工程
  • 1篇计算机应用与...
  • 1篇计算机应用研...
  • 1篇计算机系统应...
  • 1篇计算机科学

年份

  • 1篇2011
  • 1篇2010
  • 5篇2009
  • 5篇2008
12 条 记 录,以下是 1-10
排序方式:
基于系统动力学的软件过程偏离控制被引量:2
2011年
为了定量控制和改进软件过程,解决由于滞后效应引起的提前量问题,提出了过程偏离阈值的计算方法。以项目进度为目标控制量,以加人为修复措施,基于系统动力学方法分析了偏离控制和软件过程,建立了过程模型。通过二分法算法设置自动模拟过程,计算控制阈值,为过程控制提供量化支持。实例结果验证了模型的可行性,模拟分析结果表明,该方法能有效确定控制阈值,为项目的决策者实施软件过程控制提供量化支持。
杨勇周伯生
关键词:系统动力学过程控制
基于切片技术获取系统测试用例的方法被引量:5
2008年
针对如何获取局部和全部的系统测试用例,确保其正确性和完备性以及与需求的一致性问题,提出利用先进的建模技术,建立可模拟验证的过程模型,并应用切片技术获取测试用例,并利用基于过程模型结构分析的归纳法证明了该法的正确性,根据过程模型切片准则获取系统测试用例的算法,介绍了实现工具的构成和应用实例。
罗文劼周伯生王慧朱令娴
过程模型切片技术的研究被引量:1
2010年
将程序切片技术引入到过程模型中,定义过程模型中的关联关系和数据连接关系,在此基础上给出了过程模型的切片定义,并定义了过程模型的三种切片:前向切片,后向切片和双向切片,提出了前向切片、后向切片和双向切片的算法,最后通过实例分析证明了该算法的可行性和实用性。
刘鹏周伯生
关键词:程序切片
基于贝叶斯网的业务端编程方法
2009年
针对现有的业务端编程方法缺乏对于没有软件开发背景的最终用户的指导机制,提出了一种基于贝叶斯网的业务端编程方法.首先提出了一种基于贝叶斯网的最终用户编程基本框架,然后基于贝叶斯网结构学习方法和过程日志建立了用来支撑业务端编程的领域专家系统,在此基础上提出了以领域专家系统为核心的启发式业务端编程方法.该方法在编程过程中依赖领域专家系统对最终用户推荐业务活动,提供实时指导,帮助最终用户逐步完成应用系统的构造.最后对该方法的有效性进行了定性的评估和分析,结果表明,基于贝叶斯网的业务端编程方法可以在一定程度上提高最终用户编程的效率.
邢少敏周伯生陈天影
关键词:业务端编程自动程序设计贝叶斯网络WEB服务
基于CMMI的软件过程性能模型被引量:15
2009年
在高成熟度组织的CMMI(能力成熟度模型集成)实施过程中,正确的建立并使用过程性能模型对有效的策划、预测、监督和控制组织过程有显著的作用。在分析并建立4个基本的过程性能模型之间的关系之后,以生命周期模型的定义为基础,提出了基于GQM的度量模型构建方法、资源模型构建方法以及质量模型构建方法,由于各过程性能模型的信息和数据都来源于生命周期模型,因而可以有效保证其之间信息与数据的一致。
王慧周伯生罗文劼
关键词:CMMI生命周期模型GQM资源模型
SOA研究进展被引量:51
2008年
近年来,面向服务的体系结构(SOA)逐渐成为软件工程领域的研究热点,它在企业信息系统集成、分布式软件系统开发方面都具有明显的优势,也是应对企业灵活多变的业务需求挑战的关键技术。总结了面向服务的体系结构技术发展过程及其主要研究方向,介绍了当前面向服务的体系结构的研究进展,应用实践。并且在分析了典型的面向服务的体系结构之后,给出了面向服务的体系结构的定义。通过分析和总结面向服务的体系结构研究领域的主要研究方向和内容,提出了面向服务的体系结构研究的思路。探讨了当前面向服务的体系结构研究中的不足之处,并预测了面向服务的体系结构进一步的研究方向。
邢少敏周伯生
关键词:体系结构
基于过程模型的工作流执行语义研究被引量:5
2009年
针对现有工作流建模语言难以兼顾语言的可理解性、执行语义的形式化和描述维度的单一性等问题,提出利用可视化的过程模型作为工作流建模语言。过程模型能从过程、数据、资源、组织等多个角度描述企事业的业务工作流程。根据过程模型的语法和工作流系统的特点,定义形式化执行语义,为过程模型的分析、验证和执行提供理论依据。
陈天影周伯生邢少敏
关键词:工作流
基于过程模型的政务信息提取和整合被引量:2
2009年
针对电子政务领域中的流程清、数据准和情况明的业务梳理要求,提出将过程工程中的建模、模拟、优化技术与政务领域信息资源规划整合相结合,采用可视化、可模拟的先进建模技术,建立业务描述的过程模型,清晰准确地描述业务流程及其相关组织机构、人员岗位、所需材料、产生材料以及办理依据等信息,通过模拟技术优化并验证业务流程的正确性。同时,通过建立建模系统与信息系统的对应关系,实现业务、资源等相关信息的提取和整合,解决跨部门业务的描述以及共享信息的提取问题。
罗文劼周伯生朱令娴
关键词:可视化建模信息提取信息整合
一种面向服务的业务过程建模语言
2008年
通过对现有业务过程建模语言的分析指出了其对面向服务支持的不足,以可视化过程建模语言VPML(Visual Process Modeling Language)为基础,提出了一种面向服务的可视化过程建模语言VPML-S,并提出了该语言的概念设计框架,简述了其通用的建模元素;使用UML类图设计了该语言的元模型,在此基础上建立了语言的形式化模型;分析和评估了VPML-S中的服务元素所提供的将活动映射为Web服务的面向服务功能,嵌入子过程元素所提供的多个业务过程之间的复用机制,管道元素所提供的多个业务过程的协作机制以及VPML-S和其它语言所建立的业务过程模型的互操作支持机制;评述了VPML-S的可视化图符替换、元模型扩展机制;最后通过一个网上购物流程实例说明VPML-S为面向服务的环境下的业务过程复用、协作和互操作提供了有效的支撑.
邢少敏周伯生陈天影
关键词:形式化语言
业务模型中的协同模型研究被引量:1
2008年
针对业务模型中对协同关系描述的不足,详细定义了协同模型,给出了从业务模型中的过程模型抽取协同模型的规则,并阐明了协同模型对业务模型中其他各模型的影响。
陈天影周伯生邢少敏
共2页<12>
聚类工具0