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 language | English |
|---|---|
| Title of host publication | Proceedings of the International Conference on Software Engineering Research and Practise |
| Editors | B. Al-Ani, H.R. Arabnia, Y. Mun, B. Al-Ani, H.R. Arabnia, Y. Mun |
| Pages | 119-125 |
| Number of pages | 7 |
| Volume | 1 |
| Publication status | Published - 2003 |
| Event | Proceedings of the International Conference on Software Engineering Research and Practise. SERP 2003 - Las Vegas, NV, United States Duration: Jun 23 2003 → Jun 26 2003 |
Other
| Other | Proceedings of the International Conference on Software Engineering Research and Practise. SERP 2003 |
|---|---|
| Country | United States |
| City | Las Vegas, NV |
| Period | 6/23/03 → 6/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)