【作者】 杨霄；

【导师】 甘早斌；

【作者基本信息】 华中科技大学 ， 计算机应用技术， 2009， 硕士

【摘要】 近年来,电子商务逐渐暴露出自动化程度低、安全性差、逃税漏税严重等诸多问题,将移动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完成信息搜索、购买和纳税任务。更多还原

【Abstract】 In recent years, with the development of e-commerce, many problems such as low degree of automation, poor security, serious tax evasion etc. are exposed to light, so the e-commerce environment will be smart, secure and the taxation will be supervised by the agents in the future through the application of the technology based on mobile agents in the e-commerce.The models can be used to study the problems of the design of systems in the eyes of the modeling theory, and thereby it is guaranteed that the system is robust, reliable and fit. However, there is a lack of modeling ways in the existing e-commerce systems. Although many experts and scholars have been engaged in the approaches and research in this field, the result is embarrassing.On the basis of the further research on the e-commerce modeling ways at home and abroad, an idea that the properties and behaviors of agents are incoperated into Petri Net is proposed and the concept of AOAPN is concluded. AOAPN is defined as a set of seven tuples including places, events, input flows, output flows, initial marking, agent typs and agent behaviors. The mobile agent roaming around during places is creatively denoted as a pair <τ, b>, whereτis the type of the agent and b is its behavior. The coverability tree is improved to depict the interaction of agents during ASPs better.What follows next, AOAPN is used to build models of the four stages—information search, negotiation, purchase and taxation in the e-commerce environment of simulation. The models can display the whole transaction process dynamically. Next, the performance of the models is analyzed, and the result shows that each model meets the requirements of reachability, coverability and L3-live.Ultimately, the e-commerce system called Smart Market is designed and implemented in the distributed environment. The Smart Market system is designed to comply with the principle of modularization—high cohesion and low coupling. Each module is an ASP server running on the Tahiti platform. In the environment of our laboratory, the ASPs providing different service are deployed on different personal computers, and the test result shows that the Smart Market system can accomplish the tasks of information search, purchase and taxation by mobile agents.更多还原