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
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 proceeding › Conference contribution
}
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 -