期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

电子商务中多Agent系统形式化建模与分析 被引量：2

Formal Modeling and Analyzing Multi-agent Systems in Electronic Commerce
在线阅读 下载PDF
导出
摘要 多Agent系统(Multi-agent Systems,MAS)已在电子商务中得到了广泛应用。由于MAS是一个动态系统,现有的形式化方法不适合描述MAS的动态体系结构,而π演算适合描述具有动态结构的系统,以π演算为形式化基础对MAS进行建模与分析。通过构造一个电子商务系统的形式化模型,描述了π演算的建模和分析过程。π演算不但能描述Agent之间的交互,而且可以对系统的一些关键属性进行分析,如分析系统的死锁性等。
作者 黄谦 于振华
机构地区 西安交通大学管理学院 西安交通大学电子与信息工程学院
出处 《情报杂志》 CSSCI 北大核心 2006年第9期25-27,共3页 Journal of Intelligence
关键词 多AGENT系统 电子商务 动态 Π演算 建模
分类号 TP18 [自动化与计算机技术—控制理论与控制工程]
作者简介 黄谦,男,1972年生,博士研究生,研究方向为电子商务。 于振华,男,1977年生,博士研究生,研究方向为Agent系统的建模.
  • 相关文献

参考文献18

  • 1Zambonelli F,Omicini A.Challenges and Research Directions in Agent-Oriented Software Engineering.Autonomous Agents and Multi-Agent Sytems,2004;9(3)
  • 2Luck M,Mcburney P,Preist C.A Manifesto for Agent Technology:Towards Next Generation Computing.Autonomous Agents and Multi-Agent Sytems,2004;9(3)
  • 3Chavez A,Maes P.Kasbah:an Agent Marketplace for Buying and Selling Goods.Proceedings of the First International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology,London,UK,April 1996
  • 4Tsvetovatyy M,Gini M,Mobasher B,Wieckowski Z.MAGMA:an AgentBased Virtual Market for Electronic Commerce.Applied Artificial Intelligence,Special Issue on Intelligent Agents,1997;(6)
  • 5He X,Yu H,Shi T,Ding J,et al.Formally Analyzing Software Architectural Specifications Using SAM.Journal of Systems and Software,2004
  • 6Brazier F M T,Dunin-Keplicz B M,Jennings N R,Treur J.DESIRE:Modelling Multi-agent Systems in a Compositional Formal Framework.International Journal of Cooperative Information Systems,1997;6(1)
  • 7Luck M,d'Inverno M.A Formal Framework for Agency and Autonomy.In:Proc.First Int'l Conf.Multi-Agent Systems (ICMAS-95),1995
  • 8Fisher M,Wooldridge M.On the Formal Specification and Verification of Multi -Agent Systems.International Journal of Cooperative Information Systems,1997; 1(6)
  • 9Xu H,Shatz S M.A Framework for Model-Based Design of Agent-Oriented Software.IEEE Transactions on Software Engineering,2003;29(1)
  • 10Bresciani P,Perini A,etc.Tropos:an Agent-Oriented Software Development Methodology.Autonomous Agents and Multi-Agent Sytems,2004; 8(3)

二级参考文献10

  • 1[1]F Jacques. An Introduction to Multi-agent System. England: Addision Wesley Longman, 1999
  • 2[2]R J Nicholas. On agent-based software engineering. Artificial Intelligence, 2000, 117(2): 277～296
  • 3[3]M T F Frances et al. Compositional specification and reuse of a generic co-operative agent model. International Journal of Cooperative Information Systems, 2000, 9(3): 171～207
  • 4[4]J M Vidal. Inside an agent. Internet Computing, 2001, 5(1): 82～86
  • 5[5]N Medvidovic et al. A classification and comparison framework for software architecture description languages. IEEE Trans on Software Engineering, 2000, 26(1): 70～93
  • 6[6]N Medividovic et al. A type theory for software architectures. Department of Information and Computer Science, University of California, U S A, Tech Rep: UCI-ICS-98-14, 1998
  • 7[7]R N Taylor et al. A component and message-based architecture style for GUI software. IEEE Trans on Software Engineering, 1996, 22(6): 390～406
  • 8[8]B Liskov, J M Hand Wing. A behavioral notion of subtyping. ACM Trans on Programming Languages and Systems, 1994, 16(6): 1811～1841
  • 9马俊涛，博士学位论文，1999年
  • 10Jiao W，Proceedings of the 4th Workshop on Practical Reasoning and Rationality，1999年，21页

共引文献34

同被引文献45

引证文献2

情报杂志
2006年 第9期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部