License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.05081.6
URN: urn:nbn:de:0030-drops-3014
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2006/301/
Go to the corresponding Portal

Martins, Francisco ; Salvador, Liliana ; Vasconcelos, Vasco T. ; Lopes, Luís

MiKO---Mikado Koncurrent Objects

pdf-format:
05081.VasconcelosVasco.Paper.301.pdf (0.5 MB)

Abstract

The motivation for the Mikado migration model is to provide
programming constructs for controlling code mobility that are as
independent as possible from the particular programming language used
to program the code. The main idea is to regard a domain (or
site, or locality), where mobile code may enter or exit, as a
membrane enclosing running processes, and offering services
that have to be called for entering or exiting the domain.

MiKO---Mikado Koncurrent Objects is a particular instance of this
model, where the membrane is explicitly split in two parts: the
methods defining the interface, and a process part describing the data
for, and the behavior of, the interface.

The talk presents the syntax, operational semantics, and type system
of MiKO, together with an example. It concludes by briefly mentioning
the implementation of a language based on the calculus.

BibTeX - Entry

@InProceedings{martins_et_al:DagSemProc.05081.6,
  author =	{Martins, Francisco and Salvador, Liliana and Vasconcelos, Vasco T. and Lopes, Lu{\'\i}s},
  title =	{{MiKO---Mikado Koncurrent Objects}},
  booktitle =	{Foundations of Global Computing},
  pages =	{1--43},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5081},
  editor =	{Jos\'{e} Luiz Fiadeiro and Ugo Montanari and Martin Wirsing},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2006/301},
  URN =		{urn:nbn:de:0030-drops-3014},
  doi =		{10.4230/DagSemProc.05081.6},
  annote =	{Keywords: Global computing, code migration, administrative domains, process calculus}
}

Keywords: Global computing, code migration, administrative domains, process calculus
Collection: 05081 - Foundations of Global Computing
Issue Date: 2006
Date of publication: 31.01.2006

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI