Asynchonous distributed components: concurrency and determinacy

Based on the imp&-calculus, ASP (Asynchronous Sequential Processes) de nes distributed applications behaving deterministically. This article extends ASP by building hierarchical and asynchronous distributed components. Components are hierarchical - a composite can be built from other components, and distributed - a composite can span over several machines. This article also shows how the asynchronous component model can be used to statically assert component determinism.4th IFIP International Conference on Theoretical Computer ScienceRed de Universidades con Carreras en Informática (RedUNCI

An integrated development environment for Java Card

This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the Java Card Runtime Environment (JCRE), and the Java Card APIs. The resulting environment consists of a set of tightly integrated and somewhat smart tools, such as a Java-specific structure editor and a simulator which allows an application to be tested before being downloaded to a card. Furthermore, the simulator analyses the applet in question in order to find out the structure of the accepted commands. This information is then used to automatically adapt the GUI of the simulator

Asynchonous distributed components: concurrency and determinacy

Based on the imp&-calculus, ASP (Asynchronous Sequential Processes) de nes distributed applications behaving deterministically. This article extends ASP by building hierarchical and asynchronous distributed components. Components are hierarchical - a composite can be built from other components, and distributed - a composite can span over several machines. This article also shows how the asynchronous component model can be used to statically assert component determinism.4th IFIP International Conference on Theoretical Computer ScienceRed de Universidades con Carreras en Informática (RedUNCI

Componentising a scientific application for the grid

CoreGRID is a Network of Excellence funded by the European Commission under the Sixth Framework Programm

Asynchronous Sequential Processes

This document presents an object language that allows one to program parallel and distributed applications that behave in a deterministic manner, even if they are distributed over local or wide area networks. An object calculus, Asynchronous Sequential Processes, is proposed and determinism properties are proposed. ASP main characteristics are asynchronous communicati- ons and sequential execution within each parallel activity

Asynchonous Distributed Components: Concurrency and Determinacy

19th IFIP World Computer CongressBased on the imp sigma-calculus, ASP (Asynchronous Sequential Processes) defines distributed applications behaving deterministically. This article extends ASP by building hierarchical and asynchronous distributed components. Components are hierarchical - a composite can be built from other components, and distributed - a composite can span over several machines. This article also shows how the asynchronous component model can be used to statically assert component determinism

Static Analysis of Java for Distributed and Parallel Programming

We investigate the use of static analysis for building distributed and parallel programs in Java. We first quickly explain a principle of seamless sequential, multithreaded and distributed programming using Java, in order to enhance code reuse and code evolution. 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. We then present a static analysis based on an abstract interpretation of a Java subset, which provides approximate sets of activable objects. Finally, we illustrate our algorithm and results with one example