Beta 1


Title Modelling code mobility
Author Bruun, Karin Wrang
Supervisor Løvengreen, Hans Henrik (Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Institution Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
Thesis level Master's thesis
Year 2003
Abstract Many of today's distributed systems rely on the movement of data, code, or even processes between the parts of the system. Among the technologies that support these forms of mobility are Java and several agent technologies. This thesis will describe the construction of a new modelling language, the Mobility Language, which can be used to model systems with mobility and particularly all the mobility mechanisms used in Java. The work will also involve identification of a set of requirements, which should be fulfilled by any language that should be able to model all aspects of mobile code systems. The distributed join-calculus is taken as the basis of the new language and it is modified and extended in order to allow code reuse and modelling of different mobility mechanisms. As part of this, the concepts of by-type bindings and component instances are introduced in the language. The semantics of the language will be described in terms of a chemical abstract machine.
Imprint Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU : DK-2800 Kgs. Lyngby, Denmark
Keywords Modelling languages; Formal semantics; Code mobility; Mobile agent technologies; Java; Chemical abstract machine (CHAM).
Fulltext
Derived PDF imm2393.pdf (0.82 MB)
Original Postscript imm2393.ps (1.91 MB)
Admin Creation date: 2006-06-22    Update date: 2012-12-20    Source: dtu    ID: 58602    Original MXD