Formal Description of a Runtime Infrastructure for Automatic Distribution of Programs

  • Omid Bushehrian
  • Saeed Parsa
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4263)


Automatic distribution of sequential code is of great concern in applying networks of low cost computers to run computationally intensive code. A major difficulty is to prove that the final distributed code is equivalent with the original sequential code. To achieve this, a formal specification of structure and behavior of the distributed and a formal proof of the equivalence of the operational semantics of the sequential with the final distributed code is presented. To support platform and distributing middleware independence a new architecture is presented.


Memory Space Formal Description Reference Parameter Remote Method Remote Method Invocation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Parsa, S., Khalilpoor, V.: Automatic Distribution of Sequential Code Using JavaSymphony Middleware. In: Wiedermann, J., Tel, G., Pokorný, J., Bieliková, M., Štuller, J. (eds.) SOFSEM 2006. LNCS, vol. 3831, pp. 440–450. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  2. 2.
    Parsa, S., Bushehrian, O.: Automatic Translation of Serial to Distributed Code Using CORBA Event Channels. In: Yolum, p., Güngör, T., Gürgen, F., Özturan, C. (eds.) ISCIS 2005. LNCS, vol. 3733, pp. 152–161. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  3. 3.
    Diaconescu, R.E., Wang, L., Franz, M.: Automatic Distribution of Java ByteCode Based on Dependence Analysis, Technical Report No. 03-18, School of Information and Computer Science, University of California, Irvine (October 2003)Google Scholar
  4. 4.
    Diaconescu, R., Wang, L., Mouri, Z., Chu, M.: A Compiler and Runtime Infrastructure for Automatic Program Distribution. In: 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), IEEE, Los Alamitos (2005)Google Scholar
  5. 5.
    Attali, I., Caromel, D., Guider, R.: A Step Toward Automatic Distribution of Java Programs. In: 4th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), Stanford, California, USA (2000)Google Scholar
  6. 6.
    Mohammad, M., Fuad, M.J.: Oudshoorn: AdJava-Automatic Distribution of Java Applications. In: 25th Australasian Computer Science Conference (ACSC 2002), Monash University, Melbourne (2002)Google Scholar
  7. 7.
    Felber, P.A.: Semi-automatic parallelization of java applications. In: Meersman, R., Tari, Z., Schmidt, D.C. (eds.) CoopIS 2003, DOA 2003, and ODBASE 2003. LNCS, vol. 2888, pp. 1369–1383. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  8. 8.
    Tatsubori, M., Sasaki, T., Chiba, S., Itano, K.: A Bytecode Translator for Distributed Execution of Legacy Java Software. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 236–255. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  9. 9.
    Spiegel, A.: Pangaea: An Automatic Distribution Front-End for Java. In: 4th IEEE Workshop on High-Level Parallel Programming Models and SupportiveEnvironments (HIPS 1999), April 1999, San Juan, Puerto Rico (1999)Google Scholar
  10. 10.
    Parsa, S., Bushehrian, O.: The Design and Implementation of a Tool for Automatic Software Modularization. Journal of Supercomputing 32(1) (April 2005)Google Scholar
  11. 11.
    TanenBaum, A.S., Van Steen, M.: Distributed Systems Principles and Paradigms. Prentice-Hall, Englewood Cliffs (2002)MATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Omid Bushehrian
    • 1
  • Saeed Parsa
    • 1
  1. 1.Faculty of Computer EngineeringIran University of Science and Technology 

Personalised recommendations