Extending message-oriented middleware

Different types of middleware exist to facilitate the integration of software running on heterogeneous computing platforms. Message Oriented Middleware (MOM), for instance, enables the interaction between heterogeneous applications by exchanging packets of structured data (messages) through communication channels. The core responsibility of a MOM is asynchronous delivery of messages from senders to receivers, as well as management of the corresponding message queues. However, realistic software applications need many more messaging functions, for instance functions to enable auditing, encryption, tracking and transformation of messages. Such functions should be clearly provided by the underlying MOM and not implemented and re-implemented by applications themselves. In this paper, we present an approach for extending the core functionality of a MOM. In particular, we investigate how such extensions can be configured and combined, to ensure correct delivery of messages.II Workshop de Ingeniería de Software y Bases de Datos (WISBD)Red de Universidades con Carreras en Informática (RedUNCI

Extending message-oriented middleware

Different types of middleware exist to facilitate the integration of software running on heterogeneous computing platforms. Message Oriented Middleware (MOM), for instance, enables the interaction between heterogeneous applications by exchanging packets of structured data (messages) through communication channels. The core responsibility of a MOM is asynchronous delivery of messages from senders to receivers, as well as management of the corresponding message queues. However, realistic software applications need many more messaging functions, for instance functions to enable auditing, encryption, tracking and transformation of messages. Such functions should be clearly provided by the underlying MOM and not implemented and re-implemented by applications themselves. In this paper, we present an approach for extending the core functionality of a MOM. In particular, we investigate how such extensions can be configured and combined, to ensure correct delivery of messages.II Workshop de Ingeniería de Software y Bases de Datos (WISBD)Red de Universidades con Carreras en Informática (RedUNCI

Computing support for virtual communities of practice

This document describes a research and development project - Semantic Web and Cooperative Problem Solving for Online Communities of Practice. The aim of the project is to build a system supporting Cooperative Problem Solving within the framework of online Communities of Practice, applying the concepts of the Semantic Web. The document presents the background, objectives and partial results of the project.Eje: Ingeniería de software y base de datosRed de Universidades con Carreras en Informática (RedUNCI

Formal specifications in component-based development

Software engineering has entered a new era, the Internet and its associated technologies require a different conceptual framework for building and understanding software solutions. Users ask to develop applications more rapidly, and software engineers need to ensamble systems from preexisting parts. Components and Components-Based Development( CBD), are the approaches that provide solutions to these arising needs. Components are the way to encapsulate existing functionality, acquire third-party solutions, and build new services to support emerging business processes. Component-based development provides a design paradigm that is well suited to the new requirements, were the traditional design and build has been replaced by select and integrate. Within this approach, the specification of components plays a crucial role. If we are working on the development of components in order to construct a library for general use, we need to start from a concrete and complete specification of what we are going to construct. If we are assembling our application from pre-existing components, we need a precise specification of the behaviour of the component in order to select it from the library.Eje: Ingeniería de Software y Base de DatosRed de Universidades con Carreras en Informática (RedUNCI

Collaborative problem solving in virtual communities of practice : A case study in disaster prevention and handling

The paper presents a case study illustrating a collaborative problem solving process in Virtual Communities of Practice. The process relies on the existence of an underlying shared knowledge base – a repository of resources, and is carried out collaboratively by members of the community in six defined steps. The case study presents a Virtual Community of Practice dedicated to Disaster Prevention and Handling and explains the process for solving a problem posted by a member. The process is applied step-by-step showing its applicability to solve a real case and how the process enables enriching the repository with the new knowledge generated. The main contribution of this work is to show how the problem-solving process can be systematically applied to real problems within communities of any domain.III Workshop de Ingeniería de Software y Bases de Datos (WISBD)Red de Universidades con Carreras en Informática (RedUNCI

Formal specifications in component-based development

Software engineering has entered a new era, the Internet and its associated technologies require a different conceptual framework for building and understanding software solutions. Users ask to develop applications more rapidly, and software engineers need to ensamble systems from preexisting parts. Components and Components-Based Development( CBD), are the approaches that provide solutions to these arising needs. Components are the way to encapsulate existing functionality, acquire third-party solutions, and build new services to support emerging business processes. Component-based development provides a design paradigm that is well suited to the new requirements, were the traditional design and build has been replaced by select and integrate. Within this approach, the specification of components plays a crucial role. If we are working on the development of components in order to construct a library for general use, we need to start from a concrete and complete specification of what we are going to construct. If we are assembling our application from pre-existing components, we need a precise specification of the behaviour of the component in order to select it from the library.Eje: Ingeniería de Software y Base de DatosRed de Universidades con Carreras en Informática (RedUNCI

Algebraic specifications and refinement for component-based development using RAISE

There are two main activities in Component-Based Development: component development, where we build libraries for general use, and component integration, where we assemble an application from existing components. In this work, we analyze how to apply algebraic specifications with refinement to component development. So we restrict our research to the use of modules that are described as class expressions in a formal specification language, and we present several refinement steps for component development, introducing in each one design decisions and implementation details. This evolution starts from the initial specification of a component as an abstract module, and finishes with the final deployment as fully implemented code. The usage of formal tools helps to assure the correctness of each step, and provides the ground to introduce complementarytechniques, such as bisimulations, for the process of component integration.Facultad de Informátic

Developing a Repository of Knowledge for virtual communities with semantic web technologies

The appearance and continuous growth of virtual communities on the web imposes the challenge of coping with the large amount of information and knowledge these communities produce. The Semantic Web with its set of standards and technologies provides the basic means for implementing repositories of knowledge for virtual communities. However not every member of a virtual community knows these technologies and is ready to use them. We present an implementation of a repository of knowledge that follows the Resource Description Framework enabling a standard representation of knowledge in a community and providing the necessary functionality for members of the community to manage this repository introducing information and relating this information in a simple manner that also facilitates the interoperability with other repositories.IV Workshop de Ingeniería de Software y Base de DatosRed de Universidades con Carreras en Informática (RedUNCI

Procesos colaborativos en comunidades de práctica virtuales

Este documento resume el trabajo de investigación desarrollado en el área de Web Semántica y Resolución Colaborativa de Problemas en Comunidades de Práctica Virtuales. En el documento se introducen los conceptos relevantes del área -Comunidades de Práctica Virtuales, Resolución Colaborativa de Problemas, Web Semántica y Resource Description Framework-, se explica el trabajo realizado para desarrollar modelos que permitan proveer soporte computacional para el proceso de resolución colaborativa de problemas en comunidades de práctica virtuales y se presentan los resultados alcanzados hasta el momento. Finalmente, se describen los trabajos futuros.Eje: Ingeniería de Software y Base de DatosRed de Universidades con Carreras en Informática (RedUNCI

Procesos colaborativos en comunidades de práctica virtuales

Este documento resume el trabajo de investigación desarrollado en el área de Web Semántica y Resolución Colaborativa de Problemas en Comunidades de Práctica Virtuales. En el documento se introducen los conceptos relevantes del área -Comunidades de Práctica Virtuales, Resolución Colaborativa de Problemas, Web Semántica y Resource Description Framework-, se explica el trabajo realizado para desarrollar modelos que permitan proveer soporte computacional para el proceso de resolución colaborativa de problemas en comunidades de práctica virtuales y se presentan los resultados alcanzados hasta el momento. Finalmente, se describen los trabajos futuros.Eje: Ingeniería de Software y Base de DatosRed de Universidades con Carreras en Informática (RedUNCI