Ambient-prismaambients in aspect-oriented software architectures

Abstract

Hoy en día, los sistemas distribuidos forman parte de nuestra vida diaria gracias al éxito de Internet, La movilidad es un paradigma que explota los sistemas distribuidos, donde los componentes móviles pueden moverse y interactuar libremente con otros componentes distribuidos. Sin embargo, el desarrollo de sistemas software con características de distribución y móvilidad es una tarea difícil. Para facilitar el desarrollo de este tipo de sistemas, es necesario proveer modelos independientes de tecnología que utilicen técnicas de la ingeniería del software. Técnicas que pueden mejorar el desarrollo de sistemas y que soportan la separación de "concerns" son el Desarrollo Software Orientado a Aspectos (DSOA) y la Arquitectura Software. La distribución y la movilidad son "crosscutting concerns" de una arquitectura software y se pueden considerar como aspectos. Las arquitecturas software también necesitan nuevas primitivas que describen la topología de un sistema distribuido y los comportamientos moviles. El Cálculo de Ambientes (CA) es un formalismo que proporciona primitivas para especificar características de distribución y movilidad de forma abstracta. El CA introduce el concepto de ambiente que es un lugar limitado en donde sucede el cómputo. Esta tesis presenta Ambient-PRISMA, un marco para describir y desarrollar sistemas software distribuidos y móviles de forma abstracta. Ambient-PRISMA enriquece PRISMA, un enfoque de arquitecturas software orientadas a aspectos, con los conceptos del CA. Este enriquecimiento de PRISMA es realizado ampliando su metamodelo, su Lenguaje de Descripción de Arquitecturas Orientado a Aspectos (LDAOA), la formalización, la herramienta CASE y la metodología. Además, se utiliza un caso de estudio de un sistema de una subasta electrónica con agentes móviles a lo largo de la tesis para ilustrar el trabajo. El metamodelo de Ambient-PRISMA define cómo sus modelos deben ser construidos correctamente. El LDAOA per