Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies

The major research in the resource management literature focuses primarily on two complementary sub-problems: (1) specification languages for formulating resource requests and (2) constraint problems modelling allocation and scheduling. Both directions assume the knowledge of the underlying platform architecture and the dependencies it induces on the usage of the various resources. In this paper, we bridge this gap by introducing constraint-flow nets (cfNets). A cfNet is defined by a set of resources and dependencies between them, each dependency having an associated constraint schema. The model is inspired by Petri nets, with resources corresponding to places and dependencies—to transitions. Given an architecture of dependent resources, an initial resource request is propagated through the dependencies. The generated constraints are then conjuncted into the global allocation constraint. We study the notion of conflicts in cfNets and prove that for conflict-free cfNets the global allocation constraint can be constructed unambiguously. Furthermore, we provide an SMT-based algorithm for conflict detection and discuss the use of priorities to dynamically resolve conflicts at run-time. Finally, we illustrate the use of cfNets on a case study inspired by the Kalray MPPA architecture

Diseño de un modelo de referenciación a personas en emergencia social víctimas del conflicto armado residentes en Bogotá

Tesis de GradoEl propósito de la investigación fue diseñar la estructura conceptual de un modelo de referenciación para víctimas del conflicto armado atendidas en el servicio Enlace Social de la Secretaria Distrital de Integración Social residentes Bogotá. Así como, realizar la caracterización de 361 registros de la ficha del sistema de registro de beneficiarios SIRBE aplicada a VCA participantes en el servicio ES de la SDIS desde el año 2013 hasta Septiembre del 2017 y caracterización 18 instituciones y 29 programas o servicios dirigidos a VCA con el fin de identificar la oferta de servicios sociales disponibles para este grupo poblacional.1. Resumen 2. Antecedentes conceptuales y empíricos 3. Justificación 4. Objetivos 5. Método 6. Resultados 7. Discusión y conclusiones 8. Referencias 9. ApéndicesMaestríaMagister en Psicologí