Towards a methodology for formal design and analysis of agent interaction protocols

Various extensions of UML have been developed to meet the challenges of designing modern software systems, such as agent-based electronic commerce applications. Recent advances in model checking technology have led it to be introduced into the development of approaches and tools to check the correctness of electronic commerce protocols. This paper focuses on the research of a method that connects an extension of AUML to model checker-SPIN/Promela for the specification and verification of agent interaction protocols (AIP) in electronic commerce. The method presented here allows us to combine the benefits of visual specification with the power of some static analysis and model checking. Some algorithms and rules are developed to permit all visual modeling constructs translated mechanically into some Promela models of AIP, as supported by the model checker-SPIN. Moreover, a process is illustrated to guide the specification and verification of AIP. The method is demonstrated thoroughly using the e-commerce protocol-NetBill as an example.     

多目标Nash协商对策理论及应用

对于具有非结盟合作对策特征的多人多目标决策问题，本文首先讨论了 Ｎａｓｈ协商对策理论的推广结果——多目标Ｎａｓｈ 协商对策理论．它是基于多属性效用理论与对策论的有机结合．在模型中引入了多目标的描述．它的解除了保持原 Ｎａｓｈ协商对策解的所有性质之外．还具有多目标决策非劣解意义下的合理性．建立了城乡经济协调发展投资决策分析的多目标Ｎａｓｈ 协商对策模型和相应的人机交互式决策分析系统．通过人机交互介面，决策者设定有关情景和参数．系统自动识别，同时生成相应协商对策模型并求解，这种交互过程可一直进行到决策者满意为止．     

PKI在电子商务中的应用

针对电子商务中的安全问题，分析了如何运用PKI对数据进行加密／签名的方法，并提出了一个安全的电子交易模型，为解决电了商务中的机密性、完整性与不可否认性问题提供了理论依据和实现方法。     

电子商务信用缺失的博弈分析

从信息不对称的角度建立电子商务信用行为的博弈模型,分析了目前我国电子商务信用缺失的原因,并提出了现时期改善我国电子商务信用问题的一些途径。电子商务信用缺失的主要原因有两点:一是没有形成完善的信用奖惩机制;二是在我国信息传递的难度相当大,电子商务获取信用信息的成本高昂。解决我国电子商务信用问题,首先应当加快我国信用市场体系的建设,建立电子商务信用的相关法律和地方法规;进一步完善现代电子商务制度,建立电子商务信用管理机制;建立信用信息系统,完善市场交易的信息沟通网络。     

贵州中小企业电子商务发展的SWOT分析与对策

进入21世纪以来，一方面随着互联网在全球迅速普及，全球电子商务规模急剧扩大，电子商务成为国际贸易的集中表现。数字化时代的到来，为欠发达国家和地区的中小企业带来了参与全球竞争的机会；另一方面随着我国加入世界贸易组织，卖方经济向买方经济的转变，市场竞争目益加剧。我国各级政府非常重视中小企业和电子商务的发展，已逐渐推出了各种有利于中小企业和电子商务健康发展的政策法规。虽然外部环境在逐渐改善，但阻碍其电子商务发展的因素也随之在变化。对于在国民经济中发挥着重要作用的贵州省广大中小企业来说，应当如何利用电子商务提供的良好契机，选择适合的电子商务发展模式及对策，应对来自国内外的严峻挑战并求得生存并发展壮大，是贵州省中小企业现在必须仔细考虑并加以尽快解决的重大问题。     

基于MVC模式的电子商务模拟系统的设计

介绍了基于Java语言和Struts框架的电子商务模拟运作系统。整个系统分为网站建设,询盘、发盘、还盘与接受,订立电子合同,审证与改证,报检单与报关单等11个子系统,实现了电子商务活动的网络模拟。本文从系统简介、系统应用框架、系统各项功能的实现、数据库设计来进行阐述。     

电子商务环境下税收征管的博弈分析

经济全球化和信息网络化影响着所有国家的经济和社会变革,电子商务和电子贸易使传统税制面临一系列的难题,并对各国税收制度产生越来越重要的影响;针对电子贸易出现的新税收难题不采取相应措施,必将威胁现有的税收体系,进而对国家财政收入和宏观经济政策产生负面的影响;该文从博弈论的角度出发,在政府与企业围绕税收形成的委托代理模型框架内,提出由政府对企业进行激励,以解决这一难题。     

基于合作博弈的时鲜产品网络零售运营策略研究

现代电子商务与物流使得消费异地时鲜产品非常便利,该文基于广义Nash讨价还价的合作博弈理论研究了时鲜产品的网络零售运营策略,包括在网络电商平台销售和平台自营模式下时鲜产品的定价订货与企业绩效等问题.研究结果表明:时鲜产品的批发价和零售价都随时鲜产品新鲜度的增加而增加,但批发价独立于电商平台的佣金比例,而零售价却随佣金比...     

基于ILOWGA算子的B2C电子商务顾客满意度评价方法

针对B2C电子商务顾客满意度评价的不确定性和模糊性等特点,构建了基于诱导的语言顺序加权几何平均(ILOWGA)算子的电子商务顾客满意度评价模型.建立了B2C模式下电子商务企业顾客满意度评价指标体系,根据指标体系设计模型对输入参数是语言变量的决策信息进行集结,得出电子商务顾客满意度的评价值.理论分析和实例对比表明,该方法能更好地反映电子商务顾客满意度评价的客观性.     

中立交易平台型B2B电子商务网络定价模型研究

对于中立交易平台型B2B电子商务网络定价模型的研究，能为网络企业的定价提供理论的指导与实践的参考．分两阶段讨论了中立交易平台型B2B电子商务网络的定价模型，重点分析了影响B2B电子商务网络最优定价水平的三类因素：网络外部性、网络收益和切换成本．研究表明，有的因素对B2B电子商务网络的最优定价水平有正面影响，有的因素对B2B电子商务网络的最优定价水平有负面影响，而多数因素对B2B电子商务网络的最优定价水平的影响取决于买方与卖方正的网络外部性强度的比较．     

中国旅游电子商务的SWOT分析及战略选择

电子商务已成为当今社会经济发展的新的增长点.而电子商务与旅游业相结合的旅游电子商务,将给我国旅游业的发展带来新的契机.在对我国旅游电子商务进行SWOT分析的基础上,提出我国旅游电子商务发展的战略选择.     

概率树在电子商务交易诚信博弈分析中的应用

随着电子商务在我国的蓬勃发展,诚信问题变得越来越重要。立法可以解决安全问题,但电子商务的信用问题却依然存在。如何更好的让消费者了解网络购物存在的威胁,让消费者在购物过程中理智的选择商家,以及如何让双方都能在购物中受益。我们运用博弈和概率树建立模型来解答这些问题。     

路面使用性能可拓评价方法

基于可拓学理论,建立了路面使用性能可拓评价的物元模型.该模型通过可拓集合理论及关联函数,可以精确确定待评价的路面关于各路面使用性能状态的关联度,从而能够全面精确地评价其路面使用性能状态,为道路养护维修决策提供科学、可靠的依据.     

浅谈电子商务的现状与发展

随着计算机技术、网络技术和电子通讯技术的迅猛发展，电子商务这种全新的商业形式正在全球范围内蓬勃发展起来。电子商务将对国民经济信息化产生巨大影响，促进国民经济的飞速发展。对电子商务概念的内涵与外延做出清晰的界定。     

移动电子商务安全支付的实现

文中首先介绍了移动电子商务的发展情况与移动电子商务的基本实现技术;其次对当前电子商务中网络支付的安全威胁进行了分析;然后以公共密钥体制为基础,针对移动通信的特点,从具体工程应用的角度出发,通过理论和实际相结合,并总结和吸收前人工作的成功经验,实现了一个能与最新WAP规范WPKI无缝结合的、能适应于移动电子商务的安全支付平台。     

带第三方支付平台的网上购物系统的CCS描述

随着互联网技术的发展和应用领域的扩大,电子商务得以蓬勃发展,在电子商务协议中,受信任的第三方担负着越来越重要的角色.当然,在电子商务中安全性问题也受到人们的广泛关注.文章用CCS对带第三方支付平台的电子交易系统进行了描述,并用模型检测的方法对安全性进行了阐述和验证.     

高职院校校园电子商务应用研究——以阜阳职业技术学院为例

电子商务是21世纪最重要的产业,电子商务在世界各国都在飞速发展,而作为电子商务的一个领域校园电子商务在发展上却远远不足.高职院校是担负着培养社会急需人才的重要任务,校园电子商务又可为其培养电子商务人才提供实验实训.高职院校开展校园电子商务刻不容缓.以阜阳职业技术学院为例,对高职院校开展校园电子商务的必要性、可行性等进行深入分析,探讨了在经济区域较为落后,学校资金、规模等条件有限等情况下,如何把校园电子商务开展起来,充分利用校园电子商务优势,为学校师生员工服务.     

《电子商务》课程和教学改革初步探讨

电子商务自90年代以来在世界各地得到了迅猛的发展。它正以惊人的速度给众多领域带来了深刻的社会变革,不断改变着我们的生产方式、生活方式和思维方式。与此同时,电子商务也带来了课程和教学的巨大变革。抓住这个机遇,按照市场需求培养应用型人才,是应用性大学寻求改变传统教学的出路所在。为此,我们以电子商务(电信专业)为例,对所设置专业课程和教学进行初步探讨,以期望调整课程设置、改进教学方法和培养社会需要的人才。在教学过程中,正确处理和使用互联网将会对教学产生积极的影响。     

我国电子商务税收问题

电子商务的迅猛发展对现有的许多微观经济基础产生了强大冲击 ,因而在很大程度上影响着各国的税收。目前 ,许多国家和国际组织都先后发布了各自的税收政策。作为发展中国家的中国 ,如何保证电子商务与国家税收互促互动是必须考虑的问题。文章从电子商务对税收所带来的冲击入手 ,在分析现有各国政府典型税收政策的基础上 ,探讨了我国电子商务的征税原则 ,提出了解决我国电子商务税收的措施     

基于可拓学的商品筛选及相似度计算方法

针对在海量信息中进行商品筛选的问题,基于可拓学的基元理论、可拓变换、物元相关性等方法,提出一种基于可拓学的商品筛选方法;并对物元的相关性进行分析,给出商品的相似度计算方法.以服装筛选为例验证了该方法的有效性.