A Runtime Transformation Method for Distributed Systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

This paper presents a formal model of runtime program transformation to optimize concurrent processes during executions for distributed systems. A model of distributed systems based on linear logic is presented. Each of sites in a distributed system that communicates with its environments is represented using a multiset of formulas with 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 folding transformation of process definitions for runtime program transformation.

Original languageEnglish
Title of host publicationProceedings of the International Conference on Software Engineering Research and Practise
EditorsB. Al-Ani, H.R. Arabnia, Y. Mun, B. Al-Ani, H.R. Arabnia, Y. Mun
Pages119-125
Number of pages7
Volume1
Publication statusPublished - 2003
EventProceedings of the International Conference on Software Engineering Research and Practise. SERP 2003 - Las Vegas, NV, United States
Duration: Jun 23 2003Jun 26 2003

Other

OtherProceedings of the International Conference on Software Engineering Research and Practise. SERP 2003
CountryUnited States
CityLas Vegas, NV
Period6/23/036/26/03

ASJC Scopus subject areas

  • Software

Cite this

Murakami, M. (2003). A Runtime Transformation Method for Distributed Systems. In B. Al-Ani, H. R. Arabnia, Y. Mun, B. Al-Ani, H. R. Arabnia, & Y. Mun (Eds.), Proceedings of the International Conference on Software Engineering Research and Practise (Vol. 1, pp. 119-125)

A Runtime Transformation Method for Distributed Systems. / Murakami, Masaki.

Proceedings of the International Conference on Software Engineering Research and Practise. ed. / B. Al-Ani; H.R. Arabnia; Y. Mun; B. Al-Ani; H.R. Arabnia; Y. Mun. Vol. 1 2003. p. 119-125.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Murakami, M 2003, A Runtime Transformation Method for Distributed Systems. in B Al-Ani, HR Arabnia, Y Mun, B Al-Ani, HR Arabnia & Y Mun (eds), Proceedings of the International Conference on Software Engineering Research and Practise. vol. 1, pp. 119-125, Proceedings of the International Conference on Software Engineering Research and Practise. SERP 2003, Las Vegas, NV, United States, 6/23/03.
Murakami M. A Runtime Transformation Method for Distributed Systems. In Al-Ani B, Arabnia HR, Mun Y, Al-Ani B, Arabnia HR, Mun Y, editors, Proceedings of the International Conference on Software Engineering Research and Practise. Vol. 1. 2003. p. 119-125
Murakami, Masaki. / A Runtime Transformation Method for Distributed Systems. Proceedings of the International Conference on Software Engineering Research and Practise. editor / B. Al-Ani ; H.R. Arabnia ; Y. Mun ; B. Al-Ani ; H.R. Arabnia ; Y. Mun. Vol. 1 2003. pp. 119-125
@inproceedings{75263d638aa140dab4f75b67a20919a3,
title = "A Runtime Transformation Method for Distributed Systems",
abstract = "This paper presents a formal model of runtime program transformation to optimize concurrent processes during executions for distributed systems. A model of distributed systems based on linear logic is presented. Each of sites in a distributed system that communicates with its environments is represented using a multiset of formulas with 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 folding transformation of process definitions for runtime program transformation.",
author = "Masaki Murakami",
year = "2003",
language = "English",
isbn = "193241519X",
volume = "1",
pages = "119--125",
editor = "B. Al-Ani and H.R. Arabnia and Y. Mun and B. Al-Ani and H.R. Arabnia and Y. Mun",
booktitle = "Proceedings of the International Conference on Software Engineering Research and Practise",

}

TY - GEN

T1 - A Runtime Transformation Method for Distributed Systems

AU - Murakami, Masaki

PY - 2003

Y1 - 2003

N2 - This paper presents a formal model of runtime program transformation to optimize concurrent processes during executions for distributed systems. A model of distributed systems based on linear logic is presented. Each of sites in a distributed system that communicates with its environments is represented using a multiset of formulas with 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 folding transformation of process definitions for runtime program transformation.

AB - This paper presents a formal model of runtime program transformation to optimize concurrent processes during executions for distributed systems. A model of distributed systems based on linear logic is presented. Each of sites in a distributed system that communicates with its environments is represented using a multiset of formulas with 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 folding transformation of process definitions for runtime program transformation.

UR - http://www.scopus.com/inward/record.url?scp=1642634635&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=1642634635&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:1642634635

SN - 193241519X

SN - 9781932415193

VL - 1

SP - 119

EP - 125

BT - Proceedings of the International Conference on Software Engineering Research and Practise

A2 - Al-Ani, B.

A2 - Arabnia, H.R.

A2 - Mun, Y.

A2 - Al-Ani, B.

A2 - Arabnia, H.R.

A2 - Mun, Y.

ER -