Declarative Constraint-based Concurrent and Distributed Java Programming

DOI: 10.5176/2251-2217_SEA41

Authors: Rafael Ramirez

Abstract:

Constraint programming is a powerful mechanism for elegantly synchronizing concurrent and distributed computations. This paper describes a model for high-level concurrent and distributed programming based on constraint entailment and its implementation (for both uniprocessors and distributed systems) as an extension to the Java programming language. In the model, the safety properties of the system are explicitly stated as constraints and the system’s concurrency issues are separated from the rest of the code. This provides great advantages in writing, verifying and manipulating concurrent and distributed systems. In particular, we describe how model-based verification methods can be directly applied to programs in the resulting language.