Coordination models based on a formal model of distributed object reflection

Electronic Notes in Theoretical Computer Science

Volumn 150, Issue 1, 2006, Pages 143-157

  Talcott, Carolyn L ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

Coordination; Distributed object reflection; Event diagram; Policy

Indexed keywords

MATHEMATICAL MODELS; OBJECT RECOGNITION; REFLECTION; SYSTEMS ANALYSIS;

COORDINATION; DISTRIBUTED OBJECT REFLECTION; EVENT DIAGRAM;

FORMAL LOGIC;

EID: 33644534497     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.12.028     Document Type: Conference Paper

References (26)

1. G. Agha Actors: A Model of Concurrent Computation in Distributed Systems 1986 MIT Press Cambridge, MA
2. 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
3. Farhad Arbab. A chanel-based coordination model for component composition. Technical Report SEN=R0203, Centrum voor Wiskunde en Informatica (CWI), 2002
4. F. Arbib Coordination of mobile components 2001
5. Henry G. Baker, and Carl Hewitt Laws for communicating parallel processes IFIP Congress August 1977 IFIP 987 992
6. Gregory V. Chockler, Idit Keidar, and Roman Vitenberg Group communication specifications: A comprehensive study ACM Computing Surveys 33 4 December 2001 1 43
7. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, and C. Talcott Maude 2.0 Manual http://maude.cs.uiuc.edu 2003
8. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C.L. Talcott The Maude 2.0 system Robert Nieuwenhuis Rewriting Techniques and Applications (RTA 2003) Lecture Notes in Computer Science volume 2706 2003 Springer-Verlag 76 87
9. W.D. Clinger. Foundations of actor semantics. AI-TR- 633, MIT Artificial Intelligence Laboratory, May 1981
10. G. Denker, J. Meseguer, and C.L. Talcott 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
11. S. Frølund Coordinated Distributed Objects: An Actor Based Approach to Synchronization 1996 MIT Press
12. S. Frølund, and G. Agha A language framework for multi-object coordination ECOOP 1993 Lecture Notes in Computer Science volume 707 1993 Springer
13. David Gelernter Generative communication in linda TOPLAS 7 1 1985 80 112
14. I. Greif. Semantics of communicating parallel processes. Technical Report 154, MIT, Project MAC, 1975
15. C. Hewitt, P. Bishop, and R. Steiger. A universal modular actor formalism for artificial intelligence. In Proceedings of 1973 International Joint Conference on Artificial Intelligence, pages 235-245, August 1973
16. IBM, Microsoft, and BEA Systems. Web services coordination, 2004
17. Narciso Marti-Oliet, Jose Meseguer, and Miguel Palomino Rewriting logic and applications bibliography Theoretical Computer Science 285 2 2002
18. J. Meseguer Conditional Rewriting Logic as a unified model of concurrency Theoretical Computer Science 96 1 1992 73 155
19. J. Meseguer, and C.L. Talcott 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
20. José Meseguer Rewriting logic and Maude: A wide-spectrum semantic framework for object-based distributed systems S. Smith C.L. Talcott Formal Methods for Open Object-based Distributed Systems FMOODS 2000 2000 Kluwer 89 117
21. R. De Nicola, G. Ferrari, and R. Pugliese KLAIM: A kernel language for agents interaction and mobility IEEE Transactions on Software Engineering 24 5 1998 315 330
22. Anna Perini, Angelo Susi, and Fausto Giunchiglia Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology 14th international conference on Software engineering and knowledge engineering 2002 ACM Press 51 54
23. G. Picco, A. Murphy, and G.-C. Roman. LIME: Linda meets mobility. In 21 Int. Conf. on Software Engineering, pages 368-377, 1999
24. Shangping. Ren. An Actor-Based Framework for Real-Time Coordination. PhD thesis, University of Illinois at Urbana-Champaign, 1997
25. Gruia-Catalin Roman, Christine Julien, and Qingfeng Huang Formal specification and design of mobile systems Formal Methods for Parallel Programming: Theory and Applications 2002
26. C.L. Talcott Composable semantic models for actor theories Higher-Order and Symbolic Computation 11 3 1998 281 343