A Constraint-Based Framework for Prototyping Distributed Virtual Applications

Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Laufer


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.

© Springer Verlag, 2000. Published in the Lecture Notes in Computer Science Series.

@inproceedings{ gupta00constraintbased,
    author = "Vineet Gupta and Lalita Jategaonkar Jagadeesan and Radha Jagadeesan and Xiaowei Jiang and Konstantin Laufer",
    title = "A Constraint-Based Framework for Prototyping Distributed Virtual Applications",
    booktitle = "Principles and Practice of Constraint Programming -
CP 2000",
    editor = "Rina Dechter",
    publisher = "Springer-Verlag",
    series = "Lecture Notes in Computer Science",
    vol = 1894,
    pages = "202-217",
    year = "2000"

Pdf file