郭峰
- 作品数:10 被引量:45H指数:4
- 供职机构:北京航空航天大学计算机学院更多>>
- 发文基金:中国航空科学基金更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- UML状态图至Petri网转化方法的研究
- 作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多的被用在大型系统中,然而,UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证.状态图作为UML动态描述机制的重要组成部分,同样存在这样的...
- 李飚郭峰姚淑珍
- 关键词:UML状态图自动机PETRI网统一建模语言
- 文献传递
- 基于Petri Net的多Agent系统建模被引量:6
- 2003年
- 多Agent系统是近年来分布式人工智能的一个研究热点。随着对其研究的深入和应用的推广,急需一种建模技术对其进行形式化描述。针对这个问题,该文提出了一种使用PetriNet形式化表示多Agent系统的方法,分别从单个Agent视图和整个Agent系统的全局视图对其加以描述,以便进一步的分析和评估。
- 邓远红郭峰姚淑珍
- 关键词:AGENTPETRIAGENT系统会话
- 面向agent软件开发方法比较与应用原则被引量:3
- 2004年
- 对面向 agent 软件开发方法的起源、研究现状和发展趋势进行了综述和讨论,介绍了部分典型方法,首次提出了 agent 的强、亚和弱自主性的定义。根据各种方法中对 agent 交互协议的不同描述方式,定义了显式协议和隐式协议,从四个方面对现有的典型方法做了比较,并分析了本文提出概念的应用原则。由于面向 agent 软件开发方法的研完仍然处于探索阶段,这些概念有助于研究人员理解掌握面向 agent 软件开发方法,对于该领域的发展具有积极的意义。
- 郭峰姚淑珍
- 关键词:AGENT软件开发自主性交互协议
- 顺序图至Petri网转化方法的研究与实现被引量:11
- 2006年
- 作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多的被用在大型系统中,然而,UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证。顺序图作为UML动态描述机制的重要组成部分,同样存在这样的问题,而Petri网作为一种建模工具,有着严格的形式化语义,而且有很多成熟的分析方法。该文针对UML2.0顺序图模型,结合几个简单Petri网结构,提出了将顺序图转换为Petri网的算法,最后通过实例说明了转化算法的有效性。
- 谢彦辉姚淑珍郭峰
- 关键词:顺序图PETRI网
- UML状态图至Petri网转化方法的研究被引量:1
- 2005年
- 作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多的被用在大型系统中,然而,UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证.状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题,而Petri网作为一种建模工具,有着严格的形式化语义,而且有很多成熟的分析方法.本文针对UML2.0状态图模型,对状态图至Petri网转化方法进行了研究,并提出了将状态图转换为Petri网的算法.
- 李飚郭峰姚淑珍
- 关键词:UML状态图自动机PETRI网
- 多Agent系统的Petri网建模研究
- Agent作为一种新的软件开发范型,应用领域逐步扩大,但其潜在优势并没有在应用中完全展现,主要原因是缺少成熟实用的软件开发方法和工具.在软件工程领域Agent通常被认为是对象尤其是并发对象的进一步扩展,为了充分利用已有的...
- 郭峰姚淑珍
- 关键词:多AGENT系统PETRI网软件开发系统仿真
- 文献传递
- 多Agent系统的Petri网建模研究被引量:6
- 2003年
- Agent作为一种新的软件开发范型,应用领域逐步扩大,但其潜在优势并没有在应用中完全展现,主要原因是缺少成熟实用的软件开发方法和工具。在软件工程领域Agent通常被认为是对象尤其是并发对象的进一步扩展,为了充分利用已有的面向对象方法和工具,首先提出了一种基于对象的混合Agent结构,然后从系统和个体两个层次上设计了体现多Agent系统行为特征的 Petri网模型,最后分析了多Agent系统仿真需要实现的关键算法。
- 郭峰姚淑珍
- 关键词:多AGENT系统PETRI网仿真
- 基于Petri网的UML状态图的形式化模型被引量:19
- 2007年
- 提出一种可以准确描述UML状态图动态特征的形式化模型SC_Net.首先给出了UML状态图的形式化语法定义,其中用状态集合、转移集合、事件集合、条件集合、活动集合、对象集合和变量集合,定义了一系列辅助函数描述UML状态图特征,用确定目标状态和受限源状态表示层次关系,用开放事件和封闭事件表示对象之间的消息.基于C_Net定义了描述UML状态图动态语义的Petri网模型SC_Net,既能描述状态图中的控制部分,又能描述状态图中的数据处理部分,并给出了从UML状态图到SC_Net的转换步骤,便于实现自动转换过程.最后以柔性制造系统的一个实例说明SC_Net能用于分析UML状态图的性质.
- 郭峰姚淑珍
- 关键词:UML状态图PETRI网形式化语义
- Agent UML协议图的改进及验证方法
- AgentUML是在UML的基础上发展起来的多agent系统建模语言,描述agent交互协议的协议图是AgentUML的核心.AgentUML协议图是对UML顺序图的扩充,但是目前协议图仍然存在问题,主要是生命线的表示方...
- 郭峰姚淑珍
- 关键词:PETRI网网络协议软件开发
- 文献传递
- 统一建模语言状态图的Petri网模型及其分析方法被引量:3
- 2007年
- 针对现有关于统一建模语言状态图形式化语义研究过程中存在的缺点,给出一种统一建模语言状态图的形式化语法表示方法,结合统一网、着色网定义了描述统一建模语言状态图动态语义的Petri网模型状态图网,状态图网可以准确描述状态图中的层间转移、转移的冲突和并发等现象,并且可以描述状态图转移上的数据处理和状态图之间的通讯机制,给出了从统一建模语言状态图到状态图网的转换规则,讨论了基于状态图网验证统一建模语言状态图正确性和一致性的方法。
- 郭峰
- 关键词:PETRI网形式化语义