Treffer: A Step Toward Automatic Distribution Of Java Programs

This article investigates the automatic distribution and parallelization of object-oriented programs. We formally define a set of properties that allow to turn standard objects into active objects to be distributed on a network (local or wide area). We first explain a principle of seamless sequential, multi-threaded and distributed programming using Java, that enhances code reuse and code distribution. We exhibit conditions on the graph of objects to detect activable objects and transform a sequential program into a distributed or parallel program using active objects. Finally, we explain how these properties were implemented in order to check them statically on a given Java program.