Search results

This paper provides the specification of a platform for the management of mobile agents, and describes, using Mobile Unified Modeling Language (M‐UML), a mobile game application that uses the specified mobile platform. The specified platform considers the architectural guidelines described by the Foundation for Intelligent Physical Agents that allows the interoperability between agents running on different agent platforms. Our platform specifications provide the application developer with an application programming interface (API) that allows the launching of mobile agents with two optional features, security and fault‐tolerance. Using the platform’s APIs, new mobile games can then be efficiently developed and deployed on the Internet.

The rapidly emerging of Mobile Internet and the constantly increasing of wireless subscribers' number bring new opportunities and challenges to geographic information sharing and accessing. Current Web GISs, which are accessed by using connection based approaches, are very inefficient in fulfilling the requirements of GIS applications under open, dynamic, heterogeneous and distributed computing environments such as (Mobile) Internet. In this paper, we propose a new system for accessing and sharing distributed geographic information by using mobile agent and GML technologies, in which mobile agents are used to overcome the limitations of traditional distributed computing paradigms in (mobile) Internet context and GML is adopted as the common format for spatial information wrapping and mediation, while SVG is used as a web‐map publishing format that can be processed and displayed in Web browser. A prototype is implemented, which demonstrates the effectiveness and feasibility of the proposed method.

A general framework for mobile Web services ‐ which are Web services with the ability to migrate from one host to another ‐ is proposed. In this framework, a mobile Web service is composed of a combination of a BPEL process description, service components to be carried, and migration behavior descriptions using simple but expressive rules. The semantics of the descriptions are defined using Mobile Ambients, namely, a formal model of concurrent mobile processes. With this framework, it is thus possible to add or change migration behaviors without having to modify the BPEL process.

Mobile agent, as a new mobile computing technology, has been applied to various parallel and distributed computing problem solutions. Several mobile agent systems have been built to drive the agents following a platform dependant scheme, and some formal approaches have been proposed to describe mobile agents’ behaviors or properties for respective purposes. However, there remains a lack of a standard approach to describing a mobile agent algorithm and its semantics from the viewpoint of a practical program, which makes it difficult to specify an algorithm unambiguously and verify its correctness formally. This paper proposes a practical approach to overcome that difficulty by defining a script language and associated mechanisms to specify and verify mobile agent algorithms. The language, called SMAL, can describe mobile agent’s behaviors clearly due to its explicitly defined semantics. Based on the semantics, a transformation function for converting the specified algorithm to its equivalent specification in Mobile UNITY, a well‐known mobile computation formal approach for correctness verification, is presented. Formal verification of the algorithms can be accomplished based on the UNITY‐logic rules.

The increasing need to access and elaborate dynamic and heterogeneous information sources distributed over the Internet calls for new models and paradigms for application design and development. The mobile agent paradigm promotes the design of applications where agents roam through Internet sites to locally access and elaborate information and resources, possibly co‐operating with each other. Focuses on mobile agent co‐ordination, and presents the TuCSoN co‐ordination model for Internet applications based on mobile information agents. TuCSoN exploits a notion of local tuple‐based interaction space, called a tuple centre. A tuple centre is a tuple space enhanced with the capability of programming its behaviour in response to communication events. This enables properties to be embedded into the interaction space, and a mobile agent to be designed independently of the peculiarities of the information sources. Several issues critical to Internet applications can then be charged on tuple centres transparently to agents. The effectiveness of the TuCSoN model is first shown by means of an application example in the area of Internet information retrieval, then discussed in the context of workflow management and electronic commerce.

Reverse engineering methodology paves an efficient way for simulating and manufacturing existing objects with complex shapes, and a range of applications also has shown this approach to be feasible and efficient. However, in many applications, a lot of sub‐tasks in reverse engineering are usually not done in the same place, they need to be done cooperatively over the Internet or Intranet. So, this paper is concerned with developing a novel e‐service platform for remote service in reverse engineering applications based on mobile agent technology, and some correlative enabling technologies such as data compression, security considerations, agent models and so on. The framework was programmed using the Java Sevlets and Java Beans component models, and data transferring and processing were implemented based on the dispatch/retract mechanisms of mobile agents. The mobile agent is developed with IBM's Aglets Workbench, and the feasibility of the proposed method has been verified by a case.

To view virtual universities as an extension of real universities and of distant learning Institutes, new concepts in the area of distributed systems and virtual universities are needed. Mobile agents satisfy many requirements of such a highly dynamic system. Originally, mobile agents were used as a workflow system for a virtual university. These autonomous entities must next generate dynamic workflows. Examining the behaviour of ants in different situations, some conclusions regarding the use of mobile agents can be drawn. This paper presents the new ideas of a joint research project and gives an overview of the problems that confront us.

The aim of the research is to discuss the design and development of a mobile application using two technologies known as software agent (SA) and mobile web services.

The objectives were achieved by testing the integration of SAs and mobile web services into mobile applications. The approach suggested in the paper has relied on some modeling techniques such as service chart diagram and addressed some security issues.

It was found in the course of the work the necessity of being aware of the limitations of mobile devices, despite all the major developments that are happening. In addition, it was found that it is deemed appropriate to provide some modeling techniques which suit the development of mobile applications.

The paper discusses the concept of mobile web services. The paper is particularly useful to those who are in the field of mobile computing.

Mobile agent‐based e‐marketplaces are business applications that have been developed as flexible and efficient approaches to help companies or corporations to extend their businesses to outreach larger markets without regional and continental boundaries. Every distributed system is unable to avoid security problems due to the open internet environment. Mobile agent‐based e‐marketplaces are no exceptions. The purpose of this paper is to design and implement a framework and system of a secure and trustworthy mobile agent‐based e‐marketplace to overcome this problem.

The authors present an analysis and evaluation of a secure and trustworthy mobile agent‐based e‐marketplace, which was specified and prototyped. The experimental results of the implemented system are used to address the evaluation of the system. The discussion of the solution is also presented.

The evaluation and performance results show that the proposed framework and system have the ability to provide a secure and efficient e‐marketplace environment for trading products. The authors draw conclusions and highlight future work on this specific research area.

The performance and scalability are the two most important issues for mobile‐agent based systems together with their feasibility. The evaluation and performance results are used to reflect the results of the research in its entirety.

Mobile agent‐based e‐marketplace is one type of business application that has been developed as a flexible and efficient approach to help companies or corporations to extend their businesses to outreach larger markets without regional and continental boundaries. However, every distributed system is unable to avoid the security problems due to the open internet environment. Mobile agent‐based e‐marketplaces are no exception. Thus, the security of mobile agents is a crucial factor in the design of mobile agent‐based e‐marketplaces. To overcome this kind of problem, the purpose of this paper is to design and implement a framework and system of secure and trustworthy mobile agent based e‐marketplace.

This paper presents the system design for the system implementation based on the designed framework. It includes three major aspects: the design issues, system design and development environment and tools for system implementation. The system architecture, use case diagram and use case specifications are presented in the system design section.

The system design is an essential step that is required before a prototype system is implemented. The system is designed based on the described and outlined requirements and evaluation criteria, therefore, to support a secure and trustworthy trading environment. The paper is concluded by discussing and highlighting further research work.

This paper presents the system design for implementing a secure and trustworthy mobile agent‐based e‐marketplace system by using the latest version of UML modeling tool and techniques.