中国航空科学基金(01F51052)
- 作品数：9 被引量：56H指数：5
- 相关作者：姚淑珍郭峰金茂忠谢彦辉孙志强更多>>
- 相关机构：北京航空航天大学更多>>
- 发文基金：中国航空科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Petri Net的多Agent系统建模被引量：6
- 2003年
- 多Agent系统是近年来分布式人工智能的一个研究热点。随着对其研究的深入和应用的推广,急需一种建模技术对其进行形式化描述。针对这个问题,该文提出了一种使用PetriNet形式化表示多Agent系统的方法,分别从单个Agent视图和整个Agent系统的全局视图对其加以描述,以便进一步的分析和评估。
- 邓远红郭峰姚淑珍
- 关键词：AGENTPETRIAGENT系统会话
- 基于Petri网的UML状态迁移策略被引量：5
- 2008年
- 分析了统一建模语言(UML,Unified Modeling Language)状态图相关语义,阐述了Petri网基本特征和它所具有的建模事件并发、同步、冲突能力.为得到UML状态图无二义性的、可执行的和可验证的模型,在着色Petri网和层次化Petri网研究成果基础上,研究提出层次着色Petri网(HCPN,Hierarchical Colored Petri Net).HCPN中不同层的着色网CPN通过库所子网或变迁子网相关联.通过实例说明如何借助这些关联从HCPN中的CPN合并得到标注Petri网.标注Petri网可用于指导基于事件驱动的仿真过程,而标注Petri网转换得到的基本Petri网可用来进行特性分析,从而对所描述的UML状态图模型给出合理的评价,有利于建模系统的改进.
- 姚淑珍金茂忠
- 关键词：PETRI网面向对象编程
- 面向agent软件开发方法比较与应用原则被引量：3
- 2004年
- 对面向 agent 软件开发方法的起源、研究现状和发展趋势进行了综述和讨论,介绍了部分典型方法,首次提出了 agent 的强、亚和弱自主性的定义。根据各种方法中对 agent 交互协议的不同描述方式,定义了显式协议和隐式协议,从四个方面对现有的典型方法做了比较,并分析了本文提出概念的应用原则。由于面向 agent 软件开发方法的研完仍然处于探索阶段,这些概念有助于研究人员理解掌握面向 agent 软件开发方法,对于该领域的发展具有积极的意义。
- 郭峰姚淑珍
- 关键词：AGENT软件开发自主性交互协议
- 顺序图至Petri网转化方法的研究与实现被引量：11
- 2006年
- 作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多的被用在大型系统中,然而,UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证。顺序图作为UML动态描述机制的重要组成部分,同样存在这样的问题,而Petri网作为一种建模工具,有着严格的形式化语义,而且有很多成熟的分析方法。该文针对UML2.0顺序图模型,结合几个简单Petri网结构,提出了将顺序图转换为Petri网的算法,最后通过实例说明了转化算法的有效性。
- 谢彦辉姚淑珍郭峰
- 关键词：顺序图PETRI网
- 基于Petri网的状态机变迁的形式化方法研究被引量：3
- 2007年
- UML状态机图用来描述一个特定对象生命周期经历各种状态,尽管其表达简单明了,易于理解,但它缺乏准确语义,难以对其进行语义分析和验证的问题。变迁作为状态机图的重要组成部分,同样存在这样的问题,而Petri网有严格的形式化语义,而且有许多成熟的分析方法。为了分析状态机变迁,提出了TES模型,它可以描述状态机的触发器事件和监护条件等元素,然后将几种复合变迁用Petri网描述,最后给出了一个实例,说明模型之间是语义等价的。
- 何建伟姚淑珍
- 关键词：PETRI网形式化方法
- UML状态图至Petri网转化方法的研究被引量：1
- 2005年
- 作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多的被用在大型系统中,然而,UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证.状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题,而Petri网作为一种建模工具,有着严格的形式化语义,而且有很多成熟的分析方法.本文针对UML2.0状态图模型,对状态图至Petri网转化方法进行了研究,并提出了将状态图转换为Petri网的算法.
- 李飚郭峰姚淑珍
- 关键词：UML状态图自动机PETRI网
- 基于SOAP实现异种多Agent系统间互操作被引量：6
- 2004年
- 为了解决应用在多Agent系统中的分布式组件技术在互操作性方面的不足,探讨了应用SOAP(simple objectaccess protocol)技术实现多Agent系统间互操作的可行性,进而提出一种基于SOAP的实现多Agent系统间互操作方法,阐明了系统的工作原理,给出了具体应用实例,证明了其可行性,并总结了该方法的优点,讨论了进一步研究的重点。
- 孙志强姚淑珍
- 关键词：多AGENT系统SOAP互操作性分布式组件
- UML状态图的形式化建模及其分析被引量：16
- 2007年
- 为解决状态图的建模问题,特别是带有复合状态的层次化状态图的建模问题,分析了UML状态图的结构特点和语义特征,构造了层次化着色Petri网HCPN.将复合状态的Petri网子网结构划分成输入/输出端口、状态迁移部分和历史状态部分.其中输入/输出端口分别用于完成子网进入弧的解析和离开的弧的汇总,状态迁移部分完成状态机子网内部状态变换,历史状态部分通过“记忆单元”,完成复合状态的“记忆恢复”和“记忆刷新”.基于所构造的HCPN结构,总结了状态图复合状态转入/转出迁移的语义和约束规则,阐述了复合状态的Petri网子网的相应描述方法和分析技术.最后针对状态图的安全性要求详细论述了历史状态完备性判定原则、父子层一致性判定原则和状态可达性判定原则的HCPN语义表示.研究成果对进一步开发自动化分析验证工具,优化复杂系统设计方案,提高软件质量具有重要的指导意义.
- 姚淑珍金茂忠
- 关键词：PETRI网语义
- 多Agent系统的Petri网建模研究被引量：6
- 2003年
- Agent作为一种新的软件开发范型,应用领域逐步扩大,但其潜在优势并没有在应用中完全展现,主要原因是缺少成熟实用的软件开发方法和工具。在软件工程领域Agent通常被认为是对象尤其是并发对象的进一步扩展,为了充分利用已有的面向对象方法和工具,首先提出了一种基于对象的混合Agent结构,然后从系统和个体两个层次上设计了体现多Agent系统行为特征的 Petri网模型,最后分析了多Agent系统仿真需要实现的关键算法。
- 郭峰姚淑珍
- 关键词：多AGENT系统PETRI网仿真
