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

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.

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

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.

Methodological Approaches to Development and Implementation of Multi-agents Investment DSS Using JADE Platform

In these latter days software agents are used for the development and implementation of intellectual decision support systems. In order to implement intelligence in a system some or several dozen of software agents are used and the made system becomes multi-agent. For the development of these systems a set of methodologies, i.e., the sequence of consequent steps of analysis, designing and implementation, is offered. The carried out analysis of the methodologies showed that as a rule they are limited by the spectrum of their pending problem （within the pales of the requirements of specific applied task, within the pales of the possibilities of technical implementation） or within the pales of amount of detail. The variety of methodologies is influenced by the fact that for the development of these systems the requirements and attitudes are offered by the specialists of related spheres such as software, numeral intellect engineers. In the course of the development of hardware and software appeared possibilities to implement mobile multi-agents systems, however, there is no one united mobile multi-agent systems design methodology, whereas existing systems are underdeveloped and their number is small. In this article we introduce the course of the designing of an intellectual real time multi-agent investment management decision support information system adapting and combining some methodologies where the choice to use either communicating or mobile agents is the question of rather technical implementation than methodological. In the article we introduce two ways of system implementation by JADE platform： the first one-using communicating agents, and the second one-using mobile agents.

Shopping System Model in Electronic Commerce

Despite its name, e-commerce is not fully automated. Typically, online transactions require a significant level of human intervention. Customers undertake the search for products, services, potential vendors and business partners. They evaluate alternatives, decide what goods to buy and when, from which vendor, and how much they are willing to pay for. They engage in potential negotiations, carry out the transactions and so on. As those markets become mature, new products and services, as well as new practices, are beginning to appear. There is already ample evidence that agent-based technology will be crucial for these developments, reflecting that both buyers and sellers being vigorously seek techniques to improve their performance. This work surveys several of these agents that help electronic commerce systems by describing their roles in the context of a Consumer Buying Behavior (CBB) model. The CBB model presented augments traditional marketing models with concepts from Software Agents research to accommodate electronic markets.

Applying the model driven generative domain engineering method to develop self-organizing architectural solutions for mobile robot

Model driven generative domain engineering (MDGDE) is a domain engineering method aiming to develop optimized, reusable architectures, components and aspects for application engineering. Agents are regarded in MDGDE as special objects having more autonomy, and taking more initiative. Design of the agent involves three levels of activities: logical analysis and design, physical analysis, physical design. This classification corresponds to domain analysis and design, application analysis, and application design. Agent is an important analysis and design tool for MDGDE because it facilitates development of complex distributed system—the mobile robot. According to MDGDE, we designed a distributed communication middleware and a set of event-driven agents, which enables the robot to initiate actions adaptively to the dynamical changes in the environment. This paper describes our approach as well as its motivations and our practice.

Multi-Agent Coordination System forTelecommunication Business Management

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 management.Telecommunication 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.