Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, collaborations and games. Our framework integrates three components based on (concurrent) constraint programming ideas: (1) Hybrid cc, a (concurrent) constraint modeling language for hybrid systems, (2)Sisl,a (discrete) timed constraint language for describing interactive services with flexible user interfaces and (3)Triveni, a process-algebraic language for concurrent programming. The framework is realized as a collection of tools implemented in Java. The utility of the ideas are illustrated by sketching the implementations of simple distributed applications. 1
|
2762
|
Communication and Concurrency
– Milner
- 1989
|
|
1345
|
A.: The Temporal Logic of Reactive and Concurrent Systems
– Manna, Pnueli
- 1992
|
|
886
|
A Calculus of Mobile Processes
– Milner, Parrow, et al.
- 1992
|
|
755
|
Constraint Logic Programming
– Jaffar, Lassez
- 1987
|
|
663
|
Mobile ambients
– Cardelli, Gordon
|
|
487
|
A cookbook for using the Model-ViewController user interface paradigm in Smalltalk-80
– Krasner, Pope
- 1988
|
|
460
|
P.: An automata-theoretic approach to automatic program verification
– Vardi, Wolper
- 1986
|
|
449
|
The algorithmic analysis of hybrid systems
– Alur, Courcoubetis, et al.
- 1995
|
|
353
|
Computer-Aided Verification of Coordinating Processes
– Kurshan
- 1994
|
|
330
|
Synchronous Programming of Reactive Systems
– Halbwachs
- 1993
|
|
283
|
The Synchronous Approach to Reactive and Real-Time Systems
– Benveniste, Berry
- 1991
|
|
277
|
A calculus of mobile agents
– Fournet, Gonthier, et al.
- 1996
|
|
264
|
The family of concurrent logic programming languages
– Shapiro
- 1989
|
|
215
|
Model checking for programming languages using VeriSoft
– Godefroid
- 1997
|
|
146
|
Statecharts: A Visual Approach to Complex Systems
– Harel
- 1987
|
|
123
|
Executing Temporal Logic Programs
– Moszkowski
- 1986
|
|
112
|
Functional reactive animation
– Elliot, Hudak
- 1997
|
|
99
|
Computer-aided verification
– Clarke, Kurshan
- 1996
|
|
90
|
The Concurrency Workbench: A Semantics Based Tool for the Verification of Concurrent Systems
– Cleaveland, Parrow, et al.
- 1993
|
|
82
|
METATEM: a Framework for Programming in Temporal Logic
– BARRINGER, FISHER, et al.
- 1989
|
|
63
|
Horus: A flexible group communication system
– Robbert, Renesse, et al.
- 1996
|
|
62
|
Timed default concurrent constraint programming
– Saraswat, Jagadeesan, et al.
- 1996
|
|
48
|
Oracles for checking temporal properties of concurrent systems
– Dillon, Yu
- 1994
|
|
32
|
Temporal logic programming is complete and expressive
– Baudinet
- 1989
|
|
27
|
Temporal logic programming and its relation to constraint logic programming
– Brzoska
- 1991
|
|
23
|
Programming in hybrid constraint languages
– Gupta, Jagadeesan, et al.
- 1995
|
|
23
|
The synchronous programming language LUSTRE
– Halbwachs, Caspi, et al.
- 1991
|
|
17
|
Computing with continuous change
– Gupta, Jagadeesan, et al.
|
|
14
|
A model of a photocopier paper path
– Saraswat, Struss
- 1995
|
|
11
|
Design and implementation of Triveni: A process-algebraic API for threads + events
– Colby, Jagadeesan, et al.
- 1998
|
|
8
|
Objects and concurrency in Triveni: A telecommunication case study in Java
– Colby, Jagadeesan, et al.
- 1998
|
|
8
|
Efficiently executing temporal logic programs
– Merz
- 1993
|
|
8
|
Concurrent Constraint Programming. Logic Programming and Doctoral Dissertation Award Series
– Saraswat
- 1993
|
|
7
|
Sisl: Several interfaces, single logic
– Ball, Colby, et al.
- 2000
|
|
7
|
Hybrid cc, hybrid automata and program verification
– Gupta, Jagadeesan, et al.
- 1996
|
|
6
|
Hybrid cc and interval constraints
– Carlson, Gupta
- 1998
|
|
5
|
Modeling an AERCam: A case study in modeling with concurrent constraint languages
– Alenius, Gupta
- 1998
|
|
5
|
A Declarative Approach to Concurrent Programming
– Gregory
- 1997
|
|
4
|
Automated Systematic Testing for Constraint-Based Interactive Services
– Godefroid, Jagadeesan, et al.
- 2000
|
|
3
|
Programming real time applications with
– Guernic, Borgne, et al.
- 1991
|
|
2
|
Semantics of Triveni: A process-algebraic API for threads + events
– Colby, Jagadeesan, et al.
- 1999
|
|
1
|
Interaction, concurrency, and oop in the curriculum: a sophomore course
– Colby, Jagadeesan, et al.
- 1998
|
|
1
|
Now that the PC is dead
– Gelernter
|
