Publicaciones

Documentos
Nome Tamanho
Cálculo para el modelado formal de arquitecturas de software basadas en componentes cálculo−ρarq
El cálculo ρarq es una notación formal para especificar aspectos estructurales y dinámicos de arquitecturas de software basadas en componentes. La idea subyacente es partir de una configuración estática inicial que sólo es susceptible de pasar a una nueva configuración por medio de la aplicación de reglas de la semántica operacional del formalismo desarrollado. Para dar más alcance semántico a los diagramas de componentes en UML 2.x se propone una extensión estereotipada de la notación gráfica. En consecuencia, se logra el diseñoo de configuraciones de componentes traducibles al cálculo ρarq. Adicionalmente, esta notación permite representar aspectos dinámicos de manera consistente con otras propuestas de modelado de sistemas distribuidos basados en componentes de software.
327k
Deconstructing GAs into Visual Software Components
We envisage Genetic Algorithms (GA) as search-based optimisation techniques encompassing independent bio-inspired operators and representations that are realizable as selfcontained deployable computational units.
727k
Especificación formal de arquitecturas de software basadas en componentes chequeo de corrección con cálculo−ρarq
En esta publicación se propone un método formal para el chequeo de corrección de arquitecturas de referencia basadas en componentes de software. Estos modelos son especificados por medio del cálculo − ρarq. Se hace uso de dos herramientas formales; la primera, el concepto de Sistema de Transición Rotulado ( STR, en adelante) ampliado con el concepto de transición condicionada para variables lógicas cuya resolución podría obtenerse desde un repositorio global de restricciones. La segunda, la teoríıa de equivalencia de observación propuesta por Robin Milner y sus colaboradores en la Universidad de Cambridge
376k
Híbrido metodologico SOA + DSBC para el desarrollo de software orientado a servicios
Este artículo presenta las experiencias y resultados de la aplicacion de una propuesta para abordar el desarrollo de una aplicacion conforme al modelo de referencia arquitectónico orientado a servicios desde un enfoque conducido por modelos, integrando varias metodolog´ıas para la planeacion y gestión del proyecto, para guiar los principios del desarrollo alrededor de procesos de negocio y composicion de servicios y usando el desarrollo de software basado en componentes (DSBC, en adelante) para identificar, disenar e implementar los componentes e interfaces del sistema que proveen y requieren los servicios. La propuesta tomo como caso de estudio el desarrollo de un módulo basico de un Sistema de Gestión Académico de una Institución de Educacion Superior (IES, en adelante) con un modelo de persistencia soportado en una base de datos distribuida.
9,5MB
PintArq A Visualizer of Architectural Execution Flow for Component-Based Software Architectures
El artículo "PintArq: A Visualizer of Architectural Execution Flow for Component-Based Software Architectures", que resume los resultados de la tesis de maestría del Ing. M.Sc. Jorge Alejandro Rico García y dirigido por Henry Alberto Diosa, ha sido publicado en "Applied Computer Sciences in Engineering" del CCIS de Springer-Verlag como parte del libro resultado del evento "Third Workshop on Engineering Applications" del año 2016. Esta publicación muestra los avances del Grupo de Investigación en las temáticas de especificación formal de software basada en álgebras de procesos. Para consultar el artículo de investigación puede consultar la sección de Publicaciones en este sitio web.
1,5MB
The KITE Model for Assessment of Academic Software Products
We reflect on the topic of assessing the merit of software products developed by research groups within the academia. To this end, a model is proposed to define the score of an arbitrary software product. The model consists of four determinants, namely new knowledge dissemination effect (K), impact in target population (I), technological innovation (T), and engineering achievement (E). These determinants are integrated into a ”KITE” graphical model. The model admits both geometric and numeric interpretations, enabling decision makers to analyze profiles of software productivity for a particular academic unit from a quantitative or qualitative viewpoint. The ratings, which enable software to be scored regarding each determinant, are also described. Following the model, preliminary test lists are sketched as a proposal of measurement instruments for these scores.
126k
Towards a Component-based Software Architecture for Genetic Algorithms
The paper describes the analysis and design principles used, the obtained architecture, the resulting component specification and closes with a discussion about the benefits of this approach, as well as initial steps towards its implementation in a user-friendly platform for component-based visual programming.
1,3MB
Una arquitectura de software para la gestión de historias clínicas electrónicas soportadas en tecnologías web
Entre las actividades que viene realizando, el Grupo CORBA-OSM ha asumido el desarrollo de algunos proyectos de grado que exploren el potencial de las tecnologías Web. El sistema de "Gestión de Historias Clínicas Electrónicas Soportado en Tecnologías WEB" es una aplicación que busca plantear un posible soporte al tratamiento y gestión de las historias clínicas dentro de una Institución Prestado de Servicios de Salud (IPS), específicamente en el marco de la consulta médica general o consulta externa, mediante la utilización de herramientas de software que giran alrededor de la WEB, tales como: Java, JSP (Java Server Pages), XML (Extensible Markup Language) y sus tecnologías asociadas.
634k
— 20 Itens por página
Mostrando 8 resultados.