A formal model for some behavioural features of analysis patterns

It is commonly said that a pattern has four essential parts: a statement of the context where the pattern is useful, the problem that the pattern addresses, the forces that play in forming a solution, and the solution that resolves that forces. This form underlies many published patterns, including analysis patterns. They show a number of highly generic processes that cut across traditional boundaries of system development and business engineering. However, patterns are invariably described informally in the literature, generally using natural language together some sort of graphical notation. A formal model of the semantic statements of analysis patterns has been proposed by reusing some of the properties formalised for GoF patterns. In this paper, we present a formal model of some behavioural properties of analysis patterns, and we illustrate using an example how an instantiation can be done. We also briefly discuss future work which will extend the model to include more behavioural propertiesÁrea: Ingeniería de Software - Bases de DatosRed de Universidades con Carreras en Informática (RedUNCI

An object-oriented framework for predictive models in intensive care units

When used in conjunction with patterns, class libraries, and components, objectoriented application frameworks can significantly increase software quality and reduce development effort. Frameworks are a kind of domain-specific model whose structure can reuse existing patterns. In the field of medical applications, one of the important trends is the move towards frameworks describing different situations. Frameworks in medicine entails capturing, storing, retrieving, transmitting and manipulating patient-specific health care related data, including clinical, administrative, and biographical data. Using predictive methods in Intensive Care Units is a standard procedure to determine a measure of disease severity, based on current physiologic measurements, age and previous health condition. These situations can be described by reusing existing models and patterns, and building new structures based on flexible issues. In this paper, we present a Java object-oriented framework developed for modelling predictive methods in Intensive Care Units. We also briefly discuss future work, which will include a formal specification as part of the framework’s documentation.Eje: Ingeniería de softwareRed de Universidades con Carreras en Informática (RedUNCI

Una especificación precisa para patrones GoF

Una especificación formal que permita definir en forma precisa la semántica de patrones de diseño, en particular patrones de Gamma o GoF [1], puede ser la base para definir una herramienta que ayude a desarrollar software más seguro. En ciertos dominios, certificar el uso de métodos y técnicas es indispensable para asegurar la calidad del software producido. Sin embargo, una notación más formal para patrones – que permita especificar en forma más segura, consistente y completa – es todavía un desafío. Nuestro primer trabajo en esa dirección y su extensión para incluir características semánticas implícitas en la estructura de un patrón [2][3], basados ambos en RSL (RAISE Specification Language) [4], fue originalmente comunicado en [5]. Esa formalización incluía sólo algunos patrones del catálogo de Gamma, aunque para verificar eventualmente que un diseño utiliza algún patrón es necesario incluir mayor cantidad (y diversos tipos) de patrones. Por otra parte, variaciones de los patrones también deberían considerarse. En este resumen, presentamos una semántica precisa para patrones con la que finalmente ha sido modelado todo el catálogo de Gamma. Esa semántica ha servido también para iniciar la formalización de variaciones de esos patrones y de otros aplicables al análisis de dominios en lugar de al diseño de software. Futuras extensiones son abordadas al final.Eje: Ingeniería del SoftwareRed de Universidades con Carreras en Informática (RedUNCI

Una especificación precisa para patrones GoF

Una especificación formal que permita definir en forma precisa la semántica de patrones de diseño, en particular patrones de Gamma o GoF [1], puede ser la base para definir una herramienta que ayude a desarrollar software más seguro. En ciertos dominios, certificar el uso de métodos y técnicas es indispensable para asegurar la calidad del software producido. Sin embargo, una notación más formal para patrones – que permita especificar en forma más segura, consistente y completa – es todavía un desafío. Nuestro primer trabajo en esa dirección y su extensión para incluir características semánticas implícitas en la estructura de un patrón [2][3], basados ambos en RSL (RAISE Specification Language) [4], fue originalmente comunicado en [5]. Esa formalización incluía sólo algunos patrones del catálogo de Gamma, aunque para verificar eventualmente que un diseño utiliza algún patrón es necesario incluir mayor cantidad (y diversos tipos) de patrones. Por otra parte, variaciones de los patrones también deberían considerarse. En este resumen, presentamos una semántica precisa para patrones con la que finalmente ha sido modelado todo el catálogo de Gamma. Esa semántica ha servido también para iniciar la formalización de variaciones de esos patrones y de otros aplicables al análisis de dominios en lugar de al diseño de software. Futuras extensiones son abordadas al final.Eje: Ingeniería del SoftwareRed de Universidades con Carreras en Informática (RedUNCI

A formal model for some behavioural features of analysis patterns

It is commonly said that a pattern has four essential parts: a statement of the context where the pattern is useful, the problem that the pattern addresses, the forces that play in forming a solution, and the solution that resolves that forces. This form underlies many published patterns, including analysis patterns. They show a number of highly generic processes that cut across traditional boundaries of system development and business engineering. However, patterns are invariably described informally in the literature, generally using natural language together some sort of graphical notation. A formal model of the semantic statements of analysis patterns has been proposed by reusing some of the properties formalised for GoF patterns. In this paper, we present a formal model of some behavioural properties of analysis patterns, and we illustrate using an example how an instantiation can be done. We also briefly discuss future work which will extend the model to include more behavioural propertiesÁrea: Ingeniería de Software - Bases de DatosRed de Universidades con Carreras en Informática (RedUNCI

An object-oriented framework for predictive models in intensive care units

When used in conjunction with patterns, class libraries, and components, objectoriented application frameworks can significantly increase software quality and reduce development effort. Frameworks are a kind of domain-specific model whose structure can reuse existing patterns. In the field of medical applications, one of the important trends is the move towards frameworks describing different situations. Frameworks in medicine entails capturing, storing, retrieving, transmitting and manipulating patient-specific health care related data, including clinical, administrative, and biographical data. Using predictive methods in Intensive Care Units is a standard procedure to determine a measure of disease severity, based on current physiologic measurements, age and previous health condition. These situations can be described by reusing existing models and patterns, and building new structures based on flexible issues. In this paper, we present a Java object-oriented framework developed for modelling predictive methods in Intensive Care Units. We also briefly discuss future work, which will include a formal specification as part of the framework’s documentation.Eje: Ingeniería de softwareRed de Universidades con Carreras en Informática (RedUNCI

Framework de evaluación para modelos formales de patrones de diseño

Patrones de diseño es una herramienta de soporte como técnica de reuso y anticipación al cambio. Su descripción es habitualmente bastante informal no permitiendo concluir cuándo y cómo un patrón es aplicado correctamente. En esto el uso de lenguajes formales ayuda a su descripción. En este trabajo se resumen las limitaciones de los lenguajes informales y los requisitos de un lenguaje formal para la adecuada descripción y utilización de patrones de diseño. Dadas las diferentes opciones en modelos formales actuales, se conformó un Framework de Evaluación compuesto de dos partes. La primera incluye 14 características para analizar los lenguajes formales utilizados para desarrollar los Modelos de Patrones OO. La segunda se compone de 10 aspectos referentes a los modelos propiamente dichos. El objetivo de este Framework es adquirir mayor conocimiento de las ventajas y falencias de los modelos formales y así comprender aún mejor los elementos constituyentes requeridos en un lenguaje formal para una apropiada representación de patrones. Los diseñadores pueden beneficiarse con un proceso de Diseño basado en Patrones soportado por una descripción precisa de patrones con la flexibilidad adicional de herramientas automáticas basadas en los modelos formales desarrollados.Eje: Ingeniería de Software y Bases de Datos (ISBD)Red de Universidades con Carreras en Informática (RedUNCI

Framework de evaluación para modelos formales de patrones de diseño

Patrones de diseño es una herramienta de soporte como técnica de reuso y anticipación al cambio. Su descripción es habitualmente bastante informal no permitiendo concluir cuándo y cómo un patrón es aplicado correctamente. En esto el uso de lenguajes formales ayuda a su descripción. En este trabajo se resumen las limitaciones de los lenguajes informales y los requisitos de un lenguaje formal para la adecuada descripción y utilización de patrones de diseño. Dadas las diferentes opciones en modelos formales actuales, se conformó un Framework de Evaluación compuesto de dos partes. La primera incluye 14 características para analizar los lenguajes formales utilizados para desarrollar los Modelos de Patrones OO. La segunda se compone de 10 aspectos referentes a los modelos propiamente dichos. El objetivo de este Framework es adquirir mayor conocimiento de las ventajas y falencias de los modelos formales y así comprender aún mejor los elementos constituyentes requeridos en un lenguaje formal para una apropiada representación de patrones. Los diseñadores pueden beneficiarse con un proceso de Diseño basado en Patrones soportado por una descripción precisa de patrones con la flexibilidad adicional de herramientas automáticas basadas en los modelos formales desarrollados.Eje: Ingeniería de Software y Bases de Datos (ISBD)Red de Universidades con Carreras en Informática (RedUNCI