郭峰
- 作品数：25 被引量：31H指数：4
- 供职机构：北方工业大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学矿业工程更多>>
- 一种具有进程代数特征的Petri网模型-进程网
- 提出一种新的融合进程代数特征的Petri网模型—进程网.进程网既具有传统Petri网的图形化表示方式,又具有进程代数的语法形式.基于六种组合算子,复杂进程网可由简单进程网组合而成.给出了进程网的结构化操作语义,可以运用进...
- 郭峰邓蒙蒙杨颜公
- 关键词：PETRI网结构化操作语义
- 文献传递
- 关于LOTOS并发操作符行为特性的探讨
- 2014年
- LOTOS是ISO制定的描述并发通信系统的标准化形式语言。并发组合操作符行为特征复杂,虽然给出了语义,但在编写及分析LOTOS规格说明文件时,仍然容易混淆。本人对并发操作符的可结合,可交换,多路同步,隐藏等机制进行分析和探讨。有助于LOTOS的学习者理解并发行为的本质,提高编写和分析LOTOS规格说明文档的能力。
- 郭峰韩瑞昕
- 关键词：LOTOS
- 进程网建模工具的设计与实现被引量：5
- 2014年
- 进程网是一种融合进程代数特征的Petri网模型,支持由基本进程网构造复杂进程网的建模方法.本文介绍了进程网建模工具PrnTools的实现.在PrnTools中,以基本进程网为最小建模单元,并针对进程网的各种组合方式,定义了对应的XML保存格式;利用这些组合方式,可以从基本进程网组合成复杂进程网并保存为xml文件.通过一个实例说明了进程网建模工具的使用.
- 郭峰邓蒙蒙杨颜公
- 关键词：PETRI网
- 一种面向服务Petri网模型及其结构化操作语义被引量：3
- 2013年
- 在工作流网、开放网等Petri网模型的基础上,提出适合描述面向服务系统的Petri网模型—EON(扩展开放网).针对服务的各种组合方式定义了五种EON的组合算子,利用这些组合算子可以从基本EON组合成复杂EON.基于这些组合算子,EON本身可以采用代数化的构造性方式表达,本文进一步给出EON的结构化操作语义,这种语义是遗忘式的,不依赖于EON的标识,而是用发生变化的代数表达式描述EON的运行状态.
- 郭峰魏光邓蒙蒙
- 关键词：PETRI网结构化操作语义
- Web服务组合的可靠性分析被引量：1
- 2008年
- 提出了一种基于Petri网分析Web服务组合可靠性的方法。探讨了可靠性数据的采集方法,通过将BPEL描述的Web服务组合流程转换为WS_RPN,根据WS_RPN的执行路径分析Web服务组合流程的可靠性。最后通过一个实例说明了该方法的可行性。
- 郭峰张萌
- 关键词：WEB服务组合PETRI网可靠性
- 进程网及其自顶向下建模技术研究被引量：1
- 2013年
- 提出一种新的融合进程代数特征的Petri网模型—进程网。进程网既具有传统Petri网的图形化表示方式,又具有进程代数的语法形式。介绍了进程网的四种组合算子,复杂进程网可由简单进程网通过组合算子组合而成。给出了进程网细化的规则及基于进程网的字顶向下建模步骤。
- 石万林郭峰
- 关键词：PETRI网进程代数结构化操作语义
- 基于进程网模型的仿真技术研究
- 2015年
- 进程网是一种新的融合进程代数特征的Petri网模型。具有传统Petri网的图形化表示方式,又具有进程代数的语法形式。本文基于进程网系统,针对进程网建模工具Prn Tools,提出适合其模型的仿真算法,包括实现组件的逻辑关系,组件的点火判定,点火及仿真的图形化表示,以及仿真结束状态图的生成。实验结果表明Prn Tools仿真功能得到实现,该算法有效地实现了针对进程网的仿真技术。
- 郭峰杨颜公闫琦乔磊
- 关键词：PETRI网进程代数仿真
- Web服务组合的可靠性分析
- 提出了一种基于Petri网分析Web服务组合可靠性的方法。探讨了可靠性数据的采集方法,通过将BPEL描述的Web服务组合流程转换为WS_RPN,根据WS_RPN的执行路径分析 Web服务组合流程的可靠性。最后通过一个实例...
- 郭峰张萌
- 关键词：WEB服务组合PETRI网可靠性分析数据采集
- 文献传递
- 基于UML的多agent系统软件体系结构建模研究被引量：1
- 2009年
- 针对面向agent软件开发方法普遍缺乏对多agent系统软件体系结构的描述的问题,基于UML 2.0规定的两种扩充方式,在UML元模型的基础上增加了描述多agent系统和软件体系结构两个方面特征的建模元素,并用八个视图对多agent系统的软件体系结构进行描述,最后通过实例说明了该方法适用于多agent系统软件体系结构的构造。
- 郭峰张萌
- 关键词：多AGENT系统软件体系结构多视图
- 基于Petri网的Web服务描述及其可替换性分析被引量：4
- 2013年
- 为解决服务组合中的Web服务可替换性问题,在工作流网、开放网等Petri网模型的基础上,提出一种适合面向服务系统的Petri网模型———WS_Net。该模型包含了Web服务的两部分内容:内部流程和外部接口。WS_Net可以准确描述顺序、循环、并发、调用、选择五种常见的服务组合方式。在Petri网互模拟等价的基础上定义了WS_Net内网的关于接口变迁的互模拟等价关系,关于接口变迁互模拟等价的WS_Net可以实现上下文无关的相互替换并保证替换前后组合服务的行为是一致的。在Petri网化简技术的基础上提出了WS_Net的化简规则,证明了这些化简规则能够保持WS_Net化简前后的接口互模拟等价特性。在实际应用中能够通过化简的方法降低Web服务可替换性分析的复杂度。
- 郭峰魏光
- 关键词：WEB服务PETRI网互模拟
