vol. 1 núm. 1 (2000): revista colombiana de computación (julio-diciembre)

El Unified Modeling Language (UML) es un lenguaje gráfico, semiformal, que ha sido aceptado como estándar para describir sistemas de software orientados a objetos. UML define varios tipos de diagramas que se utilizan para describir diferentes aspectos o vistas de un sistema. En particular, los diagramas de Casos de Uso se utilizan para capturar los requerimientos de los sistemas y guiar su proceso de desarrollo. Los distintos Casos de Uso que se definen a lo largo de un proceso de desarrollo no son independientes sino que es posible establecer relaciones entre ellos. Las principales relaciones consideradas por UML son: Generalización (Generalization), Inclusión (Include) y Extensión (Extend). Estas relaciones, tanto como el resto de las construcciones de UML, están definidas semiformalmente, dando lugar a interpretaciones ambiguas e inconsistencias.Palabras Claves: Ingeniería de Software, Análisis y Diseño Orientado a Objetos, Lenguajes gráficos de modelado, Casos de Uso, Semántica formal.

Large-scale distributed hypermedia systems comprise a generation of powerful tools to meet the demands of the new information globalization era. The most promising of such systems have characteristics that allow for the easy adaptation both to an, actually, unpredictable technological evolution and to the constantly evolving information needs of users. Such systems are generally known as Open Hypermedia Systems (OHS). Recently, research effort has been focused on the formulation of a solid set of OHS standards (i.e., protocols, reference models and architectures) that would stem from a common understanding and thus, direct future implementations.Keywords: Open Hypermedia Systems, Hypermedia Modeling, Distributed Information Systems

Este artículo describe dos patrones de diseño que facilitan el desarrollo de sistemas de información geográfica (SIG) orientados a objetos. El primero de ellos, denominado Objeto Espacial, captura los aspectos estructurales y dinámicos comunes que tienen las entidades espaciales representadas en diversos SIG. El segundo, denominado Grafo Espacial, es un patrón cuyo propósito es proveer una solución reutilizable al problema de la representación, manipulación y visualización de redes de servicios en SIG. La reutilización del patrón Grafo Espacial permite que una red de servicios pueda representarse de una manera muy natural. Cada nodo o enlace de la red es definido mediante un objeto espacial, lo cual agrega realismo a la manipulación y visualización de la red. Ambos patrones simplifican el diseño de aplicaciones SIG proporcionando estructuras de diseño reutilizables en dominios relacionados con el manejo de datos espaciales y redes de servicios.Palabras claves: Sistemas de información geográfica, Ingeniería de software orientado a objetos, Patrones de diseño.

Qué y cómo enseñar son las preguntas fundamentales de nuestro quehacer como profesores. En este artículo presento mi visión personal de nuestra área, un análisis crítico y constructivo y sus implicancias en la educación, incluyendo dos respuestas parciales a las preguntas mencionadas.

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.

Explicit substitution calculi are extensions of the calculus where the substitution mechanism is internalized into the theory. This feature makes them suitable for implementation and theoretical study of logic based tools as strongly typed programming languages and proof assistant systems. In this paper we explore new developments on two of the most successful styles of explicit substitution calculi: the λσ- and λsе-calculi.Keywords: Explicit substitution, higher order uni cation, lambda-calculi, type and rewriting theory.

La importancia de la tecnología de información y específicamente de las ciencias de la computación en nuestra sociedad ha sido enorme. Ella ha facilitado y creado tendencias mundiales como la globalización y la informatización de la sociedad. Con esta importancia es lógico que los países, y en especial sus universidades y centros de investigación, se preocupen por el desarrollo y la divulgación de proyectos en las áreas que impulsen el desarrollo de sus regiones. En Colombia no existe, en nuestro campo, una revista de nivel nacional y carácter netamente académico que apoye la divulgación de esos trabajos. Con esta Revista Colombiana de Computación, que ponemos en circulación, se pretende llenar este vacío, a la vez que se quiere ayudar a la formación de redes de investigadores colombianos con investigadores latinoamericanos y de otros países.