Abstract
We propose a language composed of basic graphical components. By assembling these components as in a Lego game, solver cooperations can be visualized. The advantage is to represent by simple figures complex cooperations that usually requires tedious descriptions. We illustrate our language by implementing some well-known cooperative solvers.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
F. Arbab. Manifold2.0 reference manual. CWI, Amsterdam, The Netherlands, May 1997.
F. Arbab and E. Monfroy. Coordination of Heterogeneous Distributed Cooperative Constraint Solving. ACM SIGAPP Applied Computing Review, 6:4–17, 1998.
F. Benhamou and L. Granvilliers. Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving. Reliable Computing, 3(3):335–344, 1997.
H. Beringer and B. De Backer. Combinatorial problem solving in constraint logic programming withco operative solvers. In Logic programming: formal methods and practical applications. Elsevier Science Publisher B.V., 1995.
P. Bouvry and F. Arbab. Visifold: A visual environment for a coordination language. In Paolo Ciancarini and Chris Hankin, editors, Coordination Languages and Models, volume 1061 of Lecture Notes in Computer Science, pages 403–406. Springer-Verlag, April 1996.
B. Buchberger. Gröbner Bases: an Algorithmic Method in Polynomial Ideal Theory. In Multidimensional Systems Theory, pages 184–232. 1985.
C. Castro and E. Monfroy. A Control Language for Designing Constraint Solvers. In Proceedings of Andrei Ershov Third International Conference Perspective of System Informatics, PSI’99, volume 1755 of Lecture Notes in Computer Science, pages 402–415, Novosibirsk, Akademgorodok, Russia, 2000. Springer-Verlag.
C. Castro and E. Monfroy.Basic Operators for Solving Constraints via Collaboration of Solvers. In J. A. Campbell and E. Roanes-Lozano, editors, Proceedings of the 5th International Conference on Artificial Intelligence and Symbolic Computation (AISC’2000), volume 1930 of Lecture Notes in Artificial Intelligence, pages 142–146, Madrid, Spain, 2001. Springer.
L. Granvilliers, E. Monfroy, and F. Benhamou. Symbolic-Interval Cooperation in Constraint Programming. In Proceedings of the 26th International Symposium on Symbolic and Algebraic Computation (ISSAC’2001), pages 150–166, University of Western Ontario, London, Ontario, Canada, 2001. ACM Press.
A.K. Mackworth. Consistency in Networks of Relations. Artificial Intelligence, 8(1):99–118, 1977.
P. Marti and M. Rueher. A Distributed Cooperating Constraints Solving System. International Journal on Artificial Intelligence Tools, 4(1&2):93–113, 1995.
E. Monfroy. The Constraint Solver Collaboration Language of BALI. In D.M. Gabbay and M. de Rijke, editors, Frontiers of Combining Systems 2, volume 7 of Studies in Logic and Computation, pages 211–230. ResearchStudies Press/Wiley, 2000.
E. Monfroy and F. Arbab. Coordination of Internet Agents: Models, Technologies, and Applications, chapter Constraints Solving as the Coordination of Inference Engines, pages 399–422. Springer-Verlag, Omicini, A. and Zambonelli, F. and Klusch, M. and Tolksdorf, R. edition, 2001.
E. Monfroy, M. Rusinowitch, and R. Schott. Implementing Non-Linear Constraints with Cooperative Solvers. In K. M. George, J. H. Carroll, D. Oppenheim, and J. Hightower, editors, Proceedings of ACM Symposium on Applied Computing (SAC’96), Philadelphia, PA, USA, pages 63–72. ACM Press, February 1996.
R.E. Moore. Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ, 1966.
G. A. Papadopoulos and F. Arbab. Coordination models and languages. Advances in Computers, 46: The Engineering of Large Systems, 1998.
A. Semenov, D. Petunin, and A. Kleymenov. GMACS: the general-purpose module architecture for building cooperative solvers. In Proceedings of the ERCIM/ CompulogNet Workshop on Constraint programming, Padova, Italy, 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Granvilliers, L., Monfroy, E. (2001). A Graphical Interface for Solver Cooperations. In: Bjørner, D., Broy, M., Zamulin, A.V. (eds) Perspectives of System Informatics. PSI 2001. Lecture Notes in Computer Science, vol 2244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45575-2_44
Download citation
DOI: https://doi.org/10.1007/3-540-45575-2_44
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43075-9
Online ISBN: 978-3-540-45575-2
eBook Packages: Springer Book Archive