Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that well integrates both control flow and data, and a set of tools to assist all phases of a BP life cycle. This paper is an initial attempt to address both aspects of BP modeling. We view our investigation as a precursor to the development of a framework and tools that enable automated construction of processes, along the lines of techniques developed around OWL-S and Semantic Web Services.Over the last decade, an artifact-centric approach of coupling control and data emerged in the practice of BP design. It focuses on the "moving" data as they are manipulated throughout a process. In this paper, we formulate a formal model for artifact-centric business processes and develop complexity results concerning static analysis of three problems of immediate practical concerns, which focus on the ability to complete an execution, existence of an execution "deadend", and redundancy. We show that the problems are undecidable in general, but under various restrictions they are decidable but complete in PSPACE, co-NP, and NP; and in some cases decidable in linear time.

We propose a mesh segmentation algorithm via recursive bisection where at each step, a sub-mesh

Severe fever with thrombocytopenia syndrome (SFTS) caused by a recently identified bunyavirus, SFTSV, is an emerging infectious disease with extensive geographical distribution and high mortality. Progressive viral replication and severe thrombocytopenia are key features of SFTSV infection and fatal outcome, whereas the underlying mechanisms are unknown. We revealed arginine deficiency in SFTS cases by performing metabolomics analysis on two independent patient cohorts, suggesting that arginine metabolism by nitric oxide synthase and arginase is a key pathway in SFTSV infection and consequential death. Arginine deficiency was associated with decreased intraplatelet nitric oxide (Plt-NO) concentration, platelet activation, and thrombocytopenia. An expansion of arginase-expressing granulocytic myeloid-derived suppressor cells was observed, which was related to T cell CD3-ζ chain down-regulation and virus clearance disturbance, implicating a role of arginase activity and arginine depletion in the impaired anti-SFTSV T cell function. Moreover, a comprehensive measurement of arginine bioavailability, global arginine bioavailability ratio, was shown to be a good prognostic marker for fatal prediction in early infection. A randomized controlled trial demonstrated that arginine administration was correlated with enhanced Plt-NO concentration, suppressed platelet activation, and elevated CD3-ζ chain expression and eventually associated with an accelerated virus clearance and thrombocytopenia recovery. Together, our findings revealed the arginine catabolism pathway-associated regulation of platelet homeostasis and T cell dysregulation after SFTSV infection, which not only provided a functional mechanism underlying SFTS pathogenesis but also offered an alternative therapy choice for SFTS.

Existing methods offer little direct and real-time information about stretch-triggered biochemical responses during cell mechanotransduction. A novel stretchable electrochemical sensor is reported that takes advantage of a hierarchical percolation network of carbon nanotubes and gold nanotubes (CNT-AuNT). This hybrid nanostructure provides the sensor with excellent time-reproducible mechanical and electrochemical performances while granting very good cellular compatibility, making it perfectly apt to induce and monitor simultaneously transient biochemical signals. This is validated by monitoring stretch-induced transient release of small signaling molecules by both endothelial and epithelial cells cultured on this sensor and submitted to stretching strains of different intensities. This work demonstrates that the hybrid CNT-AuNT platform offers a versatile and highly sensitive way to characterize and quantify short-time mechanotransduction responses.