Abstract
We present a formalism for programming complex multiagent reactive systems in a structured manner. The motivation behind this work is to obtain a simple semantic framework for such reactive systems. The approach followed is to build upon a timed extension of concurrent constraint programs that have been used to present an elegant declarative framework for reactive systems.
Timed concurrent constraint (TCC) programs are extended with the primitives for defining and manipulating ambients that contain TCC programs. The extension is simple and conservative, in the sense that TCC programs are a subset of the new formalism - Mobile Timed Concurrent Constraints (MTCC).
Part of this work was carried out while the author was employed at Teamphone.com
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
G. Berry and A. Benveniste. The synchronous approach to reactive and real-time systems. In Procedings of the IEEE, volume 79, 1991.
Gérard Berry. The foundations of ESTEREL. In G Plotkin, C Stirling, and M Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, 1998.
Martin Berger and Kohei Honda. The two-phase commit protocol in an extended π-calculus. In Luca Aceto and Björn Victor, editors, Proceedings of the 7th International Workshop on Expressiveness in Concurrency, EXPRESS’ 00, August 2000.
G. Berry, S. Ramesh, and R. K. Shyamasundar. Communicating reactive processes. In Conference Record of the Twentieth Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, pages 85–98, Charleston, South Carolina, 1993.
Luca Cardelli. Mobility and security. In Friedrich L Bauer and Ralf SteinBrüggen, editors, Foundations of Secure Computation, NATO Science Series, pages 3–37. IOS Press, Marktoberdorf, Germany, 2000.
Luca Cardelli and Andrew D Gordon. Mobile ambients. In Foundations of Software Science and Computation Structures, volume 1378 of Lecture Notes in Computer Science, pages 140–155. Springer-Verlag, 1998.
Luca Cardelli and Andrew D Gordon. Anytime, anywhere. modal logics for mobile ambients. In Proceedings of the 27th ACM Symposium on Principles of Programming Languages, pages 365–377, 2000.
Luca Cardelli and Andrew D Gordon. Mobile ambients. Theoretical Computer Science, 240(1):177–213, June 2000.
P. Le Guernic and A. Benveniste. Real time, synchronous, data-flow programming: the language SIGNAL and its mathematical semantics. Technical Report # 533, INRIA, June 1986.
Andrew D Gordon and Luca Cardelli. Equational properties of mobile ambients. In Wolfgang Thomas, editor, Proceedings of Foundations of Software Science and Computational Structures, Second International Conference, FOSSACS’99, volume 1578 of LNCS, pages 212–226. Springer, March 1999.
David Gilbert and Catuscia Palamidessi. Concurrent constraint programming with process mobility. In John Lloyd et al., editor, Proceedings of the Conference on Computational Logic-CL 2000, Lecture Notes in Artificial Intelligence, pages 463–477. Springer-Verlag, 2000.
N Halbwachs, P Caspi, and D Pilaud. The synchronous programming language LUSTRE. In Proceedings of the IEEE, Special Issue on Another Look at Real Time Systems. September 1991.
Basant Rajan and R.K. Shyamsundar. Multiclock esterel: An asynchronous framework for asynchronous design. In International Parallel and Distributed Processing Symposium, Cancun, Mexico, May 2000.
Prahladavaradan Sampath. Modelling multi-agent reactive systems (poster). In Peter J. Stuckey, editor, ICLP, volume 2401 of Lecture Notes in Computer Science, page 476. Springer, 2002.
Vijay Saraswat, Radha Jagadeesan, and Vineet Gupta. Programming in timed concurrent constraint languages. In B. Mayoh, E. Tyugu, and J. Penjam, editors, Constraint Programming, NATO Advanced Science Institute Series, Series F: Computer and System Sciences. 1994.
Vijay A Saraswat, Radha Jagadeesan, and Vineet Gupta. Foundations of timed concurrent constraint programming. In Proceedings of the Ninth Annual IEEE Symposium on Logic in Computer Science. Paris, France, 1994.
Vijay Saraswat, Radha Jagadeesan, and Vineet Gupta. Timed default concurrent constraint programming. Journal of Symbolic Computation, 11, 1996.
Jean-Pierre Talpin and David Nowak. A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems. In Proceedings of the 18th International Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS’98), volume 1530 of Lecture Notes in Computer Science, pages 78–89. Springer-Verlag, December 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sampath, P. (2003). Multi-agent Reactive Systems. In: Dahl, V., Wadler, P. (eds) Practical Aspects of Declarative Languages. PADL 2003. Lecture Notes in Computer Science, vol 2562. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36388-2_13
Download citation
DOI: https://doi.org/10.1007/3-540-36388-2_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00389-2
Online ISBN: 978-3-540-36388-0
eBook Packages: Springer Book Archive