Efficient Compliance Checking Using BPMN-Q and Temporal Logic

Abstract. Compliance rules describe regulations, policies and quality constraints business processes must adhere to. Given the large number of rules and their frequency of change, manual compliance checking can be-come a time-consuming task. Automated compliance checking of process activities and their ordering is an alternative whenever business pro-cesses and compliance rules are described in a formal way. This paper introduces an approach for automated compliance checking. Compliance rules are translated into temporal logic formulae that serve as input to model checkers which in turn verify whether a process model satisfies the requested compliance rule. To address the problem of state-space explo-sion we employ a set of reduction rules. The approach is prototypically realized and evaluated.

Modeling and enacting complex data dependencies in business processes

Enacting business processes in process engines requires the coverage of control flow, resource assignments, and process data. While the first two aspects are well supported in current process engines, data dependencies need to be added and maintained manually by a process engineer. Thus, this task is error-prone and time-consuming. In this report, we address the problem of modeling processes with complex data dependencies, e.g., m:n relationships, and their automatic enactment from process models. First, we extend BPMN data objects with few annotations to allow data dependency handling as well as data instance differentiation. Second, we introduce a pattern-based approach to derive SQL queries from process models utilizing the above mentioned extensions. Therewith, we allow automatic enactment of data-aware BPMN process models. We implemented our approach for the Activiti process engine to show applicability. Keywords: Process Modeling, Data Modeling, Process Enactment, BPMN, SQ

Nationwide Outcome of Gastrectomy with En-Bloc Partial Pancreatectomy for Gastric Cancer

Background Radical gastrectomy is the cornerstone of the treatment of gastric cancer. For tumors invading the pancreas, en-bloc partial pancreatectomy may be needed for a radical resection. The aim of this study was to evaluate the outcome of gastrectomies with partial pancreatectomy for gastric cancer. Methods Patients who underwent gastrectomy with or without partial pancreatectomy for gastric or gastro-oesophageal junction cancer between 2011 and 2015 were selected from the Dutch Upper GI Cancer Audit (DUCA). Outcomes were resection margin (pR0) and Clavien-Dindo grade >= III postoperative complications and survival. The association between partial pancreatectomy and postoperative complications was analyzed with multivariable logistic regression. Overall survival of patients with partial pancreatectomy was estimated using the Kaplan-Meier method. Results Of 1966 patients that underwent gastrectomy, 55 patients (2.8%) underwent en-bloc partial pancreatectomy. A pR0 resection was achieved in 45 of 55 patients (82% versus 85% in the group without additional resection, P = 0.82). Clavien-Dindo grade = III complications occurred in 21 of 55 patients (38% versus 17%, P <0.001). Median overall survival [95% confidence interval] was 15 [6.8-23.2] months. For patients with and without perioperative systemic therapy, median survival was 20 [12.3-27.7] and 10 [5.7-14.3] months, and for patients with pR0 and pR1 resection, it was 20 [11.8-28.3] and 5 [2.4-7.6] months, respectively. Conclusions Gastrectomy with partial pancreatectomy is not only associated with a pR0 resection rate of 82% but also with increased postoperative morbidity. It should only be performed if a pR0 resection is feasible

Random-phase approximation and its applications in computational chemistry and materials science

The random-phase approximation (RPA) as an approach for computing the electronic correlation energy is reviewed. After a brief account of its basic concept and historical development, the paper is devoted to the theoretical formulations of RPA, and its applications to realistic systems. With several illustrating applications, we discuss the implications of RPA for computational chemistry and materials science. The computational cost of RPA is also addressed which is critical for its widespread use in future applications. In addition, current correction schemes going beyond RPA and directions of further development will be discussed.Comment: 25 pages, 11 figures, published online in J. Mater. Sci. (2012

Comparing Petri Net and Activity Diagram Variants for Workflow Modelling:A Quest for Reactive Petri Nets

Petri net variants are widely used as a workflow modelling technique. Recently, UMLa ctivity diagrams have been used for the same purpose, even though the syntax and semantics of activity diagrams has not been yet fully worked out. Nevertheless, activity diagrams seem very similar to Petri nets and on the surface, one may think that they are variants of each other. To substantiate or deny this claim, we need to formalise the intended semantics of activity diagrams and then compare this with various Petri net semantics. In previous papers we have defined two formal semantics for UMLact ivity diagrams that are intended for workflow modelling. In this paper, we discuss the design choices that underlie these two semantics and investigate whether these design choices can be met in low-level and high-level Petri net semantics. We argue that the main difference between the Petri net semantics and our semantics of UML act ivity diagrams is that the Petri net semantics models resource usage of closed, active systems that are non-reactive, whereas our semantics of UMLact ivity diagrams models open, reactive systems. Since workflow systems are open, reactive systems, we conclude that Petri nets cannot model workflows accurately, unless they are extended with a syntax and semantics for reactivity

Short- and Long-Term Results of Open Versus Laparoscopic Appendectomy

Clinical advantages of laparoscopic appendectomy have been shown in numerous trials and reviews. Most of these advantages are small and of limited clinical relevance, while laparoscopic operation costs are reported to be higher. The present study compares short- and long-term results of conventional appendectomy with or without diagnostic laparoscopy (OA), and laparoscopic appendectomy (LA). All adult patients who underwent appendectomy in our institution from 1995 to 2005 were included retrospectively. Patient data were retrieved from medical records, questionnaires sent by mail, and records of general practitioners. Primary outcome parameters were long-term complications, readmissions, and reinterventions (> 30 days postoperatively). Secondary outcome parameters were short-term complications, readmissions, and reinterventions (a parts per thousand currency sign30 days postoperatively). A total of 755 patients were included, 545 of whom underwent OA, with the remaining 210 undergoing LA. In the long term there were few complications noted, and there were no significant differences in complications between the two groups. Within 30 days postoperatively, LA was associated with a significantly higher incidence of abdominal abscesses with consequent diagnostic investigations, interventions, and readmissions. Although laparoscopic appendectomy is known to deliver clinical advantages, it is associated with a higher incidence of abdominal abscesses. Because the procedure is about to become the standard of care, future research must be directed at solving this issue. The expected lower incidence of incisional hernia and small bowel obstruction after laparoscopic appendectomy was not shown in the present stud

Branding the City: The Democratic Legitimacy of a New Mode of Governance

__Abstract__ Place branding has been used to influence ideas concerning communities and districts, especially in regeneration programmes. This article approaches branding as a new governance strategy for managing perceptions. Considering the popular criticism that branding is a form of spin that prevents the public from gaining a proper understanding of their government's policies, this article focuses on the democratic legitimacy of branding in urban governance. The branding of two urban communities in the Netherlands is examined empirically in terms of input legitimacy, throughput legitimacy and output legitimacy. The research shows how the democratic legitimacy of branding varies in the two cases. In one case, branding largely excluded citizens, whereas in the other case there was limited citizen participation. The article indicates that, although branding can potentially be a participatory process in which the feelings and emotions of citizens are included, this potential is not always fully realised in practice

Long-Term Surgical Recurrence, Morbidity, Quality of Life, and Body Image of Laparoscopic-Assisted vs. Open Ileocolic Resection for Crohn’s Disease: A Comparative Study

PurposeSeveral studies have compared conventional open ileocolic resection with a laparoscopic-assisted approach. However, long-term outcome after laparoscopic-assisted ileocolic resection remains to be determined. This study was designed to compare long-term results of surgical recurrence, quality of life, body image, and cosmesis in patients who underwent laparoscopic-assisted or open ileocolic resection for Crohn's disease.MethodsSeventy-eight consecutive patients who underwent ileocolic resection during the period 1995 to 1998 were analyzed; 48 underwent a conventional open approach in the Academic Medical Centre (Amsterdam, The Netherlands) and 30 underwent a laparoscopic-assisted approach in the Leiden University Medical Centre (Leiden, The Netherlands). Primary outcome parameters were reoperation and readmission rate. Secondary outcome parameters were quality of life, body image, and cosmesis.ResultsThe two groups were comparable for characteristics of sex, age, and immunosuppressive therapy. Seventy-one patients had a complete follow-up of median 8.5 years. Resection for recurrent Crohn's disease was performed in 6 of 27 (22 percent) and 10 of 44 (23 percent) patients in the laparoscopic and open groups, respectively. Reoperations for incisional hernia were only performed after conventional open ileocolic resection (3/44 = 6.8 percent). Quality of life and body image were comparable, but cosmesis scores were significantly higher in the laparoscopic group.ConclusionsDespite small numbers, we found that surgical recurrence and quality of life after laparoscopic-assisted and open ileocolic resection were comparable. Incisional hernias occurred only after open ileocolic resection, and laparoscopic-assisted ileocolic resection resulted in a significantly better cosmesis