摘要：统一建模型语言(UML)已经成为软件系统的分析与设计的标准工具,但由它扩充而成的代理统一建模型语言(AUML)还没变成一个标准,目前的AUML规格说明还有很多的局限性,还不能胜任多代理系统的开发.Petri网是仿真、验证软件系统执行的正确性与有效性的形式化工具.本文主要分析当前AUML规格说明和Petri网概念,找出它们之间的结合点,提出用Petri网扩充AUML的方法.将其应用于多代理系统的开发,就能实施之前运用Petri网进行系统的正确性与有效性验证.

摘要：在网上电子市场要对电子谈判提供有效支持是非常重要的需求,然而目前对电子谈判媒体设计的研究很少。本文构建了电子谈判媒体进行设计与实施模型。在此模型下,能够在概念级上对谈判方案进行设计,能对电子谈判的过程和特性进行形式化描述,确保各谈判伙伴对谈判相关的问题作相同的理解;能够对谈判方案的设计与选择提供足够的支持,能将可重用的谈判支持组件与具体的设计结合在一起。

摘要：1引言在介绍如何将SDL与UML结合在一起使用之前,让我们先来回顾一下UML和SDL各自的适应范围.它们性能上的差异在于它们在工程应用中的不同的阶段.UML的非形式化的自然特性使其成为一种性能优越的建模语言,它应用完全的面向对象的分析(OOA)方法.然而对于实施,UML却不能胜任,通常要用传统的程序设计语言如C++/Java来完成,而SDL的形式化定义使得它取代传统的程序设计语言有了可能.

摘要：本文提供了一个通信管理与文档管理相结合的全新架构,能对谈判的各方面提供有效的支持。虽然模型主要强调对谈判的有效“支持”,但这个谈判的概念模型为设计自动或半自动电子谈判系统提供了思想基础。

摘要：工业、科学、商务等领域的数据通常分布在不同的地方,需要在不同的地点对其进行分布式维护,只有使用计算功能超强的分布式、并行处理系统才能分析这些领域所产生的超大规模数据集。网格为分布式知识发现应用中的计算提供了有效支持。为了在网格上进行数据挖掘的开发,本文提供了一个称之为知识网格的系统,讨论如何应用知识网格设计实施数据挖掘应用,并说明如何搜索网格资源、编制软件和数据组件,以及数据挖掘应用在网格上的执行过程。

摘要：统一建模型语言(UML)已经成为软件系统的分析与设计的标准工具,但由它扩充而成的代理统一建模型语言(AUML)还没变成一个标准,目前的AUML规格说明还有很多的局限性,还不能胜任多代理系统的开发.Petri网是仿真、验证软件系统执行的正确性与有效性的形式化工具.本文主要分析当前AUML规格说明和Petri网概念,找出它们之间的结合点,提出用Petri网扩充AUML的方法.将其应用于多代理系统的开发,就能实施之前运用Petri网进行系统的正确性与有效性验证.

摘要：研究了Petri网中子网的外部环境、子网的接口、子网的边界等问题,给出了相关的定义;通过分析不同子网的特点,将子网分为T子网、P子网、TP子网和PT子网等不同类型;提出了接口标准化和子网规范化的思想。研究成果有助于基于子网的结构化设计方法的研究和推广。