论文部分内容阅读
近年来,电子商务逐渐暴露出自动化程度低、安全性差、逃税漏税严重等诸多问题,将移动Agent技术应用到电子商务中,可以实现电子商务的智能化、建立良好的安全机制、并且可以对税收进行监控。然而现有的基于移动Agent的电子商务系统缺乏有效的建模方法对系统建模,从系统建模这个理论角度研究系统设计的问题,有助于保证系统的健壮性、可靠性和适用性。虽然国内外许多专家和学者在这方面进行了探索和研究,但结果不尽如人意。在分析了国内外现有的针对电子商务的建模方法基础之上,提出了将移动Agent的属性和行为添加到经典Petri网中的思路,由此给出了面向Agent的高级Petri网AOAPN(AOAPN: Agent-Oriented Advanced Petri Net)这个概念。AOAPN定义为七元组,由处所、事件、输入流关系、输出流关系、初始标识、Agent类型集和Agent行为集组成。将在处所之间漫游的Agent视为一个二元组<τ, b>:τ代表的是Agent的类型,b表示的是Agent所处的行为。改进了可覆盖性树,使之能更好的描述处所之间Agent的交互。进而在模拟的电子商务环境下采用AOAPN方法对电子商务交易过程四个阶段——信息搜索、谈判、购买和纳税建立相应的AOAPN网模型。建立的模型能够动态展示整个电子商务交易过程。然后对模型的性能进行分析和验证,验证结果是构建的每个模型都满足可达性、可覆盖性和L 3? live活性。最后,在分布式环境下设计和实现了电子商务原型系统Smart Market。电子商务系统Smart Market遵从模块化的设计原则——“高内聚,低耦合”,每个模块是一个运行在Tahiti平台上的ASP(ASP: Agent Service Provider)服务器。在实验室环境中,将提供不同服务的ASP服务器部署在不同计算机上,测试结果表明电子商务系统Smart Market能利用移动Agent完成信息搜索、购买和纳税任务。