Policy-based Coordination in PAGODA: A Case Study

Electronic Notes in Theoretical Computer Science

Volumn 181, Issue 1, 2007, Pages 97-112

  Talcott, Carolyn L ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

autonomy; coordination; distributed object reflection; goal; policy

Indexed keywords

AUTONOMOUS AGENTS; CONSTRAINT THEORY; ROUTING ALGORITHMS; SPECIFICATIONS; SYNCHRONIZATION;

DISTRIBUTED OBJECT REFLECTION; GLOBAL COORDINATOR; PAGODA (POLICY AND GOAL BASED DISTRIBUTED AUTONOMY); POLICY-BASED COORDINATION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 34250205560     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.01.056     Document Type: Article

References (35)

1. F. Arbab and J.J.M.M. Rutten. A coinductive calculus of component connectors. Technical Report SEN=R0216, Centrum voor Wiskunde en Informatica (CWI), 2002
2. Arbab F. A chanel-based coordination model for component composition. Mathematical Structures in Computer Science 14 3 (2004) 329-366 Also Centrum voor Wiskunde en Informatica report SEN=R0203
3. Arbab F. A behavioral model for composition of software components. L'Objet 12 (2006) 33-76
4. C. Baier. Stochastic semantics for reo connector circuits, 2005. submitted for publication
5. Bistarelli S., Montanari U., and Rossi F. Semiring-based constraint satisfaction and optimization. Journal of the ACM 44 2 (1997) 201-236
6. Caires L., and Cardelli L. A spatial logic for concurrency (part i). Information and Computing 186 2 (2003) 194-235
7. Caires L., and Cardelli L. A spatial logic for concurrency - ii. Theoretical Computer Science 322 3 (2004) 517-565
8. Clavel M., Durán F., Eker S., Lincoln P., Marti-Oliet N., Meseguer J., and Talcott C. Maude 2.0 Manual (2003). http://maude.cs.uiuc.edu
9. Clavel M., Durán F., Eker S., Lincoln P., Martí-Oliet N., Meseguer J., and Talcott C.L. The Maude 2.0 system. In: Nieuwenhuis R. (Ed). Rewriting Techniques and Applications. (RTA 2003). Lecture Notes in Computer Science volume 2706 (2003), Springer-Verlag 76-87
10. Clavel M., and Meseguer J. Reflection in Conditional Rewriting Logic. Theoretical Computer Science 285 (2002) 245-288
11. R. De Nicola, J.-P. Katoen, D. Latella, and M. Massink. StoKlaim: A stochastic extension of Klaim. Technical Report ISTI-2006-TR-01, ISTI CNR, Italy, 2006
12. De Nicola R., Katoen J.P., Latella D., and Massink M. Towards a logic for performance and mobility. 3rd Workshop on Quantitative Aspects of Programming Languages. QAPL05 (2005), University of Edinburgh (LFCS) 132-146
13. Denker G., and Talcott C.L. Formal checklists for remote agent dependability. Fifth International Workshop on Rewriting Logic and Its Applications (WRLA'2004). Electronic Notes in Theoretical Computer Science (2004) Elsevier
14. Denker G., and Talcott C.L. A formal framework for goal net analysis. Workshop on Verification and Validation of Planning Systems (2005), AAAI
15. D. Dvorak, R. Rasmussen, G. Reeves, and A. Sacks. Software Architecture Themes In JPL's Mission Data System. In IEEE Aerospace Conference, USA, 2000
16. Frølund S. Coordinated Distributed Objects: An Actor Based Approach to Synchronization (1996), MIT Press
17. Frølund S., and Agha G. A language framework for multi-object coordination. ECOOP 1993. Lecture Notes in Computer Science volume 707 (1993), Springer
18. Gelernter D. Generative communication in linda. TOPLAS 7 1 (1985) 80-112
19. Lamport L. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers (2002), Addison-Weseley
20. Mailler R., and Lesser V. Solving Distributed Constraint Optimization Problems Using Cooperative Mediation. Proceedings of Third International Joint Conference on Autonomous Agents and Multiagent Systems. (AAMAS 2004) (2004), IEEE Computer Society 438-445
21. Mailler R., and Lesser V. Using Cooperative Mediation to Solve Distributed Constraint Satisfaction Problems. Proceedings of Third International Joint Conference on Autonomous Agents and MultiAgent Systems, volume 1. (AAMAS 2004), New York (2004), IEEE Computer Society 446-453
22. Meseguer J. Conditional Rewriting Logic as a unified model of concurrency. Theoretical Computer Science 96 1 (1992) 73-155
23. Meseguer J., and Talcott C.L. Semantic models for distributed object reflection. European Conference on Object-Oriented Programming. ECOOP'2002. Lecture Notes in Computer Science volume 2374 (2002) 1-36 invited paper
24. Meseguer J. A rewriting logic sampler. In: Van Hung D., and Wirsing M. (Eds). Second International Colloquium on Theoretical Aspects of Computing. (ICTAC 2005). Lecture Notes in Computer Science volume 3722 (2005), Springer 1-28
25. Muscetolla N., Pandurang P., Pell B., and Williams B. Remote Agent: To Boldly Go Where No AI System Has Gone Before. Artificial Intelligence 103 1-2 (1998) 5-48
26. R. De Nicola, G. Ferrari, U. Montanari, R. Pugliese, and E. Tuosto. A process calculus for qos-aware applications. In Seventh International Conference on Coordination Models and Languages, 2005
27. De Nicola R., Ferrari G., and Pugliese R. KLAIM: A kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering 24 5 (1998) 315-330
28. G. Picco, A. Murphy, and G.-C. Roman. LIME: Linda meets mobility. In 21 Int. Conf. on Software Engineering, pages 368-377, 1999
29. A. Di Pierro, C. Hankin, and H. Wiklicky. Probabilistic klaim. In Proceedings COORDINATION 2004, 2004
30. Shangping. Ren. An Actor-Based Framework for Real-Time Coordination. PhD thesis, University of Illinois at Urbana-Champaign, 1997
31. Shangping Ren, Yue Yu, Nianen Chen, Kevin Marth, Pierre-Etienne Poirot, and Limin Shen. Actors, roles and coordinators: A coordination model for open distributed and embedded systems. In Coordination 2006, 2006. to appear
32. Gruia-Catalin Roman, Christine Julien, and Qingfeng Huang. Formal specification and design of mobile systems. In Formal Methods for Parallel Programming: Theory and Applications, 2002
33. Sen K., Vardhan A., Agha G., and Rosu G. Efficient decentralized monitoring of safety in distributed systems. Proceedings of 26th International Conference on Software Engineering. (ICSE'04) (May 2004), IEEE 418-427
34. Carolyn Talcott. Coordination models based on a formal model of distributed object reflection. In 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005), 2005
35. Martin Wirsing, Grit Denker, Carolyn Talcott, Andy Poggio, and Linda Briesemeister. A rewriting logic framework for soft constraints, 2006. submitted to WRLA06