期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
Agent系统软件体系结构形式化建模方法 被引量:3
1
作者 郑志 杨德礼 杨红 《计算机工程》 CAS CSCD 北大核心 2008年第10期35-37,共3页
基于Agent技术为复杂分布式问题提供了求解方法。软件体系结构是控制软件复杂性、提高软件系统质量、支持软件开发和复用的重要手段之一。软件体系结构设计可用于描述Agent与Agent之间的交互和组织结构的规划,因此Agent系统能从良好的... 基于Agent技术为复杂分布式问题提供了求解方法。软件体系结构是控制软件复杂性、提高软件系统质量、支持软件开发和复用的重要手段之一。软件体系结构设计可用于描述Agent与Agent之间的交互和组织结构的规划,因此Agent系统能从良好的体系结构设计中受益。该文整合了图表句法理论和层次谓词变迁网理论,提出一种形式化建模方法,从抽象层(架构)和实现层(动态行为)两方面来构建Agent系统的软件体系结构。模型具有可验证和追踪性,为Agent系统软件体系结构分析与评估提供了良好的基础。 展开更多
关键词 层次谓词变迁网 图表句法理论 软件体系结构 AGENT系统 形式化规约
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部