Modeling and Checking Business Process Compliance Rules in the Financial Sector

Assuring compliance of business processes with legal and internal regulations is crucial for financial institutions, as non-compliance may lead to severe financial and juridical penalties. To ensure business process compliance, process models have been established as a widely accepted basis for the design, documentation and control of the implementation of business process rules. Accordingly, in this paper, we introduce a semi-automatic business process compliance checking approach based on process models and related models. It relies on graph-based pattern matching, which makes it possible in contrast to existing approaches to define and check any possible type of business rule in any possible type of business process model or even other type of model. The approach is embedded in a design science research methodology

Calculating the Process Driven Business Value of RFID Investments - A Causal Model for the Measurement of RFID Technologies in Supply Chain Logistics

Calculating the process driven value of RFID investments is very difficult. From a company’s perspective it is important to understand the concrete contribution of an RFID system with regard to individual processes. The problem of profitability analyses in IS is that such technologies cannot be calculated as an economic standard investment. Hence, we propose a reference model as a generic knowledge base for referential RFID impacts. Our model supports the structuring and evaluation of RFID benefits along business processes. With this, we propose indicators for the derivation of an RFID cause-and-effect chain. The allocation of RFID effects to processes within the reference framework helps in identifying the right logistic unit levels for RFID transponder investments

Supporting Business Process Compliance in Financial Institutions – A Model-Driven Approach

Recently, several approaches have been developed to check process models for compliance with laws and regulations. In this paper a contribution is made with respect to reducing the com-plexity of compliance checking by partially automating business process compliance (BPC) checking. We present a model check-ing approach that is able to check process models for BPC. In particular, we apply a generic pattern matching approach to the Semantic Business Process Modeling Language (SBPML) allow-ing for extended model checking not being restricted to predeces-sor-successor relationships. Finally, we apply the BPC checking approach to the example of a credit approval process from a real-world bank scenario using a demonstrator modeling software

Geometric phases in semiconductor spin qubits: Manipulations and decoherence

We describe the effect of geometric phases induced by either classical or quantum electric fields acting on single electron spins in quantum dots in the presence of spin-orbit coupling. On one hand, applied electric fields can be used to control the geometric phases, which allows performing quantum coherent spin manipulations without using high-frequency magnetic fields. On the other hand, fluctuating fields induce random geometric phases that lead to spin relaxation and dephasing, thus limiting the use of such spins as qubits. We estimate the decay rates due to piezoelectric phonons and conduction electrons in the circuit, both representing dominant electric noise sources with characteristically differing power spectra.Comment: 17 pages, 8 figures, published versio

Absence of the neutrophil serine protease cathepsin G decreases neutrophil granulocyte infiltration but does not change the severity of acute pancreatitis

Acute pancreatitis is characterized by an early intracellular protease activation and invasion of leukocytes into the pancreas. Cathepsins constitute a large group of lysosomal enzymes, that have been shown to modulate trypsinogen activation and neutrophil infiltration. Cathepsin G (CTSG) is a neutrophil serine protease of the chymotrypsin C family known to degrade extracellular matrix components and to have regulatory functions in inflammatory disorders. The aim of this study was to investigate the role of CTSG in pancreatitis. Isolated acinar cells were exposed to recombinant CTSG and supramaximal cholezystokinin stimulation. In CTSG(-/-) mice and corresponding controls acute experimental pancreatitis was induced by serial caerulein injections. Severity was assessed by histology, serum enzyme levels and zymogen activation. Neutrophil infiltration was quantified by chloro-acetate ersterase staining and myeloperoxidase measurement. CTSG was expessed in inflammatory cells but not in pancreatic acinar cells. CTSG had no effect on intra-acinar-cell trypsinogen activation. In CTSG(-/-) mice a transient decrease of neutrophil infiltration into the pancreas and lungs was found during acute pancreatitis while the disease severity remained largely unchanged. CTSG is involved in pancreatic neutrophil infiltration during pancreatitis, albeit to a lesser degree than the related neutrophil (PMN) elastase. Its absence therefore leaves pancreatitis severity essentially unaffected

Glycolipids produced by Rouxiella sp. DSM 100043 and isolation of the biosurfactants via foam-fractionation

Additional file 1. Table S1, Figure S1–Figure S3: Mass spectrometry data and plots of purified foam extracts of Rouxiella sp. DSM 100043. Figure S4: Full NMR spectra of Rouxiella sp. DMS 100043 glycolipids present in fractions 64-65

Deleted in Malignant Brain Tumors 1 (DMBT1) is present in hyaline membranes and modulates surface tension of surfactant

This is an Open Access article distributed under the terms of the Creative Commons Attribution Licens

OmpSs@cloudFPGA: An FPGA task-based programming model with message passing

Nowadays, a new parallel paradigm for energy-efficient heterogeneous hardware infrastructures is required to achieve better performance at a reasonable cost on high-performance computing applications. Under this new paradigm, some application parts are offloaded to specialized accelerators that run faster or are more energy-efficient than CPUs. Field-Programmable Gate Arrays (FPGA) are one of those types of accelerators that are becoming widely available in data centers. This paper proposes OmpSs@cloudFPGA, which includes novel extensions to parallel task-based programming models that enable easy and efficient programming of heterogeneous clusters with FPGAs. The programmer only needs to annotate, with OpenMP-like pragmas, the tasks of the application that should be accelerated in the cluster of FPGAs. Next, the proposed programming model framework automatically extracts parts annotated with High-Level Synthesis (HLS) pragmas and synthesizes them into hardware accelerator cores for FPGAs. Additionally, our extensions include and support two novel features: 1) FPGA-to-FPGA direct communication using a Message Passing Interface (MPI) similar Application Programming Interface (API) with one-to-one and collective communications to alleviate host communication channel bottleneck, and 2) creating and spawning work from inside the FPGAs to their own accelerator cores based on an MPI rank-like identification. These features break the classical host-accelerator model, where the host (typically the CPU) generates all the work and distributes it to each accelerator. We also present an evaluation of OmpSs@cloudFPGA for different parallel strategies of the N-Body application on the IBM cloudFPGA research platform. Results show that for cluster sizes up to 56 FPGAs, the performance scales linearly. To the best of our knowledge, this is the best performance obtained for N-body over FPGA platforms, reaching 344 Gpairs/s with 56 FPGAs. Finally, we compare the performance and power consumption of the proposed approach with the ones obtained by a classical execution on the MareNostrum 4 supercomputer, demonstrating that our FPGA approach reduces power consumption by an order of magnitude.This work has been done in the context of the IBM/BSC Deep Learning Center initiative. This work has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 754337 (EuroEXA), from Spanish Government (PID2019-107255GBC21/AEI/10.13039/501100011033), and from Generalitat de Catalunya (2017-SGR-1414 and 2017-SGR-1328).Peer ReviewedPostprint (author's final draft

Controlled-atmosphere thermal demagnetization and paleointensity analyses of extraterrestrial rocks

We describe a system for conducting thermal demagnetization of extraterrestrial rocks in a controlled atmosphere appropriate for a wide range of oxygen fugacities within the stability domain of iron. Thermal demagnetization and Thellier-Thellier paleointensity experiments on lunar basalt synthetic analogs show that the controlled atmosphere prevents oxidation of magnetic carriers. When combined with multidomain paleointensity techniques, this opens the possibility of highly accurate thermal demagnetization and paleointensity measurements on rocks from the Moon and asteroids.United States. National Aeronautics and Space Administration (Grant NNX12AH80G)