Rewriting semantics of meta-objects and composable distributed services

Electronic Notes in Theoretical Computer Science

Volumn 36, Issue , 2000, Pages 405-425

  Denker, G ^a   Meseguer, J ^a   Talcott, C ^b  

^a SRI INTERNATIONAL   (United States)

^b Stanford University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; DISTRIBUTED COMPUTER SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; MATHEMATICAL MODELS; SEMANTICS; SPECIFICATIONS;

CONCURRENT SYSTEMS; DISTRIBUTED COMPUTING; FORMAL SEMANTICS; META-OBJECTS;

TELECOMMUNICATION SERVICES;

EID: 0009924124     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80132-X     Document Type: Conference Paper

References (30)

1. Abadi M., Lamport L. Conjoining specifications. Technical Report 118, DEC Systems Research Center. 1994
2. Agha G. Abstracting interaction patterns: A programming paradigm for open distributed systems. Najm E., Stefani J.-B. Formal Methods for Open Object-based Distributed Systems. 1997;135-153 Chapman & Hall
3. Agha G., Frølund S., Kim W., Panwar R., Patterson A., Sturman D. Abstraction and Modularity Mechanisms for Concurrent Computing. IEEE Parallel and Distributed Technology: Systems and Applications. 1:(2):May 1993;3-14
4. Astley M., Agha G. Customization and composition of distributed objects: Middleware abstractions for policy management. Sixth International Symposium on the Foundations of Software Engineering (FSE-6/SIGSOFT'98). 1998
5. Chandy K.M., Misra J. Proofs of networks of processes. IEEE Transactions on Software Engineering. 7:(4):1981;417-426
6. Chandy K.M., Misra J. Parallel Program Design: A Foundation. 1988;Addison-Wesley
7. M. Clavel. Reflection in general logics and in rewriting logic, with applications to the Maude language. Ph.D. Thesis, University of Navarre, 1998.
8. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, and J. Meseguer. Metalevel computation in Maude. Proc. 2nd Intl. Workshop on Rewriting Logic and its Applications, ENTCS, North Holland, 1998.
9. Dutertre B., Schneider S. Using a PVS Embedding of CSP to Verify Authentication Protocols. Theorem Proving in Higher Order Logics, TPHOL's 97. 1997;121-136. Springer, LNCS 1275
10. Feldmeier D., McAuley A., Smith J., Bakin D., Marcus W., Raleigh T. Protocol Boosters, Accepted for IEEE JSAC Special Issue on "Protocol Architecures for the 21st Century." Available at URL: http://carin. bellcore.com:8000/boosters/underpapers. 1999
11. Frølund S. 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. In Proceedings of ECOOP 1993, volume 707 of Lecture Notes in Computer Science., Springer Verlag, 1993.
13. C. B. Jones. Specification and design of parallel programs. In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IF IP 9th World Congress, pages 321-332, 1983.
14. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In M. Aksit and S. Matsuoka, editors, Proc. of the European Conference on Object-Oriented Programming (ECOOP'97), Finland, pages 220-242, 1997. LNCS 1241, URL: http://www.pare.xerox.com/spl/groups/eca/pubs/papers/Kiczales-ECOOP97/.
15. LaPorta T.F., Lee D., Lin Y.-J., Yannakakis M. Protocol Feature Interactions. Budkowski S., Cavalli A., Najm E. Proc. Formal Description Techniques And Protocol Specification, Testing and Verification, FORTE XI/PSTV XVIII'98, 3-6 November, Paris, France. 1998;59-74
16. P. Lincoln, N. Martí-Oliet, and J. Meseguer. Specification, transformation, and programming of concurrent systems in rewriting logic. In G. Blelloch, K. Chandy, and S. Jagannathan, editors, Specification of Parallel Algorithms, pages 309-339. DIMACS Series, Vol. 18, American Mathematical Society, 1994.
17. Mallet A., Chung J.D., Smith J.M. Operating System Support for Protocol Boosters, available at URL: http://carin.bellcore.com:8000/boosters/underpapers. 1998
18. Meseguer J. A logical theory of concurrent objects. ECOOP-OOPSLA'90 Conference on Object-Oriented Programming, Ottawa, Canada, October 1990. 1990;101-115 ACM
19. Meseguer J. A Logical Theory of Concurrent Objects and Its Realization in the Maude Language. Agha G., Wegner P., Yonezawa A. Research Directions in Concurrent Object-Oriented Programming. 1993;314-390 The MIT Press
20. Meseguer J., Talcott C. A Partial Order Event Model for Concurrent Objects. Baeten J., Mauw S. Proc. 10th Intern. Conf. on Concurrency Theory (CONCUR'99), Eindhoven, The Netherlands, August 1999. 1664;415-430 Springer, 1999. LNCS
21. Millen J. Local Reconfiguration Policies. IEEE Symposium on Security and Privacy. 1999;IEEE Computer Society. To appear.
22. P. C. Ölveczky and J. Meseguer. Specification of real-time and hybrid systems in rewriting logic. Submitted for publication, http://maude.csl.sri.com, 1999.
23. Paulson L. The inductive approach to verifying cryptographic protocols. Journal of Computer Security. 6:(1):1998;85-128
24. Peleska J. On a unified formal approach for the development of fault-tolerant and secure systems. Rischel H. Nordic Seminar on Dependable Computing Systems, Lyngby, Denmark, August 1994. Technical University of Denmark. 1994;69-80
25. S. Ren. An Actor-Based Framework for Real-Time Coordination. PhD thesis, University of Illinois at Champaign Urbana, 1997.
26. Rushby J. Combining system properties: A cautionary example and formal examination. Technical report, Computer Science Laboratory, SRI International, Menlo Park, CA. June 1995;. Unpublished project report; available at URL: http://www.csl.sri.com/rushby/combined.html
27. Smith S.F., Talcott C.L. Modular reasoning for actor specification diagrams. Ciancariani P., Fantechi A., Gorrieri R. Formal Methods for Open Object-based Distributed Systems. 1999;313-330 Kluwer
28. D. Sturman. Modular Specification of Interaction Policies in Distributed Computing. PhD thesis, University of Illinois at Champaign Urbana, 1996.
29. Sturman D., Agha G. A protocol description language for customizing-failure semantics. The 13th Symposium on Reliable Distributed Systems, Dana Point, California. Oct. 1994;IEEE
30. Venkatasubramanian N., Talcott C.L. Integration of resource management activities in distributed systems. Technical report. 2000;. in preparation