Business Process Modelling based on formal temporal theory with an application to hospital patient flows

Existing Workflow Management Systems (WFMSs) follow a pragmatic approach. They often use a proprietary modelling language with an intuitive graphical layout. However the underlying semantics lack a formal foundation. As a consequence, analysis issues, such as proving correctness i.e. soundness and completeness, and reliable execution are not supported at design level. This project will be using an applied ontology approach by formally defining key terms such as process, sub-process, action/task based on formal temporal theory. Current business process modelling (BPM) standards such as Business Process Modelling Notation (BPMN) and Unified Modelling Language (UML) Activity Diagram (AD) model their constructs with no logical basis. This investigation will contribute to the research and industry by providing a framework that will provide grounding for BPM to reason and represent a correct business process (BP). This is missing in the current BPM domain, and may result in reduction of the design costs and avert the burden of redundant terms used by the current standards. A graphical tool will be introduced which will implement the formal ontology defined in the framework. This new tool can be used both as a modelling tool and at the same time will serve the purpose of validating the model. This research will also fill the existing gap by providing a unified graphical representation to represent a BP in a logically consistent manner for the mainstream modelling standards in the fields of business and IT. A case study will be conducted to analyse a catalogue of existing ‘patient pathways’ i.e. processes, of King’s College Hospital NHS Trust including current performance statistics. Following the application of the framework, a mapping will be conducted, and new performance statistics will be collected. A cost/benefits analysis report will be produced comparing the results of the two approaches.

A general framework for Business Process Modelling (BPM) based on Formal Temporal Theory with an application to Hospital Patient flows

Existing Workflow Management Systems (WFMSs) follow a pragmatic approach. They often use a proprietary modelling language with an intuitive graphical layout. However the underlying semantics lack a formal foundation. As a consequence, analysis issues, such as proving correctness i.e. soundness and completeness, and reliable execution are not supported at design level. This project will be using an applied ontology approach by formally defining key terms such as process, sub-process, action/task based on formal temporal theory. Current business process modelling (BPM) standards such as Business Process Modelling Notation (BPMN) and Unified Modelling Language (UML) Activity Diagram (AD) model their constructs with no logical basis. This investigation will contribute to the research and industry by providing a framework that will provide grounding for BPM to reason and represent a correct business process (BP). This is missing in the current BPM domain, and may result in reduction of the design costs and avert the burden of redundant terms used by the current standards. A graphical tool will be introduced which will implement the formal ontology defined in the framework. This new tool can be used both as a modelling tool and at the same time will serve the purpose of validating the model. This research will also fill the existing gap by providing a unified graphical representation to represent a BP in a logically consistent manner for the mainstream modelling standards in the fields of business and IT. A case study will be conducted to analyse a catalogue of existing ‘patient pathways’ i.e. processes, of King’s College Hospital NHS Trust including current performance statistics. Following the application of the framework, a mapping will be conducted, and new performance statistics will be collected. A cost/benefits analysis report will be produced comparing the results of the two approaches.

Material didáctico de educación ambiental no formal para el programa “yo, sí puedo cuidar el ambiente”, en Nicaragua

El presente trabajo ha consistido en elaborar el material didáctico para la educación ambiental no formal de los ciudadanos de Nicaragua, con nivel escolar equivalente a sexto grado. Este material en un futuro cercano será la base del programa de alfabetización ambiental “Yo, Sí Puedo Cuidar el Ambiente”,coordinado por la “Red Universitaria Yo, Sí Puedo” en distintas partes de Nicaragua. El resultado del proyecto es una cartilla destinada al alumno y una Guía Metodológica para el educador. Para la realización de este proyecto ha sido necesaria una estancia de tres meses y medio para la recopilación de información y la elaboración de material didáctico. El principal objetivo del material elaborado es contribuir en la sensibilización y la formación de valotres ambientales de los participantes, mejorando asi su calidad de vida y su entorno

How to improve the formal analytic reasoning and scientific motivation in the intellectual training of medical students

A review article of the The New England Journal of Medicine refers that almost a century ago, Abraham Flexner, a research scholar at the Carnegie Foundation for the Advancement of Teaching, undertook an assessment of medical education in 155 medical schools in operation in the United States and Canada. Flexner’s report emphasized the nonscientific approach of American medical schools to preparation for the profession, which contrasted with the university-based system of medical education in Germany. At the core of Flexner’s view was the notion that formal analytic reasoning, the kind of thinking integral to the natural sciences, should hold pride of place in the intellectual training of physicians. This idea was pioneered at Harvard University, the University of Michigan, and the University of Pennsylvania in the 1880s, but was most fully expressed in the educational program at Johns Hopkins University, which Flexner regarded as the ideal for medical education. (...)

El Aprendizaje del derecho inglés en modo cooperativo formal

En primer curso de Derecho económico de la Universidad de Vigo, se planteó la posibilidad de llevar a cabo un proyecto piloto de aprendizaje cooperativo. Nos pareció interesante la idea y propusimos que la asignatura “Introducción a los Sistemas Jurídicos” se impartiese en aprendizaje cooperativo formal, como requisito previo a la realización de un examen final. Nuestro objetivo era conseguir una mayor implicación del discente en su propio proceso de aprendizaje, al mismo tiempo que la adquisición de determinadas destrezas necesarias en el ámbito jurídico, como la interacción cara a cara, la interdependencia positiva, la responsabilidad personal, el saber desenvolverse en público y la capacidad de autoanálisis o evaluación de los resultados del grupo. En este caso concreto, era necesario dotar de las destrezas necesarias a los discentes para que el aprendizaje del Derecho Inglés, como sistema jurídico diferente al nuestro, resultase atractivo y suscitase el interés de los estudiantes a la hora de abordar el conocimiento del Common Law. La diferencia fundamental, reflejada en "Judge made Law", en referencia a la labor creadora del derecho que realizan los jueces en el mundo jurídico anglosajón, puede ser explicada mucho mejor en un contexto de creatividad como el que ofrece una metodología docente activa como es el Aprendizaje Cooperativo, y por ello resultó elegida. Elegimos el Aprendizaje Cooperativo Formal porque nos pareció adecuada su vocación de continuidad, en el sentido de formar grupos para una determinada tarea que puede durar desde una clase a varias semanas. En un grupo formal los estudiantes trabajan juntos para conseguir objetivos compartidos, intentando maximizar su aprendizaje y el de sus propios compañeros. El número de miembros que conforman un grupo formal es pequeño, 2 o 4 estudiantes, organizado por el profesor, a menudo al azar, y en ellos se espera que el estudiante interaccione con sus compañeros, compartiendo los conceptos y estrategias que aprendan, y que se consideren mutuamente responsables de la tarea asignada, acudiendo sólo en último término al profesor en caso de dudas. Pero teníamos dudas con respecto a la realidad del proyecto, por el elevado número de estudiantes en el grupo de “Introducción a los Sistemas Jurídicos”. Con todo, la ilusión y un gran esfuerzo hicieron posible llevar a cabo el proyecto previsto, y los resultados fueron totalmente positivos

Gestión de recursos TIC en pymes del sector de confecciones de ropa formal (Hombre/Mujer) en la ciudad de Bogotá

El siguiente documento se realizó, con el fin de entender inicialmente la visión mundial y de país de la importancia de las TIC para luego asentarlo en un escenario particular, esencialmente en el sector textil y de confecciones de Bogotá. Desarrollar este conocimiento permite entender los proyectos de integración de software y hardware que las empresas, en este caso las pymes del sector textil, realizan para mejorar ciertos aspectos en las áreas de sus entidades. Durante el desarrollo de este trabajo, se conocerán los modelos y procesos que existen en el tema para poder realizar un proyecto de adquisición de Tecnologías de la Información y la Comunicación en un pyme del sector textil.

Pena de muerte en Colombia visión formal y visión real. Estudio de Caso: La masacre de El Salado

Este trabajo final de grado evalúa la existencia de la pena de muerte en Colombia en su visión formal y real, a través del estudio de caso de la masacre de El Salado, en la cual las Autodefensas Unidas de Colombia toman la justicia en sus manos ejecutando a más de 60 civiles. Inicialmente se hace una descripción de cómo se ha tratado el tema de la pena de muerte a lo largo de la historia, dando una breve apreciación de lo que representa y ha representado para la civilización occidental, así como del concepto y de los tipos de penas de muerte y ejecuciones. Seguidamente se describe la historia de la pena de muerte en Colombia; como ha sido planteada la discusión del tema y como ha sido abordada institucionalmente desde la Constitución colombiana. Posteriormente se hace una breve descripción de los hechos que acontecieron durante la masacre de El Salado, los juicios aplicados, los medios de eliminación bélica y no bélica que allí tuvieron lugar y las consecuencias psicosociales para la población. La masacre tuvo lugar entre el 16 y el 21 de febrero del 2000. Finalmente se evalúa el concepto de pena de muerte y cómo ha sido la visión formal de su aplicación, así como la responsabilidad del Estado ante la aplicación de esta por parte de actores armados no institucionales. Asimismo, se evalúa la existencia de la pena de muerte desde tres puntos de vista: desde el Estado, desde las victimas y desde los victimarios.

Análisis de la importancia de la misión de paz de Naciones Unidas como mecanismo formal de acompañamiento y verificación para los acuerdos de paz de El Salvador: 1991-1995

El presente trabajo de investigación pretende examinar el caso del proceso de paz en El Salvador, y catalogarlo como un ejemplo, que permite vislumbrar la forma en las que se generan una serie de acuerdos de paz que siguen en conjunto, con una misión formal de acompañamiento por parte de Naciones Unidas, esta unión supone un proceso de paz complejo, con situaciones problemáticas y de riesgo, pero con grandes soluciones y fortalezas, para lograr su objetivo.

Relación entre servicios públicos domiciliarios de agua y saneamiento básico sobre procesos de asentamientos urbanos. Estudio de caso: Ciudad Porfía (asentamiento informal) y Villa Codem (asentamiento formal), Villavicencio, 1983-2013.

El interés de este trabajo de grado es analizar la relación entre los servicios públicos domiciliarios de agua y saneamiento básico sobre los procesos de asentamientos urbanos. Estudio de caso: Ciudad Porfía (asentamiento informal) y Villa Codem (asentamiento formal), Villavicencio, de 1983 a 2013. Se identifica la naturaleza y los principios de los servicios públicos domiciliarios desde la legislación colombiana vigente y se describen los procesos de conformación y desarrollo de los asentamientos urbanos mencionados. Siguiendo finalmente la perspectiva teórica sobre hábitat desarrollado por UN Hábitat y con una metodología basada en la observación del territorio, se avanza hacia el resultado de la investigación que permite identificar los procesos dinámicos de consolidación, desarrollo y formación de estos asentamientos urbanos y su relación con los servicios públicos domiciliarios de agua y saneamiento básico.

Nombramiento de beca como colegial formal de número a Don Juan Sáenz de la Fuente

Nicolás Guzmán y Solanilla rector del Colegio Mayor del Rosario realiza el nombramiento de beca de colegial formal de número a favor del Maestro Juan Sáenz de la Fuente, siendo una de las quince becas de primera fundación. Título expedido por el Escribano don Antonio de Salazar Falcón.

Diseño de guías de evaluación para la educación no formal, en el área de la informática, para el manejo de Windows

Para diseñar unas guías de Evaluación, en programas de Educación No Formal, en el área de informática, para el manejo de Windows, es necesario constatar y diagnosticar las características de los alumnos que asisten a este tipo de educación

Diseño de un modelo de capacitación no formal para coordinadores de salud ocupacional en la DIAN

Este trabajo tiene como propósito diseñar el plan de formación, a partir de las competencias que deben ser desarrolladas por los distintos profesionales que asumen el rol de Coordinador ó responsable del programa de Salud Ocupacional en la DIAN

Nombramiento de beca y colegial formal a favor de Juan Agustín del Rio

Petición del Colegial Juan Agustín de Rio, por una de las quince becas primera fundación del Colegio Mayor del Rosario, seguida del decreto del presidente de la Real Audiencia de Santafé proveyendo el nombramiento y la confirmación final de dicho nombramiento de beca y colegial formal. Siendo rector el doctor don Enrique de Caldas Barbosa y secretario don Francisco Ramírez Floreano de Hoyos.

Nombramiento de Colegial formal a don Ignacio de Acosta y Rojas

Petición del Colegial Ignacio de Acosta, por una de las quince becas de primera fundación del Colegio Mayor del Rosario, seguida del decreto del presidente de la Real Audiencia de Santafé autorizando el nombramiento y El informe del rector Cristóbal de Torres Bravo dando noticia de aceptación de los estudiantes Ignacio de Acosta y Joseph Valera y Linares.

Nombramiento de beca de colegial formal a favor de Agustín de Valenzuela Fajardo

1. Petición de la beca de colegial formal por parte de Agustín de Valenzuela 2. Decreto del presidente de la Real Audiencia de Santafé 3. Informe del rector del Colegio Mayor del Rosario Gregorio de Borja sobre las cualidades de Agustín de Valenzuela estudiante de lengua latina 4. Auto de nombramiento de Agustín de Valenzuela como Colegial formal.