Towards a semantic quality based approach for business process models improvement

Business process (BP) modeling aims at a better understanding of processes, allowing deciders to improve them. We propose to support this modeling with an approach encompassing methods and tools for BP models quality measurement and improvement. In this paper we focus on semantic quality. The latter is evaluated by aligning BP model concepts with domain knowledge. The alignment is conducted thanks to meta-models. We also define validation rules for checking the completeness of BP models. A medical case study illustrates the main steps of our approach.<br /

Short-term effects of a pay-for-performance programme for diabetes in a primary care setting: an observational study

Objective A pay-for-performance (P4P) programme for primary care was introduced in 2011 by a Swedish county (with 1.6 million inhabitants). Effects on register entry practice and comparability of data for patients with diabetes mellitus were assessed. Design and setting Observational study analysing short-term outcomes before and after introduction of a P4P programme in the study county as compared with a reference county. Subjects A total of 84 053 patients reported to the National Diabetes Register by 349 primary care units. Main outcome measures Completeness of data, level and target achievement of glycated haemoglobin (HbA1c), blood pressure (BP), and LDL cholesterol (LDL). Results In the study county, newly recruited patients who were entered during the incentive programme were less well controlled than existing patients in the register - they had higher HbA1c (54.9 [54.5-55.4] vs. 53.7 [53.6-53.9] mmol/mol), BP, and LDL. The percentage of patients with entry of BP, HbA1c, LDL, albuminuria, and smoking increased in the study county but not in the reference county (+26.3% vs -1.5%). In the study county, with an incentive for BP < 130/80 mmHg, BP data entry behaviour was altered with an increased preference for sub-target BP values and a decline in zero end-digit readings (38.3% vs. 33.7%, p < 0.001). Conclusion P4P led to increased register entry, increased completeness of data, and altered BP entry behaviour. Analysis of newly added patients and data shows that missing patients and data can cause performance to be overestimated. Potential effects on reporting quality should be considered when designing payment programmes. Key points A pay-for-performance programme, with a focus on data entry, was introduced in a primary care region in Sweden. Register data entry in the National Diabetes Register increased and registration behaviour was altered, especially for blood pressure. Newly entered patients and data during the incentive programme were less well controlled. Missing data in a quality register can cause performance to be overestimated

On the Logic of Belief and Propositional Quantification

We consider extending the modal logic KD45, commonly taken as the baseline system for belief, with propositional quantifiers that can be used to formalize natural language sentences such as “everything I believe is true” or “there is some-thing that I neither believe nor disbelieve.” Our main results are axiomatizations of the logics with propositional quantifiers of natural classes of complete Boolean algebras with an operator (BAOs) validating KD45. Among them is the class of complete, atomic, and completely multiplicative BAOs validating KD45. Hence, by duality, we also cover the usual method of adding propositional quantifiers to normal modal logics by considering their classes of Kripke frames. In addition, we obtain decidability for all the concrete logics we discuss

The Exoplanet Population Observation Simulator. I - The Inner Edges of Planetary Systems

The Kepler survey provides a statistical census of planetary systems out to the habitable zone. Because most planets are non-transiting, orbital architectures are best estimated using simulated observations of ensemble populations. Here, we introduce EPOS, the Exoplanet Population Observation Simulator, to estimate the prevalence and orbital architectures of multi-planet systems based on the latest Kepler data release, DR25. We estimate that at least 42% of sun-like stars have nearly coplanar planetary systems with 7 or more exoplanets. The fraction of stars with at least one planet within 1 au could be as high as 100% depending on assumptions about the distribution of single transiting planets. We estimate an occurrence rate of planets in the habitable zone around sun-like stars of eta_earth=36+-14%. The innermost planets in multi-planet systems are clustered around an orbital period of 10 days (0.1 au), reminiscent of the protoplanetary disk inner edge or could be explained by a planet trap at that location. Only a small fraction of planetary systems have the innermost planet at long orbital periods, with fewer than ~8% and ~3% having no planet interior to the orbit of Mercury and Venus, respectively. These results reinforce the view that the solar system is not a typical planetary system, but an outlier among the distribution of known exoplanetary systems. We predict that at least half of the habitable zone exoplanets are accompanied by (non-transiting) planets at shorter orbital periods, hence knowledge of a close-in exoplanet could be used as a way to optimize the search for Earth-size planets in the Habitable Zone with future direct imaging missions.Comment: Accepted in AAS journals, code available on githu

Small and mighty: adaptation of superphylum Patescibacteria to groundwater environment drives their genome simplicity.

BackgroundThe newly defined superphylum Patescibacteria such as Parcubacteria (OD1) and Microgenomates (OP11) has been found to be prevalent in groundwater, sediment, lake, and other aquifer environments. Recently increasing attention has been paid to this diverse&nbsp;superphylum including &gt;&nbsp;20 candidate phyla&nbsp;(a large part of the candidate phylum radiation, CPR) because it refreshed our view of the tree of life. However, adaptive traits contributing to its prevalence are still not well known.ResultsHere, we investigated the genomic features and metabolic pathways of Patescibacteria in groundwater through genome-resolved metagenomics analysis of &gt; 600 Gbp sequence data. We observed that, while the members of Patescibacteria have reduced genomes (~ 1 Mbp) exclusively, functions essential to growth and reproduction such as genetic information processing were retained. Surprisingly, they have sharply reduced redundant and nonessential functions, including specific metabolic activities and stress response systems. The Patescibacteria have ultra-small cells and simplified membrane structures, including flagellar assembly, transporters, and two-component systems. Despite the lack of CRISPR viral defense, the bacteria may evade predation through deletion of common membrane phage receptors and other alternative strategies, which may explain the low representation of prophage proteins in their genomes and lack of CRISPR. By establishing the linkages between bacterial features and the groundwater environmental conditions, our results provide important insights into the functions and evolution of this CPR group.ConclusionsWe found that Patescibacteria has streamlined many functions while acquiring advantages such as avoiding phage invasion, to adapt to the groundwater environment. The unique features of small genome size, ultra-small cell size, and lacking CRISPR of this large lineage are bringing new understandings on life of Bacteria. Our results provide important insights into the mechanisms for adaptation of the superphylum in the groundwater environments, and demonstrate a case where less is more, and small is mighty