郭小群
- 作品数：21 被引量：76H指数：5
- 供职机构：西北大学更多>>
- 发文基金：国家高技术研究发展计划西安市科技计划项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术天文地球更多>>
- 对生产线中的BPM构件可信评估的系统及方法
- 本发明的对生产线中的BPM构件可信评估的系统包括如下模块：建立评估任务模块；计划评估任务模块；输入评估数据模块；执行评估任务模块；输出评估结果模块：所述建立评估任务模块、计划评估任务模块、输入构建信息模块、执行评估任务模...
- 侯红郭小群丁剑洁
- 文献传递
- Pi^+演算及其对Petri网的表达被引量：7
- 2011年
- 为了研究Pi演算模型的表达能力,作者用它来表达Petri网系统,证明了Petri网的某些子类,如自由选择网等,可以直接用Pi演算表达.然而对于一般的Petri网,表达却遇到了困难.文中提出了一种对Pi演算的扩展,称为Pi+演算,在原有Pi演算的通信机制中增加了多原语同步通信机制.证明了所有一般Petri网系统均可以用Pi+演算表达.
- 郝克刚郭小群李向宁
- 关键词：PETRI网PI演算Π演算业务过程管理
- 软件测量刻度及选择方法被引量：9
- 2005年
- 本文从测量表示理论学的角度出发,研究了不同的软件测量刻度类型,在此基础上对软件测量的意义和统计分析方法进行了分析,并对不同的软件测量刻度进行了比较,提出了软件测量刻度选择的演进式方法。
- 侯红郝克刚郭小群
- 关键词：刻度
- 复杂分支和同步模式的Pi演算描述被引量：4
- 2010年
- Pi演算是一种描述和分析动态并发系统的计算模型。对Pi演算进行研究后,提出了以Pi演算作为工作流形式化的基础,并利用Pi演算对复杂分支和同步工作流模式进行了详细的描述。
- 郭小群郝克刚侯红丁剑洁
- 关键词：PI演算工作流模式形式化方法
- 对生产线中的BPM构件可信评估的系统及方法
- 本发明的对生产线中的BPM构件可信评估的系统包括如下模块：建立评估任务模块；计划评估任务模块；输入评估数据模块；执行评估任务模块；输出评估结果模块：所述建立评估任务模块、计划评估任务模块、输入构建信息模块、执行评估任务模...
- 侯红郭小群丁剑洁
- Pi演算对图灵机的表达
- 为了研究Pi 演算的表达能力,试着用它来表达图灵机。研究结果表明,只要对Pi 演算进行一定的的扩展,即引入某些函数符号,允许对发送的名字作一定的运算,就可以用Pi演算的规约来表达图灵机的运算过程。
- 郝克刚郭小群
- 关键词：PI演算图灵机函数符号
- 文献传递
- Pi演算对图灵机的表达被引量：3
- 2009年
- 为了研究Pi演算的表达能力,我们试着用它来表达图灵机。研究结果表明,只要对Pi演算进行一定的的扩展,即引入某些函数符号,允许对发送的名字作一定的运算,就可以用Pi演算的规约来表达图灵机的运算过程。
- 郝克刚郭小群
- 关键词：PI演算图灵机函数符号
- 基于审查的软件过程改进被引量：2
- 2006年
- 在简述了中国软件企业的发展现状后,描述了软件审查的框架,并对审查和其他几种主要改进策略的投资回报率作了比较,对大多数中国软件企业来说,审查不失为一种较好的过程改进策略。
- 郭小群郝克刚
- 关键词：软件过程改进审查投资回报率
- 基于度量的软件生产线管理研究被引量：4
- 2011年
- 软件生产线是一种全新的软件开发方式,生产线的管理作为三大基本活动之一直接影响生产线实践。从软件度量角度出发,根据GQ(I)M模型,提出了基于度量的软件生产线管理框架,并定义了管理活动中需要跟踪的度量元,这对生产线管理活动的有效实施有积极的指导意义。
- 丁剑洁郝克刚侯红郭小群
- 用Pi^+演算表示带抑止弧的Petri网被引量：1
- 2008年
- Pi演算和Petri网是常用的两种形式化建模技术,关于他们之间的相互表达问题已经引起了人们的关注。主要目的是研究如何用Pi演算表示一种扩展的Petri网——带抑制弧的Petri网。为了能够表示Petri网的静态及动态结构,首先介绍了具有同步同信原语的Pi+演算,但是这种扩展无法表示抑制位置无穷的Petri网,因此又提出了优先原语,并通过例子说明了优先原语的作用。
- 郭小群郝克刚侯红丁剑杰
- 关键词：PI演算PETRI网形式化建模
