Process-based Software Tweaking with Mobile Agents

We describe an approach based upon software process technology to on-the-fly monitoring, redeployment, reconfiguration, and in general adaptation of distributed software applications, in short 'software tweaking'. We choose the term tweaking to refer to modifications in structure and behavior that can be made to individual components, as well as sets thereof, or the overall target system configuration, such as adding, removing or substituting components, while the system is running and without bringing it down. The goal of software tweaking is manifold: supporting run-time software composition, enforcing adherence to requirements, ensuring uptime and quality of service of mission-critical systems, recovering from and preventing faults, seamless system upgrading, etc. Our approach involves dispatching and coordinating software agents - named Worklets - via a process engine, since successful tweaking of a complex distributed software system often requires the concerted action of multiple agents on multiple components. The software tweaking process must incorporate and decide upon knowledge about the specifications and architecture of the target software, as well as Worklets capabilities. Software tweaking is correlated to a variety of other software processes - such as configuration management, deployment, validation and evolution - and allows to address at run time a number of related concerns that are normally dealt with only at development time

Compatibility of Linda-based Component Interfaces

n/

Interoperabilidad de componentes software mediante lenguajes de coordinación

El desarrollo de software basado en componentes es una disciplina en continuo crecimiento dentro del campo de la Ingeniería de software. Con las primeras plataformas de componentes del mercado surgió el desarrollo de los lenguajes de descripción de interfaces con la idea de detectar problemas de compatibilidad entre componentes en el desarrollo de aplicaciones distribuidas y abiertas. Sin embargo, al describir los servicios que ofrecen los objetos, los lenguajes de descripción de interfaces sólo consideran la signatura de los métodos, obviando el problema principal de la composición de componentes respecto al protocolo de interacción que les permite comunicarse y cooperar. Nuestro trabajo actual se enfoca en el análisis del uso de Manifold, un modelo de coordinación orientado a control, como base para un formalismo en cuyo contexto definiremos relaciones que permitan analizar las propiedades para que el comportamiento interactivo de componentes software sea seguro.Eje: Ingeniería de Software y Base de DatosRed de Universidades con Carreras en Informática (RedUNCI

Interoperabilidad de componentes software mediante lenguajes de coordinación

El desarrollo de software basado en componentes es una disciplina en continuo crecimiento dentro del campo de la Ingeniería de software. Con las primeras plataformas de componentes del mercado surgió el desarrollo de los lenguajes de descripción de interfaces con la idea de detectar problemas de compatibilidad entre componentes en el desarrollo de aplicaciones distribuidas y abiertas. Sin embargo, al describir los servicios que ofrecen los objetos, los lenguajes de descripción de interfaces sólo consideran la signatura de los métodos, obviando el problema principal de la composición de componentes respecto al protocolo de interacción que les permite comunicarse y cooperar. Nuestro trabajo actual se enfoca en el análisis del uso de Manifold, un modelo de coordinación orientado a control, como base para un formalismo en cuyo contexto definiremos relaciones que permitan analizar las propiedades para que el comportamiento interactivo de componentes software sea seguro.Eje: Ingeniería de Software y Base de DatosRed de Universidades con Carreras en Informática (RedUNCI

Especificación del comportamiento interactivo de componentes mediante pew

El desarrollo de software basado en componentes es una disciplina en continuo crecimiento dentro del campo de la ingeniería de software. Consideramos un sistema basado en componentes como un conjunto de componentes de software que interactúan. A tal efecto los componentes deben ser diseñados para asegurar que un sistema construido a partir de ellos y sus interfaces satisfará especificaciones de desempeño claramente definidas. En este sentido los lenguajes de descripción de interfaces tradicionales, provistos por las plataformas orientadas a componentes del mercado describen los servicios ofrecidos por los componentes pero no dan información alguna respecto al orden relativo en el que los servicios pueden ser utilizados, de manera que no hay garantía de que los componentes interoperarán con éxito. Nuestra propuesta se orienta a enriquecer la información provista por los lenguajes de descripción de interfaces mediante la descripción de una abstracción del protocolo de interacción de los componentes. Proponemos y analizamos la utilización de Pew, un modelo de coordinación basado en cálculo de canales que posee una gran potencia expresiva, para especificar software basado en componentes. Presentamos un álgebra de procesos basada en las primitivas de comunicación y composición de Pew que luego aplicamos en algunos ejemplos para especificar el comportamiento interactivo de los componentes involucrados.Eje: Ingeniería de softwareRed de Universidades con Carreras en Informática (RedUNCI

On the Expressiveness of Coordination Models

A number of different coordination models for specifying inter-process communication and synchronisation rely on a notion of shared dataspace. Many of these models are extensions of the Linda coordination model, which includes operations for adding, deleting and testing the presence/absence of data in a shared dataspace. We compare the expressive power of three classes of coordination models based on shared dataspaces. The first class relies on Linda's communication primitives, while a second class relies on the more general notion of multi-set rewriting (e.g., like Bauhaus Linda or Gamma). Finally, we consider a third class of models featuring communication transactions that consist of sequences of Linda-like operations to be executed atomically (e.g., like in Shared Prolog or PoliS)