Impact of Mobility on Information Systems and Information System Design

The subject of this thesis is to analyse the impact of mobile hardware and software on information systems, to survey existing approaches for specifying mobile systems of computer science in general, and to provide suitable means for the formal design of information systems comprising such mobile units in particular. We consider a mobile unit to denote a mobile hardware or software entity, and a mobile system as a system comprising or being accessed by such mobile components. The various forms of mobile units occurring in computer science are explained and a taxonomy for them is developed, followed by a detailed discussion of their effects on computer and information systems. Several approaches for specifying mobile systems are presented and classified, with a particular emphasis on formal methods. As it turns out, these approaches do not allow to describe the set-up and release of communication links or to distinguish between the ever-mobile units of a compound system and those which provide the fixed subsystem as the context for the mobile entities, which are both important aspects to consider when developing information systems with mobile components. Therefore, corresponding constructs are then presented as an extension to the specification language Troll and its theoretical foundations, i.e. extended data signatures and the Module Distributed Temporal Logic Mdtl, both being interpreted over event structures. Finally, the application of the constructs is illustrated with the development of a system for accessing web services from mobile phones, which complements the ongoing example of information retrieval via mobile agents used to explain the constructs and concepts.Thema dieser Arbeit ist die Analyse der Auswirkungen von mobiler Hard- und Software auf Informationssysteme, die Untersuchung vorhandener Ansätze zur Spezifikation mobiler Systeme in der Informatik allgemein und für den formalen Entwurf von Informationssystemen mit mobilen Einheiten insbesondere. "Mobile Einheit" wird dabei als Oberbegriff für mobile Hardware- und Softwarekomponenten verwendet, und ein "mobiles System" ist ein System, das solche mobilen Komponenten beinhaltet oder auf das durch diese zugegriffen wird. Wir beschreiben die verschiedenen Formen, in denen mobile Einheiten in der Informatik auftreten, und entwickeln eine entsprechende Taxonomie, bevor wir deren Auswirkungen auf Computer- und Informationssysteme ausführlich diskutieren. Verschiedene Ansätze zur Spezifikation mobiler Systeme werden vorgestellt und eingeordnet, wobei das Augenmerk speziell auf formalen Methoden liegt. Es stellt sich heraus, dass es keiner dieser Ansätze ermöglicht, den Auf- und Abbau von Kommunikationsverbindungen zu beschreiben und zwischen den stets mobilen Einheiten und denjenigen zu unterscheiden, die das feste Teilsystem als Kontext für sie bilden. Beides sind aber wesentliche Aspekte, die in der Entwicklung von Informationssystemen mit mobilen Bestandteilen zu berücksichtigen sind. Daher stellen wir dann entsprechende Sprachkonstrukte als Erweiterung der Spezifikationssprache Troll inklusive der formalen Grundlagen vor. Diese Grundlagen beruhen auf erweiterten Datensignaturen und einer modularen verteilten temporalen Logik Mdtl, die beide über Ereignisstrukturen interpretiert werden. Schließlich wird die Verwendbarkeit der Sprachkonstrukte in der Entwicklung eines Systems zur Nutzung von Web-Diensten von Mobiltelefonen aus illustriert

Multi-agent based architecture for digital libraries

Digital Libraries (DL) generally contain a collection of independently maintained data sets, in different formats, which may be queried by geographically dispersed users. The general problem of managing such large digital data archives is particularly challenging when the system must cope with data which is processed on demand. This dissertation proposes a Multi-Agent System (MAS) architecture for the utilisation of an active DL that provides computing services in addition to data-retrieval services, so that users can initiate computing jobs on remote supercomputers for processing, mining, and filtering of the data in the library. The system architecture is based on a collaborative set of agents, where each agent undertakes a pre-defined role, and is responsible for offering a particular type of service. The integration of services is based on a user defined query which can range in complexity from simple queries, to specialised algorithms which are transmitted to image processing archives as mobile agents. The proposed architecture enables new information sources and services to be integrated into the system dynamically, supports autonomous and dynamic on-demand data processing based on collaboration between agents, capable of handling a large number of concurrent users. Focus is based on the management of mobile agents which roam through the servers that constitute the DL to serve user queries. A new load balancing scheme is proposed for managing agent load among the available servers, based on the system state information and predictions about lifetime of agent tasks and server status. The system architecture is further extended by defining a gateway to provide interoperability with other heterogeneous agent-based systems. Interoperability in this sense enables agents from different types of platforms to communicate between themselves and use services provided by other systems. The novelty of the proposed gateway approach lies in the ability to adapt an existing legacy system for use with the agent-based approach (and one that adheres to FIPA standards). A prototype has been developed as a proof-of-concept to outline the principles and ideas involved, with reference to the Synthetic Aperture Radar Atlas (SARA) DL composed of multi-spectral remote-sensing imagery of the Earth. Although, the work presented in this dissertation has been evaluated in the context of SARA DL, the proposed techniques suggest useful guidelines that may be employed by other active archival systems