Modelos para la computación móvil

En este artículo presentamos un análisis comparativo de algunos cálculos de computación móvil propuestos recientemente. Al tiempo que se describen el π - cálculo propuesto por Milner en [RMW92], un cálculo de ambientes propuesto por Cardelli y Gordon en [CG98] y PiCO; un cál...

Full description

Autores:
Díaz Frías, Juan Francisco
Rueda, Camilo
Tipo de recurso:
Trabajo de grado de pregrado
Fecha de publicación:
2000
Institución:
Universidad Autónoma de Bucaramanga - UNAB
Repositorio:
Repositorio UNAB
Idioma:
spa
OAI Identifier:
oai:repository.unab.edu.co:20.500.12749/9082
Acceso en línea:
http://hdl.handle.net/20.500.12749/9082
Palabra clave:
Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
TIC´s
Technological innovations
Computer science
Technology development
Systems engineering
Investigations
Information and communication technologies
ICT's
Calculations
Mobile computing
Applications
Innovaciones tecnológicas
Ciencias de la computación
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y la comunicación
Desarrollo tecnológico
Cálculos
Computación móvil
Aplicaciones
Rights
License
Derechos de autor 2000 Revista Colombiana de Computación
id UNAB2_8f7a38b92660cc0f676f209b33c6b6da
oai_identifier_str oai:repository.unab.edu.co:20.500.12749/9082
network_acronym_str UNAB2
network_name_str Repositorio UNAB
repository_id_str
dc.title.spa.fl_str_mv Modelos para la computación móvil
dc.title.translated.eng.fl_str_mv Models for mobile computing
title Modelos para la computación móvil
spellingShingle Modelos para la computación móvil
Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
TIC´s
Technological innovations
Computer science
Technology development
Systems engineering
Investigations
Information and communication technologies
ICT's
Calculations
Mobile computing
Applications
Innovaciones tecnológicas
Ciencias de la computación
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y la comunicación
Desarrollo tecnológico
Cálculos
Computación móvil
Aplicaciones
title_short Modelos para la computación móvil
title_full Modelos para la computación móvil
title_fullStr Modelos para la computación móvil
title_full_unstemmed Modelos para la computación móvil
title_sort Modelos para la computación móvil
dc.creator.fl_str_mv Díaz Frías, Juan Francisco
Rueda, Camilo
dc.contributor.author.spa.fl_str_mv Díaz Frías, Juan Francisco
Rueda, Camilo
dc.contributor.cvlac.spa.fl_str_mv Díaz Frías, Juan Francisco [0000086410]
dc.contributor.googlescholar.spa.fl_str_mv Díaz Frías, Juan Francisco [Ts0f-mcAAAAJ]
Rueda, Camilo [wSyirisAAAAJ]
dc.contributor.orcid.spa.fl_str_mv Díaz Frías, Juan Francisco [0000-0002-6178-0595]
Rueda, Camilo [0000-0001-8387-9644]
dc.contributor.researchgate.spa.fl_str_mv Díaz Frías, Juan Francisco [Juan-Diaz-97]
dc.subject.none.fl_str_mv Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
TIC´s
topic Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
TIC´s
Technological innovations
Computer science
Technology development
Systems engineering
Investigations
Information and communication technologies
ICT's
Calculations
Mobile computing
Applications
Innovaciones tecnológicas
Ciencias de la computación
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y la comunicación
Desarrollo tecnológico
Cálculos
Computación móvil
Aplicaciones
dc.subject.keywords.eng.fl_str_mv Technological innovations
Computer science
Technology development
Systems engineering
Investigations
Information and communication technologies
ICT's
Calculations
Mobile computing
Applications
dc.subject.lemb.spa.fl_str_mv Innovaciones tecnológicas
Ciencias de la computación
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y la comunicación
dc.subject.proposal.spa.fl_str_mv Desarrollo tecnológico
Cálculos
Computación móvil
Aplicaciones
description En este artículo presentamos un análisis comparativo de algunos cálculos de computación móvil propuestos recientemente. Al tiempo que se describen el π - cálculo propuesto por Milner en [RMW92], un cálculo de ambientes propuesto por Cardelli y Gordon en [CG98] y PiCO; un cálculo de objetos y restricciones propuesto por el grupo AVISPA 1 en [ADQ+00], se comparan entre ellos y se comentan sus principales características asociadas a la computación móvil. Otros cálculos como MCC ([R97]) y DyTyCO ([VLSF99]) también son analizados.
publishDate 2000
dc.date.issued.none.fl_str_mv 2000-12-01
dc.date.accessioned.none.fl_str_mv 2020-10-27T00:21:40Z
dc.date.available.none.fl_str_mv 2020-10-27T00:21:40Z
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.driver.none.fl_str_mv info:eu-repo/semantics/article
dc.type.local.spa.fl_str_mv Artículo
dc.type.coar.none.fl_str_mv http://purl.org/coar/resource_type/c_7a1f
dc.type.redcol.none.fl_str_mv http://purl.org/redcol/resource_type/CJournalArticle
format http://purl.org/coar/resource_type/c_7a1f
dc.identifier.issn.none.fl_str_mv 2539-2115
1657-2831
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/20.500.12749/9082
dc.identifier.instname.spa.fl_str_mv instname:Universidad Autónoma de Bucaramanga UNAB
dc.identifier.repourl.none.fl_str_mv repourl:https://repository.unab.edu.co
identifier_str_mv 2539-2115
1657-2831
instname:Universidad Autónoma de Bucaramanga UNAB
repourl:https://repository.unab.edu.co
url http://hdl.handle.net/20.500.12749/9082
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv https://revistas.unab.edu.co/index.php/rcc/article/view/1127/1097
dc.relation.uri.none.fl_str_mv https://revistas.unab.edu.co/index.php/rcc/article/view/1127
dc.relation.references.none.fl_str_mv G. Alvarez, J. F. Diaz, L. Quesada, F. Valencia, C. Rueda, and G. Assayag. Pico: A calculus of concurrent constraint ob jects for musical applications. In Workshop on Constraints and the Arts, ECAI98, Brighton, England, 1998.
G. Alvarez, J. F. Diaz, L. Quesada, F. Valencia, C. Rueda, G. Tamura, and G. Assayag. Integrating constraints and concurrent ob jects in musical applications: A calculus and its visual language. Constraints, 2000. To appear.
R. Amadio and S Prasad. Modeling ip mobility. Technical Report 3301, INRIA, Sophia Antipolis, November 1997.
L. Cardelli. Global computation. Sigplan Notices, 32(1):66 68, 1997.
L. Cardelli and A. Gordon. Mobile ambients. in Foundations of Software Science and Computational Structures, Maurice Nivat (Ed.), Lecture Notes in Computer Science, 1378:140 155, 1998.
L. Cardelli, G. Ghelli, and A. Gordon. Secrecy and group creation. In Proceedings of CONCUR'2000, 2000. To appear.
R. Milner. The polyadic -calculus: a tutorial. Technical Report ECS-LFCS-91-180, Laboratory for Foundations of Computer Science October 1991. Also in Logic and Algebra of Speci cation, ed. F. L. Bauer, W. Brauer and H. Schwichtenberg, Springer Verlag , 1993.
R. Milner. Interaction. Communications of the ACM, 36(1):79 89, 1993.
R. Milner. Calculi for interaction. Acta Informatica, 33(8):707 737, 1996.
J.H. Réty. Un langage distribué concurrent avec contraintes. JFPLC-97, 1997.
J. Parrow R. Milner and D. Walker. A calculus of mobile processes, Parts I and II. Journal of Information and Computation, 100:1 77, September 1992.
V. A. Saraswat. Concurrent Constraint Programming. The MIT Press, Cambridge, MA, 1993.
G. Smolka. A calculus for higher-order concurrent constraint programming with deep guards. Research Report RR-94-03, Deutsches Forschungszentrum für Künstliche Intelligenz, Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany, February 1994.
V. T. Vasconcelos. Typed concurrent ob jects. In M. Tokoro and R. Pareschi, editors, Proc. of 8th European Conference on Object-Oriented Programming (ECOOP'94), volume 821 of Lecture Notes in Computer Science, pages 100 117. Springer-Verlag, 1994.
V.T. Vasconcelos, L. Lopes, F. Silva, and A. Figueira. Dityco: an experiment in code mobility from the realm of process calculi, 1999.
dc.rights.none.fl_str_mv Derechos de autor 2000 Revista Colombiana de Computación
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.uri.*.fl_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
dc.rights.uri.none.fl_str_mv http://creativecommons.org/licenses/by-nc-nd/2.5/co/
dc.rights.creativecommons.*.fl_str_mv Attribution-NonCommercial-ShareAlike 4.0 International
rights_invalid_str_mv Derechos de autor 2000 Revista Colombiana de Computación
http://creativecommons.org/licenses/by-nc-sa/4.0/
http://creativecommons.org/licenses/by-nc-nd/2.5/co/
Attribution-NonCommercial-ShareAlike 4.0 International
http://purl.org/coar/access_right/c_abf2
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad Autónoma de Bucaramanga UNAB
publisher.none.fl_str_mv Universidad Autónoma de Bucaramanga UNAB
dc.source.none.fl_str_mv Revista Colombiana de Computación; Vol. 1 Núm. 1 (2000): Revista Colombiana de Computación; 29-45
institution Universidad Autónoma de Bucaramanga - UNAB
bitstream.url.fl_str_mv https://repository.unab.edu.co/bitstream/20.500.12749/9082/2/200_Articulo_Modelos%20para%20la%20computacion%20movil.pdf.jpg
https://repository.unab.edu.co/bitstream/20.500.12749/9082/1/200_Articulo_Modelos%20para%20la%20computacion%20movil.pdf
bitstream.checksum.fl_str_mv 69187acee6f17961b9cc4da891055695
ea4d9daaca723de9585f8f1b20276527
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional | Universidad Autónoma de Bucaramanga - UNAB
repository.mail.fl_str_mv repositorio@unab.edu.co
_version_ 1814278198925459456
spelling Díaz Frías, Juan Francisco95ac6b80-3571-452d-9e5e-57ee78c6ac4a-1Rueda, Camilo10442363-0bf9-4201-9acf-32a84319b033-1Díaz Frías, Juan Francisco [0000086410]Díaz Frías, Juan Francisco [Ts0f-mcAAAAJ]Rueda, Camilo [wSyirisAAAAJ]Díaz Frías, Juan Francisco [0000-0002-6178-0595]Rueda, Camilo [0000-0001-8387-9644]Díaz Frías, Juan Francisco [Juan-Diaz-97]2020-10-27T00:21:40Z2020-10-27T00:21:40Z2000-12-012539-21151657-2831http://hdl.handle.net/20.500.12749/9082instname:Universidad Autónoma de Bucaramanga UNABrepourl:https://repository.unab.edu.coEn este artículo presentamos un análisis comparativo de algunos cálculos de computación móvil propuestos recientemente. Al tiempo que se describen el π - cálculo propuesto por Milner en [RMW92], un cálculo de ambientes propuesto por Cardelli y Gordon en [CG98] y PiCO; un cálculo de objetos y restricciones propuesto por el grupo AVISPA 1 en [ADQ+00], se comparan entre ellos y se comentan sus principales características asociadas a la computación móvil. Otros cálculos como MCC ([R97]) y DyTyCO ([VLSF99]) también son analizados.In this article we present a comparative analysis of some recently proposed mobile computing calculations. While describing the π - calculation proposed by Milner in [RMW92], a calculation of environments proposed by Cardelli and Gordon in [CG98] and PiCO; a calculation of objects and restrictions proposed by the AVISPA 1 group in [ADQ+00], they are compared and their main characteristics associated with mobile computing are discussed. Other calculations such as MCC ([R97]) and DyTyCO ([VLSF99]) are also analyzed.application/pdfspaUniversidad Autónoma de Bucaramanga UNABhttps://revistas.unab.edu.co/index.php/rcc/article/view/1127/1097https://revistas.unab.edu.co/index.php/rcc/article/view/1127G. Alvarez, J. F. Diaz, L. Quesada, F. Valencia, C. Rueda, and G. Assayag. Pico: A calculus of concurrent constraint ob jects for musical applications. In Workshop on Constraints and the Arts, ECAI98, Brighton, England, 1998.G. Alvarez, J. F. Diaz, L. Quesada, F. Valencia, C. Rueda, G. Tamura, and G. Assayag. Integrating constraints and concurrent ob jects in musical applications: A calculus and its visual language. Constraints, 2000. To appear.R. Amadio and S Prasad. Modeling ip mobility. Technical Report 3301, INRIA, Sophia Antipolis, November 1997.L. Cardelli. Global computation. Sigplan Notices, 32(1):66 68, 1997.L. Cardelli and A. Gordon. Mobile ambients. in Foundations of Software Science and Computational Structures, Maurice Nivat (Ed.), Lecture Notes in Computer Science, 1378:140 155, 1998.L. Cardelli, G. Ghelli, and A. Gordon. Secrecy and group creation. In Proceedings of CONCUR'2000, 2000. To appear.R. Milner. The polyadic -calculus: a tutorial. Technical Report ECS-LFCS-91-180, Laboratory for Foundations of Computer Science October 1991. Also in Logic and Algebra of Speci cation, ed. F. L. Bauer, W. Brauer and H. Schwichtenberg, Springer Verlag , 1993.R. Milner. Interaction. Communications of the ACM, 36(1):79 89, 1993.R. Milner. Calculi for interaction. Acta Informatica, 33(8):707 737, 1996.J.H. Réty. Un langage distribué concurrent avec contraintes. JFPLC-97, 1997.J. Parrow R. Milner and D. Walker. A calculus of mobile processes, Parts I and II. Journal of Information and Computation, 100:1 77, September 1992.V. A. Saraswat. Concurrent Constraint Programming. The MIT Press, Cambridge, MA, 1993.G. Smolka. A calculus for higher-order concurrent constraint programming with deep guards. Research Report RR-94-03, Deutsches Forschungszentrum für Künstliche Intelligenz, Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany, February 1994.V. T. Vasconcelos. Typed concurrent ob jects. In M. Tokoro and R. Pareschi, editors, Proc. of 8th European Conference on Object-Oriented Programming (ECOOP'94), volume 821 of Lecture Notes in Computer Science, pages 100 117. Springer-Verlag, 1994.V.T. Vasconcelos, L. Lopes, F. Silva, and A. Figueira. Dityco: an experiment in code mobility from the realm of process calculi, 1999.Derechos de autor 2000 Revista Colombiana de Computaciónhttp://creativecommons.org/licenses/by-nc-sa/4.0/http://creativecommons.org/licenses/by-nc-nd/2.5/co/Attribution-NonCommercial-ShareAlike 4.0 Internationalhttp://purl.org/coar/access_right/c_abf2Revista Colombiana de Computación; Vol. 1 Núm. 1 (2000): Revista Colombiana de Computación; 29-45Innovaciones tecnológicasCiencia de los computadoresDesarrollo de tecnologíaIngeniería de sistemasInvestigacionesTecnologías de la información y las comunicacionesTIC´sTechnological innovationsComputer scienceTechnology developmentSystems engineeringInvestigationsInformation and communication technologiesICT'sCalculationsMobile computingApplicationsInnovaciones tecnológicasCiencias de la computaciónIngeniería de sistemasInvestigacionesTecnologías de la información y la comunicaciónDesarrollo tecnológicoCálculosComputación móvilAplicacionesModelos para la computación móvilModels for mobile computinginfo:eu-repo/semantics/articleArtículohttp://purl.org/coar/resource_type/c_7a1fhttp://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/redcol/resource_type/CJournalArticleTHUMBNAIL200_Articulo_Modelos para la computacion movil.pdf.jpg200_Articulo_Modelos para la computacion movil.pdf.jpgIM Thumbnailimage/jpeg8377https://repository.unab.edu.co/bitstream/20.500.12749/9082/2/200_Articulo_Modelos%20para%20la%20computacion%20movil.pdf.jpg69187acee6f17961b9cc4da891055695MD52open accessORIGINAL200_Articulo_Modelos para la computacion movil.pdf200_Articulo_Modelos para la computacion movil.pdfArtículoapplication/pdf289125https://repository.unab.edu.co/bitstream/20.500.12749/9082/1/200_Articulo_Modelos%20para%20la%20computacion%20movil.pdfea4d9daaca723de9585f8f1b20276527MD51open access20.500.12749/9082oai:repository.unab.edu.co:20.500.12749/90822024-04-15 16:29:01.954open accessRepositorio Institucional | Universidad Autónoma de Bucaramanga - UNABrepositorio@unab.edu.co

Publicaciones similares