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. SERP 2003
EditorsB. Al-Ani, H.R. Arabnia, Y. Mun, B. Al-Ani, H.R. Arabnia, Y. Mun
Pages119-125
Number of pages7
Publication statusPublished - Dec 1 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

Publication series

NameProceedings of the International Conference on Software Engineering Research and Practise
Volume1

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

  • Engineering(all)

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. SERP 2003 (pp. 119-125). (Proceedings of the International Conference on Software Engineering Research and Practise; Vol. 1).