jcc: Integrating Timed Default Concurrent Constraint Programming into Java

Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use in education and research, for the programming of embedded reactive systems, for parallel/distributed simulation and modelling (particularly for space, robotics and systems biology applications), and to support the development of constraint-based program analysis and type-checking tools. In fully implementing the Timed Default cc framework, jcc supports the notion of (typed) logical variables (called “promises”, after [5]), allows the programmer to add his/her own constraint system (an implementation of the Herbrand constraint system is provided), implements (instantaneous) defaults via backtracking, implements a complete renewal of the constraint-store at each time instant, and implements bounded-time execution of the Timed cc control constructs. jcc implements the notion of reactive vats [5] as single th...

• Type: Conference
• Year: 2003
• Where: EPIA
• Authors: Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
• Keywords: EPIA 2003, Jcc Programs, Logical Variables, Paper Describes Jcc