- 28 JAIIO - 28 Jornadas Argentinas de Informatica e Investigacion Operativa 6 al 10 de Septiembre de 1999
organizadas por SADIO Sociedad Argentina de Informatica e Investigacion Operativa Lugar: Facultad de Ingenieria, Universidad de Buenos Aires. * Existen paquetes universitarios con aranceles reducidos para estudiantes y profesores. Durante la semana del 6 de septiembre se desarrollaran los siguientes simposios: ASAI - Simposio en Inteligencia de Artificial - 7,8,9,10/09 ASOO - Simposio en Orientacisn a Objetos - 6,7/09 REDES - Simposio en Redes, Sistemas Distribuidos y Arquitecturas - 9,10/09 SIO - Simposio en Investigacisn Operativa - 9/09 SIS - Simposio de Informatica y Salud - 6,7/09 SOST - Simposio en Tecnologma de Software - 8,9/09 SyM - Simposio en Simulacisn y Modelmstica - 10/09 WAIT - Workshop Argentino en Informatica Tesrica 6,7/09 WER - Workshop en Requerimientos - 9,10/09 Simultaneamente, se realizaran tres tutoriales sobre Redes Avanzadas auspiciados por TC6, el Comite Tecnico en Sistemas de Comunicacion de IFIP, la Federacion Internacional de Informatica. Martes 7, Miircoles 8, Jueves 9 y Viernes 10 ASAI'99 Simposio en Inteligencia Artificial Brinda un lugar en el que investigadores y profesionales puedan intercambiar ideas y experiencias sobre una amplia variedad de temas como: agentes inteligentes, analisis y recuperacisn de informacisn en Internet, algoritmos geniticos y tutores inteligentes. El propssito es poner en contacto a quienes hayan realizado trabajos en este amplio espectro de aplicacisn, desde los llevados a cabo en el marco de la investigacisn acadimica, hasta aplicaciones comerciales que hayan tenido un impacto significativo. Se mostraran trabajos novedosos realizados en universidades argentinas y del exterior, en particular, desarrollos de agentes inteligentes. Por ejemplo, se presentara un agente denominado NewsAgent desarrollado en el Laboratorio de Agentes Inteligentes del Instituto de Investigacisn ISISTAN de la Universidad Nacional del Centro, Tandil, que genera perisdicos electrsnicos personales con notas periodmsticas que son de interis para el usuario. Actividades Keynote Multi-Agent Systems Organizations Dr. Yves Demazeau (Institut National Polytechnique de Grenoble - France) Language: English with translation to Spanish Tutoriales Machine Learning in Automated Text Categorisation Dr. Fabrizio Sebastiani (Istituto di Elaborazione dell'Informazione - Italy) Language: English with translation to Spanish Multi-Agent Systems Dr. Yves Demazeau (Institut National Polytechnique de Grenoble - France) Language: English with translation to Spanish Conferencias Reactive Agents Coordination: The football simulation case Dr. Marcelo Campo (ISISTAN, Universidad Nacional del Centro) Language: Spanish Personalized Agents for Internet Querying Ing. Mario Zito (Analyte S.R.L.) Language: Spanish Agents for Generating Personal Newspapers Dra. Analia Amandi (ISISTAN, Universidad Nacional del Centro) Language: Spanish Presidente del Comiti de Programa Dra. Analma Amandi, ama...@exa.unicen.edu.ar Univ. Nacional del Centro de la Provincia de Buenos Aires. http://www.exa.unicen.edu.ar/~asai99 Miircoles 8 y Jueves 9 SOST'99 Simposio en Tecnologma de Software Tiene como propssito presentar nuevas ideas, problemas y experiencias sobre Ingenierma de Software, en especial sobre los temas que hacen a Calidad del Proceso, del Producto, y de los Datos. Incluye conferencias y cursos tutoriales dictados por especialistas invitados, sesiones en las que investigadores dedicados al tema presenten nuevas herramientas o conclusiones resultado de sus trabajos, y en las que profesionales expongan experiencias obtenidas en el desarrollo de proyectos. Habra paneles de discusisn de enfoques, metodologmas y experiencias, y un foro de estudiantes de doctorado que permita discutir resultados preliminares de trabajos en curso, para recibir observaciones de investigadores y expertos del area. Conferenciantes Invitados Architectural and other Lessons Learned in Component-based Software Development Will Tracz, Lockheed Martin Federal Systems, Owego, NY. Es editor de ACM SIGSOFT Software Engineering Notes y General Chair de ICSE 2002. Si bien el desarrollo de software basado en componentes reduce tiempo y esfuerzo de desarrollo, requiere infraestructura adicional y apoyo al proceso a lo largo de toda la vida de una aplicacisn. Esta presentacisn resume lecciones aprendidas al tratar con arquitecturas basadas en COTS y se centra en temas ticnicos y gerenciales asociados con la adquisicisn, evaluacisn, seleccisn, configuracisn, manejo del riesgo y evolucisn de componentes del software. Software Metrology Basics: Medicisn, Assessment y Certificacisn de Procedimientos, Objetos y Agentes Hans-Ludwig Hausen, GMD German National Research Center for Information Technology Es autor de libros sobre ambientes de ingenierma de software, calidad y productividad en software, almacenamiento y bzsqueda de informacisn. Tratara con mitodos y principios de mitricas de software para sistemas, tanto procedurales, como orientados a objetos y basados en agentes. Los asistentes tomaran contacto con ticnicas para medicisn con objetivos, ajuste y evaluacisn, como parte de un procedimiento estandarizado, probado en la industria para el aseguramiento de la calidad de software. Se analizaran principalmente temas de calidad y productividad, que son de gran importancia para ingenieros de software, administradores de configuracisn, responsables de calidad, gerentes de proyecto y producto. Presidente del Comiti de Programa Martina Marri mart...@dc.uba.ar Fac. de Ciencias Exactas y Naturales, Univ. de Buenos Aires Lunes 6 y Martes 7 ASOO'99 Simposio en Orientacisn a Objetos Tiene por objeto brindar un foro para la discusisn de problemas de la tecnologma de objetos entre investigadores y quienes la aplican al desarrollo de sistemas. Este aqo, se centralizara en las arquitecturas de software orientadas a objetos, enfocando principalmente los aspectos relacionados con su evaluacisn y aplicacisn en desarrollos comerciales de gran tamaqo. Para ello, ASOO'99 contendra cursos y conferencias brindadas por investigadores destacados del area, presentacisn y discusisn de trabajos de investigacisn, y presentaciones de experiencias de profesionales que utilizan actualmente la tecnologma orientada a objetos. Conferenciantes Invitados Software Product Lines: A New Paradigm for the New Millenium Paul Clements, Software Engineering Institute, Univ. Carnegie Mellon. El reuso de software es uno de los propssitos basicos de la orientacisn a objetos. Las lmneas de productos de software - familias de sistemas que comparten un conjunto de caractermsticas comunes y son construidas a partir de un conjunto de propiedades basicas - estan comenzando a ser usadas como un nuevo paradigma de desarrollo. Ejemplifica el reuso institucionalizado y planificado, describe las lmneas de productos de software, y brinda casos de estudio que muestran csmo son desarrolladas. The Architecture Trade-Off Analysis Method (ATAM) Len Bass, Software Engineering Institute, Carnegie Mellon University. Es autor de varios libros acerca de arquitecturas de software y de diseqo de interfaces con el usuario. Analizara aspectos de las arquitecturas de software, y los atributos de calidad que constituyen la base conceptual del mitodo ATAM ("Architecture Trade-Off Analysis Method"). La arquitectura de software de un sistema es el primer artefacto en el diseqo del sistema, refleja decisiones cruciales realizadas, y resulta un medio adecuado para analizar el cumplimiento de objetivos de calidad. El mitodo ATAM esta siendo utilizado en las evaluaciones de sistemas reales de gran escala. Presidente del Comiti de Programa Ricardo Orosco, oro...@exa.unicen.edu.ar Univ. Nacional del Centro de la Provincia de Buenos Aires Jueves 9 y Viernes 10 WER'99 Workshop en Ingenierma de Requerimientos Este segundo Workshop Ibero - americano en Requerimientos brinda espacios para que los profesionales y acadimicos dedicados y preocupados por la Ingenierma de Requerimientos intercambien conocimientos y experiencias en pequeqos grupos con sus colegas de empresas y universidades de nuestro y otros pamses en ambientes reducidos que faciliten el esfuerzo para consolidar una comunidad regional de investigacisn en el tema. El WER99, tendra, ademas de las discusiones ticnicas, dos sesiones especiales: una dedicada a Educacisn, en la que se analizaran bases para la transferencia del conocimiento, necesidades del aprendizaje y estructuras necesarias para la enseqanza de Ingenierma de Requerimientos, y otra dedicada a Aplicaciones Industriales, en la que se abordaran temas de transferencia de tecnologma, dificultad y oportunidad para el uso en las aplicaciones industriales/comerciales de los mitodos y ticnicas de Ingenierma de Requerimientos. Los temas comprenden gestisn de los requerimientos (evaluacisn, cambio y rastreo); modelos para la adquisicisn, representacisn y validacisn de requerimientos (escenarios, puntos de vista); mitodos formales (especificacisn/verificacisn); consideraciones sociales; influencia de la WEB (requerimientos para ambientes distribuidos/heterogineos); procesos de desarrollo (relacisn de los requerimientos con otros elementos del software); calidad (mitricas y modelos de evaluacisn/verificacisn de calidad). Conferenciante Invitado Hacia un enfoque riguroso del diseqo de interfaces del usuario Joseph Goguen, Universidad de California, San Diego. Funds el Centro para Requerimientos y Fundamentos en la Universidad de Oxford, en el que se aplican los mitodos de las ciencias sociales y la ciencia de la computacisn tradicional a las fases iniciales del ciclo de vida de los sistemas; es autor de varios libros, entre ellos uno escrito junto con Marina Jirotka y titulado Requirements Engineering: Social and Technical Issues. Una de las areas mas difmciles de comprender es el Diseqo de Interfaces del Usuario (UID). Las razones de esto es que el UID ha sido, principalmente, una actividad ad-hoc. Esta presentacisn motiva y bosqueja un nuevo enfoque del UID llamado "semistica algebraica", que combina aspectos de las especificaciones algebraicas con semistica social, brindandose ejemplos del mismo. Copresidentes del Comiti de Programa Alejandro Oliveros, olive...@fibertel.com.ar Univ. Nac. de La Matanza Francisco A. C. Pinheiro, f...@cic.unb.br Universidade Federal de Brasilia Jueves 9 SIO'99 Simposio en Investigacisn Operativa Brinda un foro para que investigadores y docentes de investigacisn operativa intercambien ticnicas, mitodos y experiencias con profesionales que se basan en ella para analizar alternativas de inversisn u operatorias de negocios. Cada vez mas organizaciones utilizan las ticnicas de la Investigacisn Operativa (IO), en problemas que se refieren a la coordinacisn de operaciones o actividades dentro de ellas. Teniendo en cuenta su enfoque cientmfico para la toma de decisiones asm como su amplio punto de vista, la IO se utiliza en las industrias automotrices, electrsnicas, alimenticias, petroleras, de comunicaciones, de transporte y en los sistemas de salud y educacisn. La tematica que se abarcara es amplia y abierta, optimizacisn combinatoria, decisiones multicriterio, teorma de juegos, simulacisn, programacisn matematica, heurmsticas, ruteo, grafos, planificacisn de la produccisn, stock etc. Conferenciantes Invitados Algoritmos Geniticos Zbigniew Michalewicz, University of North Carolina, Charlotte. Vicepresidente Ejecutivo del IEEE Neural Network Council. La masificacisn de las computadoras paralelas desperts el interis por los algoritmos basados en analogmas de procesos naturales, como los de la clase objeto de este curso, basada en el principio de evolucisn. En los mismos, una poblacisn de soluciones potenciales conlleva una secuencia de transformaciones znicas (mutaciones) y de mayor orden (intercambio), en las que estas soluciones se esfuerzan por sobrevivir: una seleccisn programada, inclinada hacia el individuo mas apto, selecciona la generacisn siguiente hasta convergir hacia la solucisn mas cercana al sptimo. Los mitodos de computacisn evolutiva incluyen algoritmos geniticos, estrategias, programacisn evolutiva y genitica, sistemas clasificadores, de aprendizaje y otros. En particular, se discutiran sus posibilidades como ticnica de solucisn de problemas en relacisn a otros mitodos heurmsticos y algunos resultados crmticos actuales. Breve introduccisn a la teorma de juegos evolutivos Elvio Accinelli, Facultad de Ingenierma IME(RL), Montevideo, Uruguay Presidente del Comiti de Programa Marma Alejandra Castellini, m...@unsa.edu.ar Fac. de Ingenierma, Universidad Nacional de Salta Coordinadora de Programa Silvia Rodrmguez, sr...@unsa.edu.ar Fac. de Ciencias Exactas, Univ. Nacional de Salta Viernes 10 SyM'99 Simposio en Simulacisn y Modelmstica No solo la comunidad cientmfica representada por los grupos de investigacisn de universidades, sino la industria esta utilizando crecientemente computadores para simular computacionalmente procesos fmsicos o qummicos. SyM'99 brinda un marco para reunir a profesionales del sector productivo e investigadores para analizar y discutir activamente problemas de modelmstica y simulacisn computacional, incluyendo sus aplicaciones a la ingenierma y a la economma. Conferenciantes invitados Quiin compra simuladores de procesos en la Argentina? German Guido Lavalle, UNICEN, Buenos Aires Es doctor en Ingenierma del Instituto Balseiro habiendo recibido diversos premios nacionales. Se analizan las diversas alternativas que actualmente se le ofrecen a quien debe analizar procesos por simulacisn, estudiando el efecto de las distintas variables y discutiendo ventajas y desventajas de cada uno de los enfoques posibles. Simulacisn de patrones de crecimiento dendrmticos y fractales Guillermo Marshall, Depto. de Computacisn, FCEN, UBA Es Director del Laboratorio de Sistemas Complejos y miembro de la Carrera del Investigador Cientmfico del Conicet. Es autor o coautor de cerca de 80 publicaciones incluyendo cuatro libros. La formacisn de patrones de crecimiento, esto es, el crecimiento inestable de interfases, es un fensmeno comzn a una amplia gama de problemas desde la Fmsica a la Biologma. En el mismo se producen geometrmas complejas de caracter fractal o dendrmtico. La deposicisn electroqummica de depssitos ramificados en celdas delgadas es un modelo paradigmatico para el estudio de la formacisn de patrones de crecimiento. Aqum se presenta una revisisn de los aspectos experimentales y tesricos mas relevantes de este fensmeno fascinante y su simulacisn computacional. Presidentes del Comiti de Programa Alejandro Clausse, clau...@exa.unicen.edu.ar Marcelo Vinere, vene...@exa.unicen.edu.ar Inst. de Sistemas, Universidad Nacional del Centro de la Pcia. de Bs. As. Lunes 6 y Martes 7 WAIT'99 Workshop Argentino en Informatica Tesrica El propssito es acercar a acadimicos de universidades argentinas y de otros lugares para discutir problemas, resultados y aplicaciones de los fundamentos y conceptos de la Ciencia de la Computacisn. Los profesionales que asistan se beneficiaran de este intercambio, aportando los puntos de vista de la industria y enterandose de tendencias que se transformaran mas adelante en mitodos o productos concretos. Los temas que abarca incluyen Autsmatas, Algoritmos y Estructuras de Datos, Complejidad Computacional, Grafos, Computacisn Simbslica y Algebraica, Aspectos Algebraicos y Combinatorios de la Informatica, Verificacisn Formal y, en general, todos los relacionados con Modelos de Csmputo. Conferenciantes Invitados Calculo de sistemas algebraicos Dr. Bernard Moeller, Inst. de Informatica, Universidad de Ausburgo. Se dedica a semantica formal, especificaciones lsgicas y algebraicas, desarrollo transformacional de programas y algoritmos para maquinas no convencionales. Los calculos algebraicos para diseqo de sistemas tienen por objeto derivar implementaciones a partir de especificaciones utilizando reglas de deduccisn que preservan la semantica. El propssito de las aproximaciones algebraicas modernas es hacer las especificaciones y los calculos mas concisos y potentes, compactando lsgica en algebra tanto como resulte posible. De este modo la escritura sera menos pasible de errores y la lectura y comprensisn seran mas sencillas y rapidas. The MENSURAE Language: Specifying Business Processes! Dr. Thomas S.E. Maibaum, King's College, Univ. de Londres. Ha sido full professor en el Imperial College y es miembro del Steering Committee de ICSE. Es un lenguaje para modelizar procesos de negocios. Posee una semantica formal, de manera que es posible realizar analisis formal y prediccisn en tirminos de sus modelos, y esta basado en principios de teorma de la medida. Es posible aplicar principios de la ciencia y la ingenierma para definir medidas y realizar mediciones sobre los procesos. Es tambiin relevante para modelar "threads" de ejecucisn en sistemas orientados a objetos y puede dar lugar a construcciones apropiadas para definir computaciones temporizadas, concurrentes y sincronizadas sobre estructuras orientadas a objetos. Presidente del Comiti de Programa Gabriel Baum, gb...@sol.info.unlp.edu.ar LIFIA, Univ. Nacional de La Plata Marcelo Frmas, mfr...@sol.info.unlp.edu.ar FCEyN, Univ. de Buenos Aires y LIFIA, Univ. Nacional de La Plata Lunes 6 y Martes 7 SIS'99 Simposio en Informatica y Salud Esta dirigido a profesionales del area de tecnologma informatica y analisis de informacisn de instituciones de salud, asm como a desarrolladores de software para el area, y se centrara en el estado actual de la implementacisn de estandares internacionales de representacisn y comunicacisn de datos midicos en la Argentina. Se analizaran, principalmente, las propuestas disponibles para la oluciones. Virtual networks Lorne Mason, Profesor Emirito, INRS-Telecommunications Se presenta una arquitectura coherente de red ATM empleando conceptos de redes virtuales. Istas, estan definidas como un subconjunto de recursos fmsicos y lsgicos que actzan conjuntamente para soportar o una clase de servicio especmfica, o un grupo de clientes o una funcisn de gestisn. Esto permite la adaptacisn de redes virtuales particulares, mientras se mantiene la conectividad y recursos compartidos propios de redes pzblicas. Se ejemplifican aplicaciones de redes virtuales para soportar la integracisn IP/ATM, asm como capacidades de autoreparacisn, junto con resultados de comportamiento y procedimientos de dimensionamiento, lo que demuestra los miritos de este enfoque en realcisn a alternativas convencionales. Csmo proveer QoS en la prsxima generacisn de Internet? Andri Danthine, Profesor de la Universidad de Lieja, cres la Unidad de Investigacisn en Networking (UIN) en 1972, lanzs el proyecto ESPIRIT I en 1983 y fue Chairman del TC 6 de IFIP. La aparicisn del video y el desarrollo de las aplicaciones orientadas a los negocios hacen muy probable que el servicio provisto por la capa IP de Internet, de tipo "best effort", deba mejorarse para brindar la calidad de servicio (QoS) requerida por algunas de estas aplicaciones. Estas nuevas calidades del servicio pueden relacionarse con garantmas, ya sean firmes o estadmsticas, respecto del ancho de banda o el retardo, y estaran asociadas con un incremento en las tarifas. Se presentan los tres enfoques que hoy dma se consideran aptos para cumplir con los nuevos requerimientos: Sobre-provisisn (Overprovisioning), Servicio integrado (IntServ) y Servicio diferenciado (DiffServ). Presidentes del Comiti de Programa Alejandro Roman, aro...@jus.gov.ar Facultad de Ingenierma, Universidad de Buenos Aires Patricia Borensztejn, patri...@dc.uba.ar Depto. de Computacisn, Fac. de Cs. Exactas y Naturales, UBA TUTORIALES DEL TC6 DE IFIP Lunes 6 Desde IP a MPLS (MultiProtocol Label Switching) por sobre ATM Andri Danthine, Universidad de Lieja, Bilgica El ixito y crecimiento de Internet demanda no sslo mas ancho de banda y mas poderosos ruteadores sino tambiin la introduccisn de nuevas clases de servicios para soportar toda clase de aplicaciones, incluyendo aquellas inelasticas. ATM es aceptada como una de las tecnologmas de soporte y ha logrado un rol de importancia en el nzcleo de las redes de los ISPs y en el backbone de redes que tienen que soportar aplicaciones demandantes de la calidad de servicio. IP sobre ATM ha sido la primera forma de lograr una coexistencia. En esta solucisn, la capa IP ignora las caractermsticas de servicio asociadas con ATM. Esta arquitectura evolucions buscando una mejor integracisn del ruteo y la conmutacisn a fin de mejorar la perfomance y proveer nuevos servicios. Esta nueva integracisn de las capas 3 y 2 para proveer nuevos servicios Internet es la meta principal del esfuerzo de estandarizacisn del grupo MLPS (MultiProtocol Label Switching). Esta evolucisn y sus consecuencias son la tematica abordada en este curso dirigido a quienes les interesa las tendencias en la implementacisn de nuevos servicios mediante la evolucisn de la arquitectura, con una mejor integracisn entre las capas 3 y 2, y que requiere un conocimiento basico en IP, asm como del enlace de datos, con o sin ATM. Martes 7 Control de redes, Teorma de juegos y Autsmatas de Aprendizaje Lorne G. Mason, Profesor Emirito, INRS-Telecommunications, Canada El propssito de proveer un tratamiento unificado de control de redes, teorma de juegos y learning automata se logra presentando un abordaje genirico de la smntesis del control, la que se ilustra en detalle utilizando tirminos y definiciones comunes, para una variedad de tecnologmas de red que comprenden desde la red tradicional de conmutacisn de circuitos y conmutacisn de paquetes que ofrecen un servicio homogineo, hasta las mas modernas redes de servicio mzltiples, incluyendo ATM basada en B-ISDN e Internet de alta velocidad. Cuando es posible se presentan en detalle los modelos analmticos de performance y se comparan con los resultados de simulacisn obtenidos mediante la ticnica de Monte Carlo. Con escenarios de redes tales como IP sobre ATM, el desempeqo de la red y la convergencia algormtmica se demuestra sslo por medio de la simulacisn de Monte Carlo, porque no se dispone de un modelo analmtico preciso de su comportamiento. Miircoles 8 Ticnicas de Modelado del Desempeqo de Computadores y Redes: su Aplicacisn a Redes ATM Ramon Puigjaner, Universitat de les Illes Balears Se presentan las ticnicas basicas de modelizacisn de performance para representar cuantitativamente el comportamiento de computadores y redes mediante su representacisn mediante redes de colas, asm como el tratamiento de estos modelos por ticnicas analmticas y de simulacisn, utilizando diversos ejemplos generales de ambos campos. Despuis de una corta presentacisn del B-ISDN y su implementacisn, la red ATM, se presentan tres aspectos de la modelizacisn de este tipo de redes: la caracterizacisn de las diferentes fuentes de carga, los diferentes mecanismos de gestisn del trafico (conformado y control del trafico, y control de admisisn de conexiones) y los conmutadores ATM con arquitectura de medio compartido, con arquitectura de memoria compartida y con arquitectura de divisisn de espacio. Mayor informacion en URL: http://www.sadio.org.ar/28jaiio o en SADIO - Uruguay 252 P.2 D. TE: ++54 11 4371-5755 o 4372-3950. e-mail: ja...@sadio.edu.ar ----<*>-----<*>-----<*>--.N.O.T.I.A.M.C.A.--<*>-----<*>-----<*>-----<*> Los mensajes son archivados en: http://venus.arcride.edu.ar/majordomo-span.html ----<*>-----<*>-----<*>-----<*>-----<*>-----<*>-----<*>-----<*>-----<*>