电子商务中谈判及其相关技术的研究计算机软件与理论专业论文.docxVIP

复旦大学计算机软件专业博士论文摘 复旦大学计算机软件专业博士论文 摘 要 随着电子商务的发展，电子谈判是电子商务必须的部分。本文针对目前电子谈 判系统中急需解决的技术问题进行了深入的研究，提供了一些新的解决思路和有效 的开发方法。 本文首先提供了一个通信管理与文档管理相结合的全新架构，能对谈判的各方 面提供有效的支持。虽然模型主要强调还是对谈判的有效“支持”，但这个谈判的概 念模型为设计自动或半自动电子谈判系统提供了的思想基础。 谈判的目标就是要根据合同进行合作，实现电子合作也非常重要的。然而在电 子商务系统这样一个开放式网络中，任何一个伙伴没有能力去控制其他伙伴的行为。 但可以事先详细说明条件，签订合同，借助于法律的威严，还是能够反对远方合作 伙伴那些与合同不一致的行为，以保护自己的利益。本文用形式语言与自动机理论 对电子合同及其目标、责任、约束以及不可抵赖性证据进行形式化定义。使责任和 证据相互配合，迫使达到商业目标。为自动电子谈判与合作的设计与实施建立了理 论基础。 本文以通信为基础，引入本体的概念。提供了一个全新电子谈判媒体的设计与 实施方法。电子谈判媒体的设计．通信设计是关键．通信设计的目标是要为电子谈 判媒体的逻辑空间定义电子谈判方案模型。实践证明，使用本文所提供的方法能够 有效解决电子谈判的本体问题；在运行时，XML Schema能够有效表达和验证所做 的通信设计。 智能代理技术是实现自动谈判的有效途径，本文提供灵活有效的谈判代理开发 方法，使用状态图和可废止逻辑规则说明谈判策略，动态地插入到一个集状态解释 器和可废止逻辑推理引擎于一体的代理壳中，就可以获得所需要的自动谈判代理。 由于状态图和可废止逻辑有很强的适应性，当应用环境发生变化时，只需要调整标 准和规则的集合。 关键词：电子谈判；电子合同；形式化模型；谈判代理 复旦大学计算机软件专业博士论文ABSTRACT 复旦大学计算机软件专业博士论文 ABSTRACT With the blossoming of electronic oommcrⅨ：(Ec)，electronic negotiation is an essential component of EC．Some new ideas and effective methods of development are presented by exploring the problems，which is required tO solve urgently in the electronic negotiations． At the beginning of this paper,it has provided a novel framework to support more efficiently for all aspect for electronic negotiation by combining communication and document management．AlthouIgh the approach still emphasizes primadly effective “support”of negotiation，this conceptual model has prepared the thought foundation for designing automatic or semi-automatic electronic negotiation systems． The target of a negotiation is to perform a cooperation between business partners according to the contract，therefore teleooopemtion is also very importance in EC．In an open electronic comHIcrce system,one business partner have cannot control of the correct behavior of the other partners．However，with the preconditions elaboratedI the contract signed，and the law，one can be protected against a behavior of remote cooperation partners，which is not in conformity with the contract．The paper formally defines t