Formal description of a runtime infrastructure for automatic distribution of programs

Authors:
Omid Bushehrian;Saeed Parsa
Affiliations:
Faculty of Computer Engineering, Iran University of Science and Technology;Faculty of Computer Engineering, Iran University of Science and Technology
Venue:
ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
Year:
2006

Citing 9
Cited 2

A step toward automatic distribution of Java programs

Fourth International Conference on Formal methods for open object-based distributed systems IV
Distributed Systems: Principles and Paradigms

Distributed Systems: Principles and Paradigms
AdJava: automatic distribution of Java applications

ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
PANGAEA: An Automatic Distribution Front-End for JAVA

Proceedings of the 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing
A Bytecode Translator for Distributed Execution of ``Legacy'' Java Software

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
The Design and Implementation of a Framework for Automatic Modularization of Software Systems

The Journal of Supercomputing
A Compiler and Runtime Infrastructure for Automatic Program Distribution

IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Papers - Volume 01
Automatic translation of serial to distributed code using CORBA event channels

ISCIS'05 Proceedings of the 20th international conference on Computer and Information Sciences
Automatic distribution of sequential code using javasymphony middleware

SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science

On the Optimal Object-Oriented Program Re-modularization

ICCS '07 Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007
Formal specification and implementation of an environment for automatic distribution

GPC'07 Proceedings of the 2nd international conference on Advances in grid and pervasive computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.