A coordination language for mobile components

Proceedings of the ACM Symposium on Applied Computing

Volumn 1, Issue , 2000, Pages 166-173

  Arbab, Farhad ^a   Bonsangue, Marcello M ^a   De Boer, Frank S ^b  

^a CWI   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Class; Component; Mobility; Models for internet applications; Object; Security; calculus

Indexed keywords

CALCULATIONS; CARRIER MOBILITY; COMPUTER SOFTWARE REUSABILITY; INTERNET;

CLASS; COMPONENT; INTERNET APPLICATION; OBJECT; SECURITY;

COMMUNICATION;

EID: 84897459600     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/335603.335747     Document Type: Conference Paper

References (28)

1. M. Abadi and A.G. Gordon. A calculus for cryptographic protocols: the Spi calculus. In Proceedings of the 4th. ACM Conference on Computer and Communication Security, 1997, pp. 36-47.
2. F. Achermann, M. Lumpe, J.-G. Schneider, and O. Nierstrasz. Piccola - a small composition language. Available on line at the URL: http://www.iam.unibe. ch/~scg/Research/Piccola.
3. G. Agha. Actors: A model of concurrent computation in distributed systems. MIT Press, 1986.
4. P. America, J. W. de Bakker, J.N. Kok, and J.J.M.M. Rutten. Operational semantics of a parallel object-oriented language. In Proc. 13th ACM Symposium on Principles of Programming Languages, pages 194-208, 1986.
5. F. Arbab. Manifold version 2: Language reference manual. Technical report, CWI, Amsterdam, The Netherlands, 1996. Available on-line at the URL: http://www.cwi.nl/ftp/manifold/refman.ps.Z.
6. F. Arbab, C.L. Blom, F.J. Burger, and C.T.H. Everaars. Reusable coordinator modules for massively concurrent applications. Software: Practice and Experience 28:7, 1998, pp. 703-735.
7. F. de Boer. Reasoning about asynchronous communication in dynamically evolving object structures. In D.Sangiorgi and R. de Simone (eds.) Proceedings of CONCUR'98, volume 1466 of Lecture Notes in Computer Science, Springer-Verlag, 1998.
8. M.M. Bonsangue, F. Arbab, J.W. de Bakker, J.J.M.M. Rutten, A. Scutella', and G. Zavattaro. A transition system semantics for the control-driven coordination language MANIFOLD. In Theoretical Computer Science 240:1, 2000.
9. M.M. Bonsangue, J.N. Kok, M. Boasson, and E. de Jong. A software architecture for distributed control systems and its transition system semantics. In J. Carroll, G.B. Lament, D. Oppenheim, K.M. George, and B. Bryant, editors, Proceedings of the 1998 ACM Symposium on Applied Computing (SAC '98), ACM press, 1998, pp. 159-168.
10. C. Bryce, M. Oriol, and J. Vitek. Secure object spaces: A coordination model for agents. In P. Ciancarini and A. Wolf (eds.), Proceedings of COORDINATION'99, volume 1594 of Lecture Notes in Computer Science, Springer-Verlag, 1999, pp. 4-20.
11. M. Burrows, M. Abadi, and R.M. Needham. A logic of authentication. ACM Transaction on Computer Systems 8:1, 1990, pp. 18-36.
12. L. Cardelli and A.D. Gordon. Mobile ambients In M. Nivat (ed.), Proceedings of Foundation of Software Science and Computational Structure, volume 1378 of Lecture Notes in Computer Science, Springer-Verlag, 1998, pp. 140-155.
13. N. Carriero and D. Gelernter. Linda in context. In Communications of the ACM 32:4, pages 444-458, 1989.
14. R. De Nicola, G. Ferrari, and R. Pugliese. Coordinating mobile agents via blackboards and access rights. In D. Garlan and D. Le Métayer (eds.), Proceedings of COORDINATION '97, volume 1282 of Lecture Notes in Computer Science, Springer-Verlag, 1997, pp. 220-236.
15. J.-Y. V. Dury, L. Bellissard, and V. Marangozov. A component calculus for modelling the Olan configuration language. In D. Garlan and D. Le Métayer (eds.), Proceedings of COORDINATION'97, volume 1282 of Lecture Notes in Computer Science, Springer-Verlag, 1997, pp. 392-409.
16. J. Gosplin and H. McGilton. The Java language environment. Sun Microsystems Computer Company, 1995.
17. C.A.R. Hoare. Communicating sequential processes. Communication of ACM 21, 1978, pp. 666-677.
18. G.J, Holzmann. The model checker SPIN IEEE Transactions on Software Engineering 23:5, 1997.
19. J. Magee, J. Kramer, and N. Dulay. Darwin/mp: An environment for parallel and distributed programming. In Proceedings 26th Annual Hawwaii Int. Conf. on System Sciences, volume 2, IEEE computer Society Press, 1993.
20. T.D. Meijler and O. Nierstrasz. Beyond objects: components. In M.P. Papazoglou and G. Schlageter (eds.), Cooperative Information Systems: Current Trends and Directions, Academic Press, 1997.
21. Microsoft Corporation. Distributed component object model protocol-DCOM/1.0, 1996 Available on line at the URL: http://www.microsoft.com/ oledev.
22. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I and II. Information and Computation 100:1, 1992, pp. 1-77.
23. O. Nierstrasz and L. Dami. Component-oriented software technology. In O. Nierstrasz and D. Tsichritzis (eds.), Object-Oriented Software Composition, Prentice Hall, 1995, pp. 3-38.
24. OMG. CORBA 2.1 specifications, 1997. Available on line at the URL:http://www.omg.org.
25. A. Omicini and F. Zambonelli. Tuple centre for the coordination of Internet agents. In J. Carroll, H. Haddad, D. Oppenheim, B. Bryant, and G.B. Lamont (eds.), Proceedings of the 1999 ACM Symposium on Applied Computing (SAC '99), ACM press, 1999, pp. 183-190.
26. G. Papadopoulos and F. Arbab. Coordination models and languages. Advances in Computers, volume 46: The Engineering of Large Systems, Academic Press, 1998.
27. B. Stroustrup. The C++ programming language Addison-Wesley, 1991.
28. D. Walker. π-calculus semantics of object-oriented programming languages. Information and Computation 116:2, 1995, pp. 253-271.