A model of runtime transformation for distributed systems based on directed acyclic graph model

  • Authors:

  • Masaki Murakami

  • Affiliations:

  • Department of Information and Communication Systems, Graduate School of Natural Science and Technology, Okayama University, 3-1-1, Tsushima-Naka, Okayama 700-0082, Japan

  • Venue:
  • Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Adaptable system/Software architectures
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents a formal model of runtime program transformation to optimize concurrent processes during executions based on a new representation of the scopes of names in distributed systems. We represent a site in a distributed system and the scopes of the local names in the site using a directed acyclic graph. It is possible to represent local names that their scope are not nested in a site in the model. Local names with overlapping scopes make possible to formalize folding transformation of process definitions for runtime program transformation. Computations in the system are represented with inferences on multisets of formulas of linear logic. We define rewriting system of directed acyclic graphs as the operational semantics of our model based on inference rules for linear logic. Each of the steps for runtime transformations are also represented using a rewriting for directed acyclic graphs.