El liderazgo efectivo de proyectos de tecnología es fundamental para asegurar que tales proyectos concluyan satisfactoriamente, entregando productos de calidad y valor agregado. En particular, este liderazgo es crucial para las iniciativas de gobierno electrónico. En este trabajo se presenta la línea de investigación en Coordinación y Liderazgo de Tecnología para Gobierno Electrónico que tiene como objetivo definir un framework que permita la implementación y el sostenimiento de un modelo de líderes de tecnología para el sector público (Chief Information Officer) en Gobierno (GCIO). Asimismo, y con el objetivo de asegurar la disponibilidad de recursos humanos capaces de cumplir con las responsabilidades de esta función, se pretende desarrollar currícula para una especialización en GCIO.Eje: Innovación en Sistemas de SoftwareRed de Universidades con Carreras en Informática (RedUNCI

Amaro, Silvia

Dolz, Daniel

Godoy, Ingrid

Granados, Andrea

Klemen, Maximiliano

López, Lidia Marina

Pérez, Paola

Quiroga, Pablo

Reynoso, Luis A.

Sánchez, Viviana

Vaucheret, Claudio A.

Spanish

El Servicio de Difusión de la Creación Intelectual

Una Solucio´n Multiparadigma para el Desarrollo de
Software
Silvia Amaro, Pablo Quiroga, Luis Reynoso
{samaro, pquiroga, lreynoso}@uncoma.edu.ar
Claudio Vaucheret, Lidia Lo´pez, Daniel Dolz
{vaucheret, lidiamlopez, daniel.dolz}@gmail.com
Andrea Granados, Ingrid Godoy, Viviana Sa´nchez, Maximiliano Klemen
{agranados80, ingriduncoma, sanchez.viviana, maximilianoklemen}@gmail.com
Paola Pe´rez
ppercat@hotmail.com
Dpto. de Ciencias de la Computacio´n
Facultad de Economı´a y Administracio´n
Universidad Nacional del Comahue, Argentina
1. Contexto
La lı´nea de investigacio´n orientada al de-
sarrollo multiparadigma se enmarca dentro del
proyecto de investigacio´n ”Te´cnicas Avanzadas
y Ana´lisis para el Desarrollo Multiparadigma”
2. Resumen
En el proceso de desarrollo de software, es
necesario ser capaces de identificar la natu-
raleza del problema a resolver para elegir las
herramientas y te´cnicas que mejor se adapten
a la situacio´n, y den respuesta a la naturaleza
multidimensional de los problemas de software
complejos. Una aproximacio´n multiparadigma
parece ser lo opcio´n indicada teniendo en cuen-
ta que usualmente un u´nico paradigma no alcan-
za en el dominio del problema a resolver. Nue-
stro objetivo es establecer modelos, procesos y
te´cnicas para mejorar el desarrollo de sistemas
en un ambiente multiparadigma.
Palabras clave: Programacio´n multiparadigma,
Lenguajes de Programacio´n, Abstraccio´n, Do-
minios complejos.
3. Introduccio´n
Un producto de software esta´ compuesto
de un nu´mero importante de diversos arte-
factos que representan porciones diferentes
del software, obtenidos a lo largo del proceso
de desarrollo (requerimientos, especificacio´n,
disen˜o, co´digo fuente, casos de testeo, etc.).
Los sistemas de software evolucionan en el
tiempo, y a medida que el software cambia y
crece, todos los artefactos que lo componen
evolucionan a su vez, en diferentes formas.
Los problemas que representan las aplica-
ciones de software son usualmente complejos,
y tienen una naturaleza multidimensional. Los
desarrolladores tienden a pensar de formas
diferentes dependiendo de la naturaleza del
problema que les toca resolver. Asimismo
es importante lograr los resultados esperados,
en el tiempo esperado y con la calidad esperada.
1
                      536WICC 2010 - XII Workshop de Investigadores en Ciencias de la Computación
En este contexto es importante aplicar las
te´cnicas y pra´cticas mas apropiadas para el
problema a resolver. Y aquı´ las abstracciones
juegan un rol principal, enfoca´ndose en la
esencia del problema y excluyendo los detalles,
analizando concordancias y diferencias. La
abstraccio´n es una herramienta clave del disen˜o
de software que permite tratar la creciente
complejidad de los sitemas informa´ticos.
La mayorı´a de los paradigmas de software
esta´n arraigados en un modelo cla´sico de
abstraccio´n basado en categorias formadas
por propiedades comunes. Para analizar mas
alla´ de este modelo, es necesario mostrar que
algunos dominios del mundo real no responden
estrictamente al modelo clasico, sino mas
bien, que la combinacio´n de caracterı´sticas de
diferentes paradigmas dentro de un dominio es
la vı´a adecuada para representar problemas y
soluciones de dominios reales y alcanzar metas
mas altas de independencia de desarrollo y
capacidad de mantenimiento [12].
El paradigma orientado a objetos brinda una
poderosa herramienta para capturar las ab-
stracciones de muchos dominios de aplicacio´n,
presentando una forma natural de mdularizar
una aplicacio´n. Sin embargo ningu´n paradigma
es capaz de resolver todos los problemas de for-
ma sencilla y eficiente, por lo tanto es u´til poder
elegir entre distintas te´cnicas de programacio´n
dependiendo del tipo de problema [10, 6].
En este escenario el desarrollo multiparadig-
ma tiene como principal objetivo proveer
al programador con un conjunto variado de
herramientas de manera que cuando enfrente
un problema no se vea forzado a utilizar una
u´nica te´cnica de programacio´n, sino que tenga
la libertad de seleccionar la te´cnica de solucio´n
que mejor se adapte a las caracterı´sticas del
problema a resolver.
Pero, ¿que´ es un paradigma?. En tecnologı´as
de software un paradigma representa las direc-
tivas para crear abstracciones. El paradigma es
el principio por el cual un problema puede ser
comprendido y descompuesto en componentes
manejables. En particular un paradigma de
programacio´n es el modo de conceptualizar lo
que significa realizar una computacio´n y co´mo
las tareas a llevarse a cabo sobre una computa-
dora deben ser estructuradas y organizadas. El
lenguaje en el cual un programador piensa un
problema influira´ en modo ba´sico fundamental
la forma en la cual un algoritmo es desarrollado.
La comparacio´n entre paradigmas se basa en
la facilidad de uso por el programador que no
puede disociarse de la naturaleza del problema
a resolver. Un lenguaje de programacio´n puede
soportar distintos paradigmas de programacio´n
con el objetivo de que un programador utilice
el ma´s conveniente a la hora de resolver un
problema. Un lenguaje de programacio´n multi-
paradigma es un lenguaje de programacio´n que
soporta mas de un paradigma de programacio´n.
Timothy Budd, en [17] sostiene que: ”la idea
de un lenguaje multiparadigma es proveer un
framework en el que los programadores puedan
trabajar en una variedad de estilos, mezclando
libremente las construcciones caracterı´sticas de
los diferentes paradigmas. La meta de disen˜o de
tales lenguajes es permitir a los programadores
utilizar la mejor herramienta para un trabajo,
admitiendo que ningu´n paradigma resuelve
todos los problemas en la forma mas fa´cil o
mas eficiente”.
Varios lenguajes han demostrado que ori-
entacio´n a objetos y programacio´n funcional
pueden complementarse, formando un equipo
exitoso [16]. Por su parte el desarrollo orienta-
do a aspectos se presenta apropiado para asistir
al desarrollador en aislar puntos de variacio´n en
un programa. Esto ayuda al programa a evolu-
cionar y adaptarse a nuevos requerimientos de
cambio durante el ciclo de vida del programa.
Si bien la programacio´n orientada a aspectos
en general se ha presentado como extensio´n
de la orientacio´n a objetos, y ba´sicamente en
las situaciones en que los lenguajes soporten
herencia y polimorfismo de subtipos, es de
intere´s investigar los resultados que se pueden
obtener al tomar otros paradigmas anfitriones.
                      537WICC 2010 - XII Workshop de Investigadores en Ciencias de la Computación
En particular, un lenguaje que se esta´ toman-
do como caso de estudio y plataforma de
desarrollo dada sus caracterı´sticas u´nicas es
Ciao Prolog [3]. Ciao es un lenguaje multi-
paradigma basado en expansiones sinta´cticas
que implementan distintos paradigmas medi-
ante la te´cnica de compilacio´n de control.
Tambie´n se esta analizando el lenguaje mul-
tiparadigma Oz [7, 11], que fue disen˜ado
para combinar en forma armo´nica concep-
tos que tradicionalmente esta´n relacionados
con paradigmas de programacio´n diferentes.
Oz tiene subconjuntos que representan un
lenguaje lo´gico, un lenguaje funcional, un
lenguaje orientado a objetos y un lenguaje
concurrente de flujo de datos, y mas. Otros
lenguajes de intera´s son: Leda, soporta los
paradigmas imperativo, orientado a objetos,
lo´gico y funcional [17]; Python, combina el
paradigma imperativo,funcional, orientado ob-
jetos y orientado a aspectos; Ruby, Scala, y mas.
4. Lı´neas de Investigacio´n y
Desarrollo
Para lograr los objetivos planteados se esta´n
abordando distintas tema´ticas en el contexto del
desarrollo multiparadigma, como:
bases para la definicio´n del paradig-
ma orientado a agentes Se pretende es-
tablecer las bases para dar origen a una
definicio´n definitiva del paradigma orien-
tado a agentes. Se esta trabajando sobre
Ciao FLUX, una primera aproximacio´n a
una extensio´n del lenguaje multiparadigma
Ciao Prolog que permite dotar a agentes
con capacidades cognitivas de alto nivel,
mediante una adaptacio´n del me´todo de
programacio´n de agentes FLUX. La bon-
dad ma´s importante que brinda Ciao, sin
embargo, es la facilidad con la que permite
realizar extensiones del lenguaje, ya sea
a nivel sinta´ctico, sema´ntico o de control
[9, 8]. Se eligio´ Ciao Prolog como lengua-
je anfitrio´n por su facilidad de extensio´n y
porque posee un gran repertorio de mo´du-
los que permiten implementar autonomı´a,
reactividad, proactividad, habilidad social
y movilidad, caracterı´sticas fundamentales
a la hora de programar agentes.
Ana´lisis y adecuacio´n de te´cnicas orien-
tadas a aspectos en paradigmas ba´sicos.
En general, al trabajar con lenguajes de
AOP, la lo´gica de los aspectos se entrelaza
en la aplicacio´n destino, y en esta situacio´n
mu´ltiples aspectos, desarrollados de for-
ma independiente pueden producir com-
portamiento inesperado en el sistema. Re-
sulta de intere´s analizar el beneficio que
pueda producir la aplicacio´n de concep-
tos de orientacio´n a aspectos en lenguajes
no orientados a objetos y multiparadigma
[4, 2].
Ana´lisis de diversos paradigmas de desar-
rollo de software Nos interesa determinar
cuales son los efectos de considerar var-
ios paradigmas en el proceso de desarrollo
de software. Consideraremos, el desarrol-
lo de software orientado a aspectos, inge-
nierı´a de software basada en componentes,
desarrollo de software orientado a carac-
terı´sticas [5, 1, 15], etc.
Ana´lisis y comparacio´n de lenguajes mul-
tiparadigma Interesa estudiar la posibil-
idad de extender algunos lenguajes, in-
corporando caracterı´sticas multiparadig-
ma. Se esta´ realizando un ana´lisis de
los lenguajes que tienen caracterı´sticas
multiparadigma (Ciao Prolog, Ruby, Oz,
Python, Scala, etc) para definir un entorno
comparativo de los mismos [6, 16, 14].
5. Resultados esperados
El desarrollo multiparadigma permite la con-
struccio´n de sistemas mediante la seleccio´n del
paradigma apropiado en cada situacio´n. El pro-
ducto de la presente propuesta puede ser de util-
idad para el desarrollo de aplicaciones en do-
minios particulares y que deban cumplir con
                      538WICC 2010 - XII Workshop de Investigadores en Ciencias de la Computación
propiedades particulares, tales como eficiencia,
seguridad y calidad, brindando apoyo al desar-
rollador para la evaluacio´n y seleccio´n de las
mejores te´cnicas y paradigmas para la construc-
cio´n de sistemas en gran escala.
6. Formacio´n de Recursos
Humanos
El mayor impacto del presente proyecto se
centra en la formacio´n de recursos humanos,
consolidacio´n de grupos de investigacio´n e in-
teraccio´n entre grupos interdisciplinarios. Parte
de los autores esta´n dando sus primeros pasos
en investigacio´n. Actualmente se esta´n desar-
rollando en el contexto del proyecto 3 tesinas de
grado, cuya finalizacio´n esta´ prevista para el se-
gundo semestre del corriente an˜o. Asimismo se
esta´n desarrollando 1 tesis de magister y 2 tesis
doctorales y se prevee la iniciacio´n de nuevos
estudios de posgrado.
Referencias
[1] Guido Soldner and Rudiger Kapetza. AOCI:
An Aspect-Oriented Component Infraestruc-
ture. Workshop on Component Oriented Pro-
gramming WCOP, ECOOP 2007, Berlin, Ale-
mania.
[2] Dong Ha Nguyen and Mario Su¨dholt.
Property-Preserving Evolution of Compo-
nents Using VPA-Based Aspects. In Workshop
on Reflection, AOP and Meta-Data for
Software Evolution, RAM-SE, ECOOP 2007,
Berlin, Alemania.
[3] C. Vaucheret and F. Bueno. More precise yet
efficient type inference for logic programs.
In International Static Analysis Symposium,
LNCS 2477, pp 102-116. Springer-Verlag,
September 2002.
[4] Robert E. Filman, Tzilla Elrad, Siobha´n
Clarke, and Mehmet Ak¸sit, editors. Aspect-
Oriented Software Development. Addison-
Wesley, Boston, 2005.
[5] E´ric Tanter and Jacques Noye´. A Versatile Ker-
nel for Multi-Language AOP. In Proceedings
of the ACM SIGPLAN/SIGSOFT Conference
on Generative Programming and Component
Engineering (GPCE 2005), LNCS, Springer-
Verlag, Tallin, Estonia, September, 2005.
[6] K. Davis and J. Striegnitz. Multiparadigm
Programming in Object-Oriented Languages:
Current Research. In Patrick Eugster (eds.):
Object-Oriented Technology, LNCS 5475,
Programming and Software Engineering, pp
104-115, 2009.
[7] F. Spiessens and P. Van Roy. The Oz-
E PRoject: Design Guidelines for a Se-
cure Multiparadigm Programming Language..
http://www.info.ucl.ac.be/ pvr/oze.pdf
[8] M. Thielscher. FLUX: A logic programming
method for reasoning agents. In Theory and
Practice of Logic Programming, Special Issue
on Constraint Handling Rules, 5(4&5):533-
565, 2005.
[9] M.V. Hermenegildo, F. Bueno, M. Carro,
P. Lo´pez, J.F. Morales, and G. Puebla. An
overview of the ciao multiparadigm language
and program development environment and its
design philosophy. LNCS 5065, Concurrency,
Graphs and Models. pp 209-237, 2008.
[10] M. Fowler, Domain Specific Lan-
guages work in progress, available at
http://www.martinfowler.com/dslwip/
[11] The Oz 1.1 Programming System. Available at
http://www.ps.uni-sb.de/oz1/
[12] J. O. Coplien. MultiParadigm Design. Vri-
je Universiteit Brussel, Faculteit Weten-
schanppen - Departement Informatica.
[13] P. Van Roy. Programming Paradigms for
Dummies: What Every Programmer Should
Know Department of Computing Science and
Engineering - Universite´ catholique de Lou-
vain (UCL) a` Louvain-la-Neuve. Available at
http://www.info.ucl.ac.be/ pvr/VanRoyChapter.pdf
[14] P. Van Roy, P. Brand, D. Duchier, S. Hari-
di, M. Henz and C. Schulte. Logic Program-
ming in the Context of Multiparadigm Pro-
gramming: the Oz Experience. Available at
http://www.info.ucl.ac.be/ pvr/tutFinal.pdf
                      539WICC 2010 - XII Workshop de Investigadores en Ciencias de la Computación
[15] S. Apel and C. Ka¨stner. An Overview of
Feature Oriented Software Development. In
Journal of Object Technology, vol 8, no 5.,
pp 49-84. Julio-Agosto 2009. Available at
http://www.jot.fm/issues/issue 2009 09/article5.
[16] Narbel. Functional Programming at work in
Object-Oriented Programming. In Journal
of Object Technology, vol 8, no 6., pp 181-
209. Septiembre-Octubre 2009. Available at
http://www.jot.fm/issues/issue 2009 07/column5.
[17] T. Budd. Multiparadigm Programming in
Leda. Addison Wesley 1995. ISBN 0-201-
82080-3.
                      540WICC 2010 - XII Workshop de Investigadores en Ciencias de la Computación


Una solución multiparadigma para el desarrollo de software

http://sedici.unlp.edu.ar/bitstream/handle/10915/19574/Documento_completo.pdf?sequence=1

Una solución multiparadigma para el desarrollo de software

Abstract

Similar works

Full text

Available Versions

El Servicio de Difusión de la Creación Intelectual