检索结果-南通市图书馆

Towards a Methodology for Formal Design and Analysis of agent Interaction Protocols ——An Investigation in Electronic Commerce

引用

Wuhan University Journal of Natural Sciences 2001年第Z1期6卷 126-139页

作者： Wei Jun 1,2 , Cheung Shing Chi 1, Wang Xu 1 1. Department of Computer Science, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong, China 2. Institute of software, Chinese Academy of Science, Beijing 100080, Ch Department of Computer Science Hong Kong University of Science and Technology Kowloon Hong Kong China Institute of software Chinese Academy of Science Beijing China

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.

关键词： agent UML interaction protocol software agent model checking formal specification electronic commerce protocol

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A Multi-agent Architecture in CORBA Environment for Distributed Measurement System

引用

High Technology Letters 2001年第3期7卷 55-59页

作者：罗小川 Harbin Institute of Technology Harbin 150001 China

The MACE - a Multi agent based distributed measurement architecture in CORBA environment used to develop intelligent distributed measurement system for remote control and monitoring of instruments over network such as Internet and Ethernet was proposed. The architecture is characterized by interoperability, collaboration and intelligence by means of CORBA and multi agent technologies. The architecture and exemplifies it by a common project was described.

关键词： Distributed measurement system CORBA Multi agent system software agent Distributed computing

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Multi-agent Coordination System forTelecommunication Business Management

引用

The Journal of China Universities of Posts and Telecommunications 1999年第2期6卷 28-32页

作者： XIAMan-min LIHua-cheng DepartmentofComputer BeijingUniversityofPostsandTelecommunicationsBeijing100876P.RChina Departmen

Telecommunication business management is an extremely complex task. The research of the Multi-agentsystem in the Distributed Artificial Intelligence provides a new implementation method for telecommunicationbusiness *** Business Management System (TBMS) is an applied system, which isbased on multi-agents. In this paper, the architecture of TBMS based on multi-agent is presented, and someemployed techniques are explained. To achieve the overall managemenl task agents are specified into severalcategories to accomplish subtasks. This Paper also shows the slructure and organization of the TBMS.

关键词： software agent niteroperation coordination telecommunication businessCIC number:##5TP 315

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

IFSCM:agent Based Supply Chain Management Integrative Framework

IFSCM:Agent Based Supply Chain Management Integrative Framew...

引用

2006年国际电子、工程及科学领域的分布式计算和应用学术研讨会

作者： Chengxiang Yuan,Hua Hu,Yun Xu College of Computer Science & Information Engineering,Zhejiang Gongshang University Hanghzou,Zhejiang 310035,China

Supply chain management(SCM),which needs the support of integrative information infrastructure,is critical to an *** this paper,an agent based integrative framework for SCM called IFSCM,is *** IFSCM, multi-agent system is treated as organizations,then six models are used to describe the organizations,at last,an agent engine is designed to coordinate the cooperation of agents by the using of the *** allows the quick integration of enterprise information infrastructure to effectively support the SCM business processes integration.

关键词： software agent supply chain management integrative framework

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

基于IP组播的多媒体会议系统的设计与实现

基于IP组播的多媒体会议系统的设计与实现

引用

作者：王钺清华大学

学位级别：硕士

本文设计并实现了一种分布式、松耦合的多媒体会议系统。该系统采用独特的数字—模拟混合组网技术,利用 IP 组播完成视音频数据流的分配和系统状态的监测,并借助代理机制实现了完全对等的分布式体系结构。实际使用表明,与传统的基于 H.3... 详细信息

本文设计并实现了一种分布式、松耦合的多媒体会议系统。该系统采用独特的数字—模拟混合组网技术,利用 IP 组播完成视音频数据流的分配和系统状态的监测,并借助代理机制实现了完全对等的分布式体系结构。实际使用表明,与传统的基于 H.323 协议的多媒体会议系统相比,这种系统具有更好的扩展能力和可维护性。

关键词：多媒体会议系统 IP组播 H.323 software agent

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一种基于agent的工作流系统的通讯机制

一种基于Agent的工作流系统的通讯机制

引用

2006年全国理论计算机科学学术年会

作者：李慰廖湘科孙仪国防科技大学计算机学院国防科技大学计算机学院总装科订部防化军代局

＜正＞业务过程的复杂性和分布性需要工作流系统能够动态集成跨企业的应用程序,但是目前的工作流系统还缺乏灵活的应用程序封装机制。最近,A- gent技术逐渐成为集成分布式系统业务功能的一种手段,软件agent可以看作是具有某种任务处理... 详细信息

＜正＞业务过程的复杂性和分布性需要工作流系统能够动态集成跨企业的应用程序,但是目前的工作流系统还缺乏灵活的应用程序封装机制。最近,A- gent技术逐渐成为集成分布式系统业务功能的一种手段,软件agent可以看作是具有某种任务处理能力的智能实体。以上两种技术的结合,能够发挥工作流系统对业务流程的控制能力和软件agent 自治性、移动性、智能性的特点。

关键词： Workflow software agent Communication framework

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

基于agent的分布式信息处理系统

基于Agent的分布式信息处理系统

引用

第十七届全国数据库学术会议

作者：陈庆超夏满民辽河油田勘察设计研究院

在大规模网络环境中,比如Internet或Intranet,它的分布式数据、分布式访问和分布式控制的处理特点,给了用户一个很有效的方法:从各种各样的资源中建造和集成大量的分布式信息。然而,目前很少有已经开发出的支持工具允许用户从这些信息... 详细信息

在大规模网络环境中,比如Internet或Intranet,它的分布式数据、分布式访问和分布式控制的处理特点,给了用户一个很有效的方法:从各种各样的资源中建造和集成大量的分布式信息。然而,目前很少有已经开发出的支持工具允许用户从这些信息的分布式特性中得到好处。近年来,基于软件agent的软件

关键词： software agent Distributed information manogement KQML

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：