9 research outputs found

    Ontology mapping of business process modeling based on formal temporal logic

    Get PDF
    A business process is the combination of a set of activities with logical order and dependence, whose objective is to produce a desired goal. Business process modeling (BPM) using knowledge of the available process modeling techniques enable a common understanding and analysis of a business process. Industry and academics use informal and formal methods respectively to represent business processes (BP), having the main objective to support an organization. Despite both are aiming at BPM but the methods used are quite different in their semantics. While carrying out literature research, it has been found that there is no general representation of business process modeling is available that is expressive than the commercial modeling tools and techniques. Therefore, it is primarily conceived to provide an ontology mapping of modeling terms of Business Process Modeling Notation (BPMN), Unified Modeling Language (UML) Activity Diagrams (AD) and Event Driven Process Chains (EPC) to temporal logic. Being a formal system, first order logic assists in thorough understanding of process modeling and its application. However, our contribution is to devise a versatile conceptual categorization of modeling terms/constructs and also formalizing them, based on well accepted business notions, such as action, event, process, sub-process, connector and flow. It is demonstrated that the new categorization of modeling terms mapped to formal temporal logic, provides the expressive power to subsume business process modeling techniques i.e. BPMN, UML AD and EPC

    Comparison of risk factors and survival of type 1 and type II endometrial cancers

    Get PDF
    Objective: To compare risk factors and progression free survival of type 1 & 2 endometrial cancers.Methods: A retrospective analysis of 149 patients with early stage endometrial carcinoma treated between 1997 and 2012 in Aga Khan University Hospital, Karachi was performed.Results: A total of 149 patients were analyzed. Type I tumors accounted for 92% of cases in the study while 8% were type II tumors. The mean age, BMI, parity, co-morbidities (hypertension & Diabetes), family history and history of polycystic disease were comparable in both groups. Overall better survival (113 Vs 24 months) was observed for type I endometrial cancer.Conclusion: Both types of endometrial cancer may share common etiologic factors. Despite the limitation of small numbers in one group this study confirms better survival in type 1 endometrial cancer

    Obstetric patients in intensive care unit: Perspective from a teaching hospital in Pakistan

    Get PDF
    Objective: Review of obstetric cases admitted to the intensive care unit.Design: Ten year retrospective review of individual patients\u27 medical records.Participants: Records of obstetric patients admitted from 2005-2014.Setting: Aga Khan University Hospital Karachi.Main outcome Measures: Diagnosis at the time of admission, associated risk factors, and intervention required aspects of management and rate of mortality.Findings: A total of 194 obstetric patients were admitted out of which 86.2% of patients had ventilator support. Mortality was not seen to be significantly associated with parity and antenatal/postnatal status. The median age of patients was 34 years, minimum length of stay was 24 hours and maximum stay was 53 days. Sixty one percent of patients were admitted to with organ system failure. The overall mortality rate was 21.64% (42/194). The mortality rate was five times more likely in patients who had gastro-intestinal complication {Odds Ratio=4.87; 95%CI: 1.65-14.36}. The largest group of patients {28.4%} presented with hematological diagnosis.Conclusion: When the intensive care unit admission became essential, primary diagnosis included: postpartum hemorrhage, hypertensive disorders, sepsis and infectious diseases. An increased vigilance of high-risk pregnant women and a stabilization of their condition before intervention is administered, improves the outcome of these women

    In vivo analgesic, antipyretic and anti-inflammatory activities of ethanol extract of Pericampylus glaucus in experimental animals

    Get PDF
    Pericampylus glaucus is a common Malaysian plant used traditionally in the treatments of joint pain, abdominal pain and headache. Hence, the present research was aimed to evaluate ethanolic extract of Pericampylus glaucus for analgesic, antipyretic and anti-inflammatory activities in experimental animals. The central and peripheral analgesic activity was determined by acetic acid induced writhing and hot plate method by examining the number of writhing and paw licking or jumping time. Meanwhile, the antipyretic activity was determined by Brewer’s yeast- test that induced pyrexia and carrageenan- that induced hind paw inflammation was used for anti-inflammatory activities. The ethanolic extract of Pericampylus glaucus at doses (300 and 600 mg/kg b.wt) and Ibuprofen (100 mg/kg (b.wt) was used as a reference drug in the whole experiment. Intraperitoneal administration of Pericampylus glaucus produced significant (p<0.01) inhibition in writhing response in acetic acid induced writhing test and dose-dependent (p<0.001) prolonged paw licking in hot plate test as compared to control (normal saline treated group). Similarly, significant (p<0.001) attenuation in lowering rectal temperature was noted in animal groups that were treated with ethanolic extract of Pericampylus glaucus at different doses. The attenuation was, almost the same as produced by ibuprofen treated group. Furthermore, Pericampylus glaucus extract also produced significant reduction in hind paw edema (p<0.001), 4 h after administration of carrageenan and inhibition was 60.19% and 42.17% as compared to control (normal saline treated group). The findings of this study indicated that Pericampylus glaucus possess significant analgesic, antipyretic and anti-inflammatory activities and could possibly be used in the management of fever, pain and inflammation

    The development and validation of a scoring tool to predict the operative duration of elective laparoscopic cholecystectomy

    Get PDF
    Background: The ability to accurately predict operative duration has the potential to optimise theatre efficiency and utilisation, thus reducing costs and increasing staff and patient satisfaction. With laparoscopic cholecystectomy being one of the most commonly performed procedures worldwide, a tool to predict operative duration could be extremely beneficial to healthcare organisations. Methods: Data collected from the CholeS study on patients undergoing cholecystectomy in UK and Irish hospitals between 04/2014 and 05/2014 were used to study operative duration. A multivariable binary logistic regression model was produced in order to identify significant independent predictors of long (> 90 min) operations. The resulting model was converted to a risk score, which was subsequently validated on second cohort of patients using ROC curves. Results: After exclusions, data were available for 7227 patients in the derivation (CholeS) cohort. The median operative duration was 60 min (interquartile range 45–85), with 17.7% of operations lasting longer than 90 min. Ten factors were found to be significant independent predictors of operative durations > 90 min, including ASA, age, previous surgical admissions, BMI, gallbladder wall thickness and CBD diameter. A risk score was then produced from these factors, and applied to a cohort of 2405 patients from a tertiary centre for external validation. This returned an area under the ROC curve of 0.708 (SE = 0.013, p  90 min increasing more than eightfold from 5.1 to 41.8% in the extremes of the score. Conclusion: The scoring tool produced in this study was found to be significantly predictive of long operative durations on validation in an external cohort. As such, the tool may have the potential to enable organisations to better organise theatre lists and deliver greater efficiencies in care

    A grounding of business process modeling based on temporal logic

    No full text
    This paper proposes grounding for the business process modeling (BPM) based on general time theory providing axiomatic system. First order logic is used to give a clear definition of abstract business process and corresponding temporal relations including derived relations using a single “Meets” relation. Temporal logic used here treats time interval and time points on equal footing. We use model theoretic approach, in which abstract business process is represented as a formal system and mapped to an instance/concrete realization. Also, we used resolution theorem to provide its soundness and completeness properties. A Process temporal graph as a directed graph is introduced with graphical notation defined to represent the temporal knowledge. A real world realization of the corresponding graph is considered an instance of an abstract business process. Sound and completeness properties of the process temporal graph using reachability analysis. However, Arcs representing time elements, vertex representing the `Meets' relation and also allows expression of both logical AND and OR

    Utilisation of an operative difficulty grading scale for laparoscopic cholecystectomy (vol 33, pg 110, 2019)

    No full text

    Preoperative risk factors for conversion from laparoscopic to open cholecystectomy: a validated risk score derived from a prospective U.K. database of 8820 patients

    No full text
    corecore