Using Mobility and Blackboards to Support a Multiparadigm Model Oriented to Distributed Processing
Resumo
Holoparadigm (Holo) is a multiparadigm model oriented to development of parallel and distributed programs. In this paper we propose the Distributed Holo (DHolo), a model to support the distributed execution of programs developed in Holo. DHolo is based on object mobility and blackboards. This distributed model can be fully implemented on Java platform. Specifically, mobility is implemented using Voyager and blackboard using Jada tuple space.
Palavras-chave:
Multiparadigm, Mobility, Blackboard and Distributed Processing
Referências
AIT-KACI, H.; Warren's Abstract Machine - A Tutorial Reconstruction. MIT Press, 1991.
AMANDI, A.; PRICE, A. A Linguagem OWB: Combinando Objetos e Lógica. I Simpósio Brasileiro de Linguagens de Programação, p.305-318, 1996.
AMBRIOLA, V.; CIGNONI, G. A.; SEMINI; L. A Proposal to Merge Multiple Tuple Spaces, Object Oriemation and Logic Programming. Computer Languages, Elmsford, v.22, n.2/3, p.79-93, July/October 1996.
APT, R. et al. Alma-O: An lmperative Language that Supports Declarative Programming. ACM Transactions on Programming Languages and Systems, New York, v.20, September 1998.
BARBOSA, J. L. V.; VARGAS, P. K.; GEYER, C .. GRANLOG: An Integrated Granularity Analysis Model for Parallel Logic Programming. Workshop on Parallelism and Implementation Technology (constraint) Logic Programming, London, 2000.
BARBOSA, J. L. V.; GEYER, C. F. R. Uma Linguagem Multiparadigma Orientada do Desenvolvimento de Software Distribuído. V Simpósio Brasileiro de Linguagens de Programação (SBLP), maio 2001.
BOSSCHERE, K.; TARAU, P. Blackboard-based Extensions in Prolog. Software - Practice and Experience, v.26, n. 1, p.49-69, January 1996.
BROGI, A. AND-parallelism without shared variables. Seventh International Conference on Logic Programming. MIT Press, p.306-324, 1990.
BROGI, A.; CIANCARINI, P. The Concurrent Language, Shared Prolog. ACM Transaction on Programming Languages and Systems. New York, v. 13, n.1, p.99-123, January 1991.
CARRIERO, N.; GELERNTER, O. Linda in comext. Communications of the ACM, v.32, n.4, p.444-458, 1989.
CHIRICO, U. JIProlog - Java Internet Prolog. http://www.geocities.com/jiprolog, April 2001.
CIAMPOLINI, A.; LAMMA, E.; STEFANELLI, C; MELLO, P. Distributed Logic Objects. Computer Languages, v.22, n.4, p.237-258, December 1996.
ClANCARINI, P.; ROSSI, O. JADA: A Coordination Toolkit for Java. http://www.cs.unibo.it/~rossi/jada, April 2001.
CIANCARINI, P. Distributed Programming with Logic Tuple Spaces. New Generating Computing, Berlin, v. 12, n.3, p.251-283, 1994.
HARDWICK, J. Java as an Intermediate Language. School of Computer Science, Camegie Mellon University, Technical Report CMU-CS-96-161, August 1996.
HANUS, M. The Integration of Functions into Lagic Programming from Theory to Practice. Journal of Logic Programming, New York, v.19/20, p.583-628, May/July 1994.
HARIDI, S. et al. Programming Languages for Distributed Applications. New Generating Computing, v. 16, n.3, p.223-261, 1998.
HARIDI, S. et al. Efficient Logic Variables for Distributed Computing. ACM Transactions on Programming Languages and Systems, v. 21, n.3, p.569-626, May 1999.
HENZ, M. Objects in Oz. Saarbrüchen: Universität des Saarlandes, May 1997. (PhD Thesis)
IEEE Transactions on Software Engineering, v.24, n.5, May 1998. (Special lssue on Mobility)
Java. http://www.sun.com/java, April 2001.
LEE, J. H. M.; PUN, P. K. C. Object Logic Imegration: A Multiparadigm Design Methodology anda Programming Language. Computer Languages. v.23, n. 1, p.25-42, April 1997.
MEH, M.; SCHEIDHAUER, R.; SCHULTE, C. An Abstract Machine for OZ. Seventh Intemational Symposium on Programming Languages, lmplementations, Logics and Programs (PLIP'95). Springer-Verlag, LNCS, September 1995.
MULLER, M.; MULLER, T.; ROY, P. V. Multiparadigm Programming in Oz. Visions for the Future of Logic Programming: Laying the Foundations for a Modem Successor of Prolog, 1995.
NG, K. W.; LUK, C. K. I+: A Multiparadigm Language for Object-Oriented Declarative Programming. Computer Languages, v.21, n.2, p. 81-100, July 1995.
NII, H. P. Blackboard systems: the blackboard model of problem solving and the evolution of blackboard architectures. AI Magazine, v.7, n.2, p.38-53, 1986.
PINEDA, A.; HERMENEGILDO, M. O'CIAO: An Object Oriented Programming Model Using CIAO Prolog. Technical report CLIP 5/99.0, Facultad de Informática, UMP, July 1999. Proceedings of the IEEE, v.87, n.3, march 1999. (Special lssue on Distributed DSM)
Programming Languages for the Java Virtual Machine. [link] (March 2001)
ROY, P. V. et al. Mobile Objects in Distributed Oz. ACM Transactions on Programming Languages and Systems, v.19, n.5, p.804-851, September 1997.
TARAU, P. Jinni: lmelligent Mobile Agem Programming at the Intersection of Java and Prolog. PAAM'9, The Practical Applications Company, 1999.
VARGAS, P. K.; BARBOSA. J. L. V.; FERRAR!, 0 .; GEYER, C. F. R.; CHASSIN, J. Distributed OR Scheduling with Granularity lnformation. XII Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, SBC, 2000.
Voyager. http://www.objectspace.com, April 2001.
WEGNER, P. Tradeo.ffs between Reasoning and Modeling. In: Agha, G.; Wegner, P.; Yonezawa, A. (eds.). Research Direction in Concurrent Object-Oriented Programming. Mit Press, p.22-41, 1993.
WEGNER, P. Why imeraction is more powerful than algorithms. Communications of the ACM, v. 40, n. 5, p.80-91, May 1997.
YAMIN, A. C. An Execution Environment for Multiparadigm Models. PPGC/UFRGS, 1999. (PHD Proposal)
AMANDI, A.; PRICE, A. A Linguagem OWB: Combinando Objetos e Lógica. I Simpósio Brasileiro de Linguagens de Programação, p.305-318, 1996.
AMBRIOLA, V.; CIGNONI, G. A.; SEMINI; L. A Proposal to Merge Multiple Tuple Spaces, Object Oriemation and Logic Programming. Computer Languages, Elmsford, v.22, n.2/3, p.79-93, July/October 1996.
APT, R. et al. Alma-O: An lmperative Language that Supports Declarative Programming. ACM Transactions on Programming Languages and Systems, New York, v.20, September 1998.
BARBOSA, J. L. V.; VARGAS, P. K.; GEYER, C .. GRANLOG: An Integrated Granularity Analysis Model for Parallel Logic Programming. Workshop on Parallelism and Implementation Technology (constraint) Logic Programming, London, 2000.
BARBOSA, J. L. V.; GEYER, C. F. R. Uma Linguagem Multiparadigma Orientada do Desenvolvimento de Software Distribuído. V Simpósio Brasileiro de Linguagens de Programação (SBLP), maio 2001.
BOSSCHERE, K.; TARAU, P. Blackboard-based Extensions in Prolog. Software - Practice and Experience, v.26, n. 1, p.49-69, January 1996.
BROGI, A. AND-parallelism without shared variables. Seventh International Conference on Logic Programming. MIT Press, p.306-324, 1990.
BROGI, A.; CIANCARINI, P. The Concurrent Language, Shared Prolog. ACM Transaction on Programming Languages and Systems. New York, v. 13, n.1, p.99-123, January 1991.
CARRIERO, N.; GELERNTER, O. Linda in comext. Communications of the ACM, v.32, n.4, p.444-458, 1989.
CHIRICO, U. JIProlog - Java Internet Prolog. http://www.geocities.com/jiprolog, April 2001.
CIAMPOLINI, A.; LAMMA, E.; STEFANELLI, C; MELLO, P. Distributed Logic Objects. Computer Languages, v.22, n.4, p.237-258, December 1996.
ClANCARINI, P.; ROSSI, O. JADA: A Coordination Toolkit for Java. http://www.cs.unibo.it/~rossi/jada, April 2001.
CIANCARINI, P. Distributed Programming with Logic Tuple Spaces. New Generating Computing, Berlin, v. 12, n.3, p.251-283, 1994.
HARDWICK, J. Java as an Intermediate Language. School of Computer Science, Camegie Mellon University, Technical Report CMU-CS-96-161, August 1996.
HANUS, M. The Integration of Functions into Lagic Programming from Theory to Practice. Journal of Logic Programming, New York, v.19/20, p.583-628, May/July 1994.
HARIDI, S. et al. Programming Languages for Distributed Applications. New Generating Computing, v. 16, n.3, p.223-261, 1998.
HARIDI, S. et al. Efficient Logic Variables for Distributed Computing. ACM Transactions on Programming Languages and Systems, v. 21, n.3, p.569-626, May 1999.
HENZ, M. Objects in Oz. Saarbrüchen: Universität des Saarlandes, May 1997. (PhD Thesis)
IEEE Transactions on Software Engineering, v.24, n.5, May 1998. (Special lssue on Mobility)
Java. http://www.sun.com/java, April 2001.
LEE, J. H. M.; PUN, P. K. C. Object Logic Imegration: A Multiparadigm Design Methodology anda Programming Language. Computer Languages. v.23, n. 1, p.25-42, April 1997.
MEH, M.; SCHEIDHAUER, R.; SCHULTE, C. An Abstract Machine for OZ. Seventh Intemational Symposium on Programming Languages, lmplementations, Logics and Programs (PLIP'95). Springer-Verlag, LNCS, September 1995.
MULLER, M.; MULLER, T.; ROY, P. V. Multiparadigm Programming in Oz. Visions for the Future of Logic Programming: Laying the Foundations for a Modem Successor of Prolog, 1995.
NG, K. W.; LUK, C. K. I+: A Multiparadigm Language for Object-Oriented Declarative Programming. Computer Languages, v.21, n.2, p. 81-100, July 1995.
NII, H. P. Blackboard systems: the blackboard model of problem solving and the evolution of blackboard architectures. AI Magazine, v.7, n.2, p.38-53, 1986.
PINEDA, A.; HERMENEGILDO, M. O'CIAO: An Object Oriented Programming Model Using CIAO Prolog. Technical report CLIP 5/99.0, Facultad de Informática, UMP, July 1999. Proceedings of the IEEE, v.87, n.3, march 1999. (Special lssue on Distributed DSM)
Programming Languages for the Java Virtual Machine. [link] (March 2001)
ROY, P. V. et al. Mobile Objects in Distributed Oz. ACM Transactions on Programming Languages and Systems, v.19, n.5, p.804-851, September 1997.
TARAU, P. Jinni: lmelligent Mobile Agem Programming at the Intersection of Java and Prolog. PAAM'9, The Practical Applications Company, 1999.
VARGAS, P. K.; BARBOSA. J. L. V.; FERRAR!, 0 .; GEYER, C. F. R.; CHASSIN, J. Distributed OR Scheduling with Granularity lnformation. XII Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, SBC, 2000.
Voyager. http://www.objectspace.com, April 2001.
WEGNER, P. Tradeo.ffs between Reasoning and Modeling. In: Agha, G.; Wegner, P.; Yonezawa, A. (eds.). Research Direction in Concurrent Object-Oriented Programming. Mit Press, p.22-41, 1993.
WEGNER, P. Why imeraction is more powerful than algorithms. Communications of the ACM, v. 40, n. 5, p.80-91, May 1997.
YAMIN, A. C. An Execution Environment for Multiparadigm Models. PPGC/UFRGS, 1999. (PHD Proposal)
Publicado
10/09/2001
Como Citar
BARBOSA, Jorge Luis Victória; YAMIN, Adenauer Corrêa; VARGAS, Patrícia Kayser; FERRARI, Débora Nice; SCHAEFFER, Alberto Egon; GEYER, Cláudio Fernando Resin.
Using Mobility and Blackboards to Support a Multiparadigm Model Oriented to Distributed Processing. In: INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD), 13. , 2001, Pirenópolis.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2001
.
p. 187-194.
DOI: https://doi.org/10.5753/sbac-pad.2001.22208.
