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.

Streamlining the medication process improves safety in the intensive care unit.

BACKGROUND: Multiple interventions were made to optimize the medication process in our intensive care unit (ICU). 1 Transcriptions from the medical order form to the administration plan were eliminated by merging both into a single document; 2 the new form was built in a logical sequence and was highly structured to promote completeness and standardization of information; 3 frequently used drug names, approved units, and fixed routes were pre-printed; 4 physicians and nurses were trained with regard to the correct use of the new form. This study was aimed at evaluating the impact of these interventions on clinically significant types of medication errors. METHODS: Eight types of medication errors were measured by a prospective chart review before and after the interventions in the ICU of a public tertiary care hospital. We used an interrupted time-series design to control the secular trends. RESULTS: Over 85 days, 9298 lines of drug prescription and/or administration to 294 patients, corresponding to 754 patient-days were collected and analysed for the three series before and three series following the intervention. Global error rate decreased from 4.95 to 2.14% (-56.8%, P < 0.001). CONCLUSIONS: The safety of the medication process in our ICU was improved by simple and inexpensive interventions. In addition to the optimization of the prescription writing process, the documentation of intravenous preparation, and the scheduling of administration, the elimination of the transcription in combination with the training of users contributed to reducing errors and carried an interesting potential to increase safety.

Recommendations for locus-specific databases and their curation.

Expert curation and complete collection of mutations in genes that affect human health is essential for proper genetic healthcare and research. Expert curation is given by the curators of gene-specific mutation databases or locus-specific databases (LSDBs). While there are over 700 such databases, they vary in their content, completeness, time available for curation, and the expertise of the curator. Curation and LSDBs have been discussed, written about, and protocols have been provided for over 10 years, but there have been no formal recommendations for the ideal form of these entities. This work initiates a discussion on this topic to assist future efforts in human genetics. Further discussion is welcome.

Improving the use of the nursing process: the impact of charting methodology developed from King's conceptual framework on the use of the nursing process

The purpose of this study was to assess the effects of changing a nursing documentation system, developed from King's Conceptual Framework, on the use of the nursing process. The null hypothesis was that there would be no significant increase in the reflection of the use of the nursing process on the nursing care plan or nurses' notes, as a result of using a nursing documentation system developed using King's Conceptual Framework (1981). The design involved the development of a questionnaire that was used to review health records pre and post implementation of a documentation system developed based on King's Conceptual Framework and Theory of Goal Attainment (1981). A Record Completeness Score was obtained from some of the questions. The null hypothesis was rejected. The results of the study have implications for nursing administration and the evaluation of nursing practice. If the use of a documentation system developed from a conceptual framework increases the reflection of the nursing process on the patient's health record, nursing will have the means to measure patient outcomes/goal attainment. All health care organizations and levels of government are focusing on methods to monitor and control the health-care dollar. In order for nursing to clearly determine the costs associated with nursing care, measurement of patient outcomes/goal attainment will need to be possible. In order to measure patient outcomes/goals attainment nurses will need to be able to collect data on their practice. It will be critical that nursing have a documentation system in place which facilitates the reflection of the nursing process within a theoretical framework.

Extending relAPS to first order logic

RelAPS is an interactive system assisting in proving relation-algebraic theorems. The aim of the system is to provide an environment where a user can perform a relation-algebraic proof similar to doing it using pencil and paper. The previous version of RelAPS accepts only Horn-formulas. To extend the system to first order logic, we have defined and implemented a new language based on theory of allegories as well as a new calculus. The language has two different kinds of terms; object terms and relational terms, where object terms are built from object constant symbols and object variables, and relational terms from typed relational constant symbols, typed relational variables, typed operation symbols and the regular operations available in any allegory. The calculus is a mixture of natural deduction and the sequent calculus. It is formulated in a sequent style but with exactly one formula on the right-hand side. We have shown soundness and completeness of this new logic which verifies that the underlying proof system of RelAPS is working correctly.

Square Root Finding In Graphs

Abstract: Root and root finding are concepts familiar to most branches of mathematics. In graph theory, H is a square root of G and G is the square of H if two vertices x,y have an edge in G if and only if x,y are of distance at most two in H. Graph square is a basic operation with a number of results about its properties in the literature. We study the characterization and recognition problems of graph powers. There are algorithmic and computational approaches to answer the decision problem of whether a given graph is a certain power of any graph. There are polynomial time algorithms to solve this problem for square of graphs with girth at least six while the NP-completeness is proven for square of graphs with girth at most four. The girth-parameterized problem of root fining has been open in the case of square of graphs with girth five. We settle the conjecture that recognition of square of graphs with girth 5 is NP-complete. This result is providing the complete dichotomy theorem for square root finding problem.

Understanding the Intersection of Reformed Faith and Dutch Immigrant Culture in Ontario Independent Christian Schools: Principals’ Experiences and Perspectives

In the aftermath of World War II, a wave of Dutch Reformed immigrants arrived in Ontario, many of whom joined the Christian Reformed Church. Following familiar cultural patterns, history, and their Reformed Christian faith, these immigrants settled in Ontario with remarkable institutional completeness (Breton, 1964). They quickly established independent, parent-operated Christian schools across Ontario. The primary purpose of the schools was to educate children through a comprehensive biblically based school program, yet this religious purpose often intersected with a Dutch immigrant ethnic culture. Van Dijk (2001) states that “the schools were the most important organization in maintaining the religious and ethnic identity of Calvinists” (p. 66). In this qualitative study I explore the intersection of Reformed faith and Dutch Canadian immigrant ethnic culture in Christian schools through the experiential and professional lens of eight retired principals. Employing a theoretical framework informed by Berger’s (1967) Sacred Canopy, I suggest that the intersection of faith and culture was experienced in the schools and was embodied by the schools themselves. Findings point to this intersection being located in the participants’ experience of (a) Dutchness, (b) the struggle for Christian education, (c) the ties that bound the school community together, and (d) the cloud of witnesses that founded and continues to support and encourage the Christian school community. The study offers insight into a Dutch Reformed immigrant group’s experience carving out a niche for themselves on the educational landscape in Ontario. This study also offers suggestions on how Christian schools can broaden their canopy and become more ethnically and denominationally diverse in the future.

Consistent Rationalizability

Consistency of a binary relation requires any preference cycle to involve indifference only. As shown by Suzumura (1976b), consistency is necessary and sufficient for the existence of an ordering extension of a relation. Because of this important role of consistency, it is of interest to examine the rationalizability of choice functions by means of consistent relations. We describe the logical relationships between the different notions of rationalizability obtained if reflexivity or completeness are added to consistency, both for greatest-element rationalizability and for maximal-element rationalizability. All but one notion of consistent rationalizability are characterized for general domains, and all of them are characterized for domains that contain all two-element subsets of the universal set.

Maximal-Element Rationalizability

We examine the maximal-element rationalizability of choice functions with arbitrary do-mains. While rationality formulated in terms of the choice of greatest elements according to a rationalizing relation has been analyzed relatively thoroughly in the earlier litera-ture, this is not the case for maximal-element rationalizability, except when it coincides with greatest-element rationalizability because of properties imposed on the rationalizing relation. We develop necessary and sufficient conditions for maximal-element rationaliz-ability by itself, and for maximal-element rationalizability in conjunction with additional properties of a rationalizing relation such as re exivity, completeness, P-acyclicity, quasi-transitivity, consistency and transitivity.

Le droit à l'information au cœur des impératifs commerciaux du développement durable : le précédent de l'agriculture biologique

L'agriculture biologique est issue d'une longue lutte du consommateur et du citoyen pour connaître et contrôler la qualité de son alimentation. Sa popularité montante confirme que la disponibilité de l'information sur l'offre joue un rôle économique et social central auprès de la demande. Cette tendance appuie l'émergence d'un nouvel élément au sein du corpus des droits de la personne : le droit à l'information. Cette étude aborde les étapes de sa formation et prend pour exemple la filière agroalimentaire biologique. Elle représente un modèle avant-gardiste de l'hybridation entre le droit privé et le droit public. Nous examinons en premier lieu comment l'activité des secteurs agroalimentaires civils et privés a contribué à fomenter le désir d'information du consommateur, pour ensuite le mettre en péril. Parallèlement à cela, nous proposons d'analyser les effets et l'influence du corpus de droits et de principes du développement durable sur la filière biologique, mais surtout sur la reconnaissance du besoin d'information pour le consommateur. Enfin, nous faisons un tour d'horizon de la réglementation publique de l'appellation biologique, de son label et de son étiquette. Pour cela, nous évaluons les mesures en place selon les critères de la véracité, de l'accessibilité et de l'exhaustivité de l'information divulguée au consommateur. À la lumière de notre analyse, le consommateur peut tirer ses propres conclusions sur les meilleures réponses normatives à ses besoins. Quelles mesures entre le droit transnational, le droit international et le droit national offrent le meilleur résultat? Laquelle de ces formes juridiques s'avère en mesure de promouvoir une consommation responsable où le consommateur ne fait plus face aux obstacles à son choix éclairé?

L’expérience socioscolaire d’élèves montréalais originaires de l’Asie du Sud : dynamiques familiales, communautaires et systémiques

La recherche explore les dynamiques influençant la réussite scolaire des élèves montréalais originaires de l’Asie du Sud (Inde, Pakistan, Sri Lanka et Bangladesh) à l’école secondaire publique de langue française. En effet, au Québec, à cet ordre d’enseignement, parmi tous les élèves immigrants de différentes origines ethniques, ces élèves présentent le plus fort taux de décrochage et ce, même si l’on tient compte de leur départ élevé de la province avant l’âge de 15 ans et de leur fréquentation importante du secteur de l’éducation des adultes. Cette recherche vise, d’une part, à fournir une meilleure connaissance des dynamiques familiales, communautaires et scolaires qui influencent l’expérience socioscolaire et plus particulièrement, la réussite scolaire de ces élèves et, d’autre part, à identifier les moyens les plus appropriés et les plus efficaces pour amoindrir leurs difficultés. Les données ont été recueillies par le biais d’une méthode mixte, consistant en des entretiens approfondis auprès d’élèves d’origine sud-asiatique et de différents acteurs du paradigme éducatif (les parents, les intervenants scolaires et communautaires), et en un questionnaire anonyme adressé exclusivement aux parents sud-asiatiques. Les données ont été analysées selon un cadre où l’élève d’origine immigrée réussit plus ou moins à l’école sous l’influence de cinq types de facteurs : socioéconomiques, linguistiques, culturels, sociostructurels et systémiques. Les résultats de la recherche soulignent le rôle de l’élève comme acteur de sa réussite, tout en insistant sur l’impact des différents milieux qu’il fréquente. La famille est particulièrement interpellée quant à son projet migratoire, ses valeurs et ses pratiques, ainsi que ses ressources linguistiques, socioéconomiques et relationnelles. La communauté ethnique est aussi interpellée quant à son niveau de complétude institutionnelle. La recherche souligne également l’influence du système scolaire quant à ses politiques, programmes et encadrements éducatifs, mais aussi quant aux pratiques et dynamiques au sein de l’école. L’impact du contexte d’accueil et d’intégration des nouveaux arrivants et du climat des relations interethniques au sein de la société d’accueil sont également mis en relief. « Ça prend tout un village pour éduquer un enfant »! Plus précisément, selon les résultats de notre recherche, les défis des parents sud-asiatiques face à l’insertion au marché de l’emploi, leur méconnaissance du français et le fait que certaines valeurs sud-asiatiques soient parfois en contradiction avec les valeurs québécoises sont les principales dynamiques familiales qui nuisent à la réussite scolaire des élèves d’origine sud-asiatique à l’école québécoise de langue française. En ce qui concerne les dynamiques communautaires, la faiblesse institutionnelle de la communauté sud-asiatique et le petit nombre d’organismes à vocation scolaire ont également un impact important à cet égard. De plus, le classement problématique des élèves à leur arrivée dans le système scolaire québécois, les relations presque inexistantes entre l’école et les parents ainsi que certaines pratiques inadaptées à la réalité des élèves (liées aux services d’accueil et d’orientation) sont les principales dynamiques systémiques qui défavorisent l’intégration socioscolaire des élèves d’origine sud-asiatique, mais aussi celle de l’ensemble des élèves issus de l’immigration.

Expected utility without full transitivity

We generalize the classical expected-utility criterion by weakening transitivity to Suzumura consistency. In the absence of full transitivity, reflexivity and completeness no longer follow as a consequence of the system of axioms employed and a richer class of rankings of probability distributions results. This class is characterized by means of standard expected-utility axioms in addition to Suzumura consistency. An important feature of some members of our new class is that they allow us to soften the negative impact of wellknown paradoxes without abandoning the expected-utility framework altogether.

Approches thérapeutiques de la carcinose péritonéale d’origine appendiculaire récidivante

Objectif: Le traitement de la carcinose péritonéale (CP) d’origine appendiculaire récidivante demeure sous-étudié. L’objectif est d’évaluer le traitement à offrir aux patients présentant une récidive de la maladie. Méthodologie: Depuis 2003, les données de tous les patients avec CP d’origine appendiculaire traités dans notre centre ont été recueillies. Le traitement de la maladie primaire consistait en une cytoréduction chirurgicale complète de la CP suivie d’une chimiothérapie hyperthermique intra-péritoneale (CHIP) à l’oxaliplatine. Lors d’une récidive, une deuxième cytoréduction avec une CHIP à la mitomycine C était offerte aux patients rencontrant certains critères de sélection. Résultats: Un total de 58 patients ont subi une cytoréduction complète suivie d’une CHIP avec l’oxaliplatine. Durant la période de suivi, 22 patients démontrèrent une maladie récidivante (39%). Le péritoine était le site de récidive le plus fréquent. Les survies sans maladie étaient statistiquement différentes selon le grade histopathologique et le degré de complétude de la cytoréduction. Parmi ces 22 patients, huit patients ont reçu une deuxième cytoréduction suivie d’une CHIP à la mitomycine C, un patient a subi une cytoréduction complète seule et 13 patients avaient une maladie non résécable. La survie globale moyenne des patients ayant reçu un deuxième traitement fut de 28 mois. Les taux de morbidité et de mortalité suite à une deuxième cytoréduction suivie d’une CHIP furent de 25% et 0%, respectivement. Conclusion: Une cytoréduction suivie d’une CHIP demeure une intervention possible chez les patients qui présentent une maladie récidivante, mais certains critères doivent être appliqués afin de maximiser la survie et minimiser la morbidité et la mortalité de cette approche.

Contributions de la maternité à l'état de santé de femmes vivant avec le VIH

La réalité des femmes vivant avec le VIH (FVVIH) et désireuses d’avoir un enfant soulève un ensemble d’enjeux de santé publique et de promotion de la santé. Les études réalisées jusqu’à maintenant se sont surtout orientées sur les dimensions épidémiologiques et biomédicales de la maternité en contexte de VIH. Peu d’entre elles ont cependant tenu compte des expériences et des besoins du point de vue des FVVIH mais surtout de l’importance et des significations qu’elles accordent à la maternité. Le projet de maternité contribue à leur sens de l’existence et constitue une modalité de transformation du rapport au VIH et d’auto-transcendance. Cette perspective en tant que stratégie de promotion de la santé n’a pas été non plus suffisamment explorée. L’objectif général de cette thèse, à partir d’un cadre théorique fondé sur les approches féministes de la construction sociale de la maternité, des représentations du risque et des stratégies d’adaptation à la maladie, est d’analyser les expériences de maternité chez des FVVIH montréalaises. Au plan méthodologique, cette thèse s’appuie sur l’analyse qualitative secondaire d’entrevues, réalisées auprès de 42 FVVIH d’origine canadienne-française, africaine et haïtienne et recrutées dans des milieux hospitalier et communautaire. Ces entrevues portent sur leurs expériences quotidiennes en relation avec le VIH, leurs enjeux sociaux, leur famille et leurs relations interpersonnelles. Les données ont été analysées et interprétées selon les étapes de la théorie ancrée avec validation inter-juges. Une analyse typologique a aussi été effectuée pour dégager les modèles de maternité présents dans les discours à partir de deux types d’analyses à savoir, la « méthode relationnelle centrée sur la voix » et celle de « la logique d’action ». Trois articles scientifiques, présentant les résultats de l’analyse, ont été soumis. Le premier article décrit les modèles idéologiques de la maternité dans cette population (croissance personnelle ; réalisation sociale ; accomplissement de soi et de complétude) et ses répercussions sur la gestion du VIH (traitements, dévoilement, soins aux enfants). Le second article dégage la manière dont les femmes, selon leur modèle idéologique de la maternité, s’approprient les informations et les conseils provenant des intervenants de la santé et construisent le risque biologique associé à la maternité dans le contexte du VIH. Il cerne aussi les stratégies utilisées pour réaliser leur projet reproductif en conformité ou non avec les injonctions biomédicales. Le troisième article décrit les façons dont le projet de maternité oriente le rapport au VIH, le sens de l’existence et les expériences d’auto-transcendance des femmes (préserver un statut, un rôle et une image sociale ; transformer le rapport à la mort ; faciliter l’acceptation et la transformation du rapport à la maladie ; donner un sens et une direction à l’existence). À partir d’une réflexion sur l’articulation entre les données présentées dans les trois articles, un modèle théorique intégrateur est proposé. Les retombées de cette étude sur la recherche et l’intervention dans une perspective de promotion de la santé sont esquissées. Des pistes de transfert et de partage des connaissances sont aussi proposées.