588 research outputs found

    Declarative process modeling in BPMN

    Get PDF
    Traditional business process modeling notations, including the standard Business Process Model and Notation (BPMN), rely on an imperative paradigm wherein the process model captures all allowed activity flows. In other words, every flow that is not specified is implicitly disallowed. In the past decade, several researchers have exposed the limitations of this paradigm in the context of business processes with high variability. As an alternative, declarative process modeling notations have been proposed (e.g., Declare). These notations allow modelers to capture constraints on the allowed activity flows, meaning that all flows are allowed provided that they do not violate the specified constraints. Recently, it has been recognized that the boundary between imperative and declarative process modeling is not crisp. Instead, mixtures of declarative and imperative process modeling styles are sometimes preferable, leading to proposals for hybrid process modeling notations. These developments raise the question of whether completely new notations are needed to support hybrid process modeling. This paper answers this question negatively. The paper presents a conservative extension of BPMN for declarative process modeling, namely BPMN-D, and shows that Declare models can be transformed into readable BPMN-D models. © Springer International Publishing Switzerland 2015

    Giant capacitance of a plane capacitor with a two-dimensional electron gas in a magnetic field

    Full text link
    If a clean two-dimensional electron gas (2DEG) with small concentration nn comprises one (or both) electrodes of a plane capacitor, the resulting capacitance CC can be larger than the "geometric capacitance" CgC_g determined by the physical separation dd between electrodes. A recent paper [1] argued that when the effective Bohr radius aBa_B of the 2DEG satisfies aB<<da_B << d, one can achieve C>>CgC >> C_g at low concentration nd2<<1nd^2 << 1. Here we show that even for devices with aB>da_B > d, including graphene, for which aBa_B is effectively infinite, one also arrives at C>>CgC >> C_g at low electron concentration if there is a strong perpendicular magnetic field.Comment: 6 pages, 5 figures; updated discussion about bilayer systems; added discussion of fractional quantum Hall state

    Adhesively-bonded GFRP-glass sandwich components for structurally efficient glazing applications

    Get PDF
    Composite sandwich structures made of thick glass face sheets adhesively-bonded to glass fibre-reinforced polymer (GFRP) core profiles have the potential to outperform existing non-composite glazing configurations but their feasibility has yet to be investigated and there are no analytical models that describe their structural response. This paper presents the new analytical models for predicting deflections and strains in adhesively-bonded GFRP-glass sandwich beams. The new analytical models successfully account for: the shear deformations of the core and adhesive layers; the local bending of the constituent parts about their centroidal axes; and the global bending of the sandwich component as a whole. The deflections and strains predicted by analytical models are validated by finite element simulations and compared with the results of destructive tests performed on adhesively-bonded GFRP-glass beams in a four-point bending configuration. The analytical models were also evaluated for alternative GFRP-glass configurations tested by others. The GFRP-glass beams specially assembled in this study confirm the physical feasibility of constructing these proposed components.The authors would like to thank the Engineering and Physical Sciences Research Council – United Kingdom for the financial support of the project

    Voice assistants in hospital triage operations

    Get PDF
    This paper analyzes the creation and usage of a voice assistant for the triage of emergency room patients. This human-centred intelligent system strongly relies on Mycroft, an extensible open source voice assistant. The patients are able to declare their symptoms to the agent, which recognizes the urgency and acts accordingly. The software can even provide useful medical informations to the users

    A Semantic Approach to Decidability in Epistemic Planning

    Get PDF
    The use of Dynamic Epistemic Logic (DEL) in multi-agent planning has led to a widely adopted action formalism that can handle nondeterminism, partial observability and arbitrary knowledge nesting. As such expressive power comes at the cost of undecidability, several decidable fragments have been isolated, mainly based on syntactic restrictions of the action formalism. In this paper, we pursue a novel semantic approach to achieve decidability. Namely, rather than imposing syntactical constraints, the semantic approach focuses on the axioms of the logic for epistemic planning. Specifically, we augment the logic of knowledge S5n and with an interaction axiom called (knowledge) commutativity, which controls the ability of agents to unboundedly reason on the knowledge of other agents. We then provide a threefold contribution. First, we show that the resulting epistemic planning problem is decidable. In doing so, we prove that our framework admits a finitary non-fixpoint characterization of common knowledge, which is of independent interest. Second, we study different generalizations of the commutativity axiom, with the goal of obtaining decidability for more expressive fragments of DEL. Finally, we show that two well-known epistemic planning systems based on action templates, when interpreted under the setting of knowledge, conform to the commutativity axiom, hence proving their decidability

    Familial hypercholesterolemia: The Italian Atherosclerosis Society Network (LIPIGEN)

    Get PDF
    Primary dyslipidemias are a heterogeneous group of disorders characterized by abnormal levels of circulating lipoproteins. Among them, familial hypercholesterolemia is the most common lipid disorder that predisposes for premature cardiovascular disease. We set up an Italian nationwide network aimed at facilitating the clinical and genetic diagnosis of genetic dyslipidemias named LIPIGEN (LIpid TransPort Disorders Italian GEnetic Network)

    Advancements and Challenges in Object-Centric Process Mining: A Systematic Literature Review

    Full text link
    Recent years have seen the emergence of object-centric process mining techniques. Born as a response to the limitations of traditional process mining in analyzing event data from prevalent information systems like CRM and ERP, these techniques aim to tackle the deficiency, convergence, and divergence issues seen in traditional event logs. Despite the promise, the adoption in real-world process mining analyses remains limited. This paper embarks on a comprehensive literature review of object-centric process mining, providing insights into the current status of the discipline and its historical trajectory

    Data-aware conformance checking with SMT

    Get PDF
    Conformance checking is a key process mining task to confront the normative behavior imposed by a process model with the actual behavior recorded in a log. While this problem has been extensively studied for pure control-flow processes, data-aware conformance checking has received comparatively little attention. In this paper, we tackle the conformance checking problem for the challenging scenario of processes that combine data and control-flow dimensions. Concretely, we adopt the formalism of data Petri nets (DPNs) and show how solid, well-established automated reasoning techniques from the area of Satisfiability Modulo Theories (SMT) can be effectively harnessed to compute conformance metrics and optimal data-aware alignments. To this end, we introduce the CoCoMoT (Computing Conformance Modulo Theories) framework, with a fourfold contribution. First, we show how SMT allows to leverage SAT-based encodings for the pure control-flow setting to the data-aware case. Second, we introduce a novel preprocessing technique based on a notion of property-preserving clustering, to speed up the computation of conformance checking outputs. Third, we show how our approach extends seamlessly to the more comprehensive conformance checking artifacts of multi- and anti-alignments. Fourth, we describe a proof-of-concept implementation based on state-of-the-art SMT solvers, and report on experiments. Finally, we discuss how CoCoMoT directly lends itself to further process mining tasks like log analysis by clustering and model repair, and the use of SMT facilitates the support of even richer multi-perspective models, where, for example, more expressive DPN guards languages are considered or generic datatypes (other than integers or reals) are employed
    • …
    corecore