论文部分内容阅读
提出了一种基于SOA的MAS设计方法。该方法使用Object—Z语言构建形式化建模框架，结合I^＊框架的元模型，阐述了基于SOA的MAS设计中三种核心模型（Agent组织模型、Agent类模型、Agent服务模型）的形式化描述规则，讨论了基于SOA的MAS的分析与设计过程，并给出了具体应用示例。