| 注册
首页|期刊导航|计算机工程与科学|一种面向主体的服务规则模拟验证方法

一种面向主体的服务规则模拟验证方法

李童 刘璘

计算机工程与科学2010,Vol.32Issue(5):67-73,7.
计算机工程与科学2010,Vol.32Issue(5):67-73,7.DOI:10.3969/j.issn.1007-130X.2010.05.019

一种面向主体的服务规则模拟验证方法

An Agent-Oriented Service Rules Validation Method

李童 1刘璘1

作者信息

  • 1. 清华大学软件学院,北京100084
  • 折叠

摘要

关键词

面向主体/服务模型/规则验证/多Agent系统/SRMO

分类

信息技术与安全科学

引用本文复制引用

李童,刘璘..一种面向主体的服务规则模拟验证方法[J].计算机工程与科学,2010,32(5):67-73,7.

基金项目

国家自然科学基金资助项目(60873064) (60873064)

国家863计划资助项目(2007AA01Z122) (2007AA01Z122)

计算机工程与科学

OA北大核心CSCDCSTPCD

1007-130X

访问量0
|
下载量0
段落导航相关论文