A Formal Framework for Interactive Agents

Electronic Notes in Theoretical Computer Science

Volumn 203, Issue 3, 2008, Pages 95-106

  Talcott, Carolyn L ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

autonomy; coordination; distributed object reflection; interaction; policy

Indexed keywords

AUTONOMOUS AGENTS; INTERACTIVE COMPUTER SYSTEMS; SPECIFICATIONS; SYSTEMS ANALYSIS;

AUTONOMY; DISTRIBUTED OBJECT REFLECTION; INTERACTIVE AGENTS;

NETWORK ARCHITECTURE;

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

References (21)

1. Arbab F. A behavioral model for composition of software components. L'Objet 12 (2006) 33-76
2. Arbab F., and M Rutten J.J.M. A coinductive calculus of component connectors. WADT'02. LNCS volume 2755 (2002) 34-55
3. Broy M., and Stefanescu G. The algebra of stream processing functions. Theoretical Computer Science 258 (2001)
4. Broy M., and Stolen K. Specification and development of interactive systems. Monographs in Computer Science volume 62 (2001), Springer-Verlag
5. de Alfaro L., and Henzinger T.A. Interface automata. Ninth Annual Symposium on Foundations of Software Engineering. (FSE) (2001), ACM Press 109-120
6. de Alfaro L., and Henzinger T.A. Interface theories for component-based design. 1st Intl. Workshop on Embedded Software. LNCS volume 2211 (2001), Springer-Verlag
7. Denker G., Meseguer J., and Talcott C.L. Rewriting semantics of distributed meta objects and composable communication services. Third International Workshop on Rewriting Logic and Its Applications. (WRLA'2000). Electronic Notes in Theoretical Computer Science 36 (2000) Elsevier
8. Denker G., and Talcott C.L. Formal checklists for remote agent dependability. Fifth International Workshop on Rewriting Logic and Its Applications. (WRLA'2004). ENTCS 117 (2004) Elsevier
9. D. Dvorak, R. Rasmussen, G. Reeves, and A. Sacks. Software Architecture Themes In JPL's Mission Data System. In IEEE Aerospace Conference, USA, 2000
10. Goldin D., Smolka S., Attie P., and Sonderegger E. Turing machines, transition systems, and interaction. Information and Computation Journal 194 2 (2004) 101-128
11. In: Goldin D., and Viroli M. (Eds). Foundations of Interactive Computation. (FInCo 2005). ENTCS 141 (2005) Elsevier
12. Lee E.A. Concurrent semantics without the notions of state or state transitions. Formal Modeling and Analysis of Timed Systems. LNCS (2006), Springer 18-31
13. Meseguer J. Conditional Rewriting Logic as a unified model of concurrency. Theoretical Computer Science 96 1 (1992) 73-155
14. Meseguer J., and Talcott C.L. Semantic models for distributed object reflection. European Conference on Object-Oriented Programming. ECOOP'2002. LNCS volume 2374 (2002) 1-36
15. S. Ren, M. Sirjani, and C. Talcott. Comparing three coordination models: Reo, arc, and rrd, 2007. in preparation
16. C. 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
17. C. Talcott. Policy-based coordination in pagoda: A case study. In 2nd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005), 2006
18. Talcott C.L. Composable semantic models for actor theories. Higher-Order and Symbolic Computation 11 3 (1998) 281-343
19. P. Wegner. Why interaction is more powerful than algorithms. CACM, May 1997
20. P. Wegner and D. Goldin. Computation beyond turing machines. CACM, April 2003
21. Wirsing M., Denker G., Talcott C., Poggio A., and Briesemeister L. A rewriting logic framework for soft constraints. Sixth International Workshop on Rewriting Logic and Its Applications. (WRLA'2006). ENTCS (2006) Elsevier