A Component Coordination Model Based on Mobile Channels

• Autorzy: Guillen-Scholten J. , Arbab F. , de Boer F. , Bonsangue M.
• Języki publikacji: EN

Abstrakty

EN

In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semantics, and describe its implementation in the Java language. Channels allow anonymous, and point-to-point communication among components, while mobility allows dynamic reconfiguration of channel connections in a system. This model supports dynamic distributed systems where components can be mobile. It provides an efficient way of interaction among components. Furthermore, our model provides a clear separation between the computational part and the coordination part of a system, allowing the development and description of the coordination structure of a system to be done in a transparent and exogenous manner. Our description of the Java implementation of this coordination model demonstrates that it is self-contained enough for developing component-based systems in object-oriented languages. However, if desired, our model can be used as a basis to extend other models that focus on other aspects of components that are less concerned with composition and coordination issues.

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2006
• Tom: Vol. 73, nr 4
• Strony: 561--582
• Opis fizyczny: bibliogr. 33 poz.

Twórcy

autor

Guillen-Scholten J.

autor

Arbab F.

autor

de Boer F.

autor

Bonsangue M.

• CWI, P.O. Box 94079, NL-1090 GB, Amsterdam, the Netherlands,

Bibliografia

• [1] F. Achermann,M. Lumpe, J. Schneider, and O. Nierstrasz. Piccola - a Small Composition Language, Formal Methods for Distributed Processing - A Survey of Object-Oriented Approaches, Howard Bowman and John Derrick (Eds.), pp. 403-426, Cambridge University Press, 2001.
• [2] G. Andrews, Paradigms for process interaction in distributed programs, ACMComputing Surveys, 23(1):49-90, 1991.
• [3] F. Arbab, Reo: A channel-based coordination model for component composition,Mathematical Structures in Computer Science, Vol. 14, No. 3, pp. 329-366, June 2004.
• [4] F. Arbab, A channel-Based Coordination Model for Component Composition, Tech. Report, Centrum voor Wiskunde en Informatica, Amsterdam, 2002. Available on-line http://www.cwi.nl/ftp/CWIreports/SEN/SEN-RO203.pdf.
• [5] F. Arbab, F. S. de Boer, and M. M. Bonsangue. A Logical Interface Description Language for Components. , Proceedings of Coordination 2000, Lecture Notes in Computer Science, Springer, 2000.
• [6] F. Arbab, M. M. Bonsangue, and F. S. de Boer. A Coordination Language for Mobile Components., Proceedings of the 2000 ACM Symposium on Applied Computing (SAC 2000), pp 166-173, ACM, 2000.
• [7] F. Arbab, F.S. de Boer,M.M. Bonsangue, and J.V. Guillen-Scholten,MoCha: a Middleware Based on Mobile Channels, to appear in proceedings of 26th Int. Computer Software and Application Conference (COMPSAC 02) IEEE Computer Society Press, 2002.
• [8] G. Booch, J. Rumbaugh, and I. Jacobson, The Unified Modeling Language User Guide , Addison-Wesley, Reading, Mass. USA, 1999.
• [9] N. Carriero, D. Gelernter. How to Write Parallel Programs: a First Course, MIT press, 1990.
• [10] E. Freeman, S. Hupfer, and K. Arnold, JavaSpaces TM Principles, Patterns, and Practice, Chapter 1 of book, Addison-Wesley, September 1999.
• [11] M. Hennessy, Algebraic Theory of Processes, MIT Press, 1988
• [12] J.V. Guillen-Scholten, MoCha, a Model for Distributed Mobile Channels, Internal Report 01-07, Master's Thesis, LIACS, Leiden University,May 2001.
• [13] J.V. Guillen-Scholten, F. Arbab, F.S. de Boer, and M.M. Bonsangue, Mobile Channels, Implementation Within and Outside Components, A. Brogi and E. Pimintel, editors, Proceedings of Formal Methods and Component Interaction, ENTCS 66.4, Elsevier Science, 2002.
• [14] J.V. Guillen-Scholten, F. Arbab, F.S. de Boer, and M.M. Bonsangue, MoCha-pi, an Exogenous Coordination Calculus based on Mobile Channels Proceedings of the 2005 ACM Symposium on Applied Computing, Santa Fe, New Mexico, USA, March 13-17, 2005.
• [15] D. Hay, COM+ Technical Series: Queued Components, Microsoft Corporation, 1999.
• [16] G. Hilderink, J. Broenink, and A. Bakkers. Communicating Threads for Java, Draft version available at http://www.rt.el.utwente.nl/javapp/information/CTJ/main.html. The Netherlands, 2000.
• [17] C.A.R. Hoare, Communicating Sequential Processes, Prentice Hall, London, UK, 1985.
• [18] Home Page of Java, http://java.sun.com.
• [19] Home Page of JavaBeans, http://java.sun.com/produts.javabeans.
• [20] Home Page of RMI documentation, http://java.sun.com/j2se/1.3/docs/guide/rmi/index.html.
• [21] J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying Distributed Software Architectures. In Proceedings of 5th European Software Engineering Conference, Spain, 1994.
• [22] Microsoft Corporation. Home page of COM+, http://www.microsoft.com/com/tech/complus.asp
• [23] R. Milner, Communicating and Mobile Systems : The Pi-Calculus, Cambridge University Press, May 20, 1999.
• [24] A.L. Murphy, G.P. Picco, and G.-C. Romjan. Lime: A coordination middleware supporting mobility of hosts and agents. Technical Report WUCSE-03-21, Washington University, Department of Computer Science, St. Louis, MO (USA), 2003.
• [25] B. C. Pierce, D. N. Turner, Pict: A Programming Language Based on the Pi-calculus, Technical report, Computer Science Department, Indiana University, 1997. Home Page of Pict, http://www.cis.upenn.edu/~bcpierse/
• [26] B. Rumpe, M. Schoenmakers, A. Radermacher, and A. Sch¨urr, UML + ROOM as a Standard ADL?, Proc. ICECCS'99 Fifth IEEE International Conference on Engineering of Complex Computer Systems, 1999.
• [27] B. Selic, G. Gullekson, and P.T. Ward, Real-Time Object-Oriented Modelling, John Wiley and Sons, Inc., 1994.
• [28] B. Stroustrup, The C++ Programming Language, Addison-Wesley, 1991.
• [29] Sun, Java Message Queue, Quickstart Guide v1.1, Sun Microsystems Inc., Palo Alto (USA), May 2000.
• [30] Sun, Java Message Service, Specification Document version 1.0.2 , Sun Microsystems Inc., Palo Alto (USA), November 1999.
• [31] P. Welch, CSPfor Java (What, Why, and How Much?), Slides of Seminar, University of Kent at Canterbury, 2001. Home Page of JCSP, łittp: //www. cs.iikc.ac .iik/projects/of a/jcsp/.
• [32] P. Wojciechowski, and P. Sewell, Nomadic Pici: Language and Infrastructure Design for Mobile Agents, First International Symposium on Agent Systems and Applications (ASA'99)/Third International Symposium on Mobile Agents (MA'99), Palm Springs, CA, USA, 1999.
• [33] World Wide Web Consortium, eXtensible Markup Language, łittp: //w3c.org/XML/.