463 research outputs found

    A Logic Based Modeling Approach to Managing Workflow Policy Changes

    Get PDF
    Workflow management systems are becoming increasingly important in the automation of business processes. In order to ensure proper workflow execution, workflow policies must be specified with respect to users, roles, and tasks. In today’s dynamic business environment, successful organizations must be able to respond to new customer demands and market opportunities with flexibility and speed. However, without systematic management of workflow policies, changes in organizational structure and process models can lead to inconsistent workflow specifications. Thus far, research in the change management of workflow policies has been scant. In this paper, we propose a logic-based approach to address this problem. Our contribution is three-fold: 1) a modeling language based on predicate logic is proposed, which is succinct and expressive enough to represent process model, organization model, and workflow polices; 2) workflow policy consistency in a dynamic changing environment is formally defined and analyzed based on the proposed language. 3) two algorithms are developed to check and enforce the policy consistency. To the best of our knowledge, this is the first work focuses on the formal analysis of workflow policy change management

    Relation-Centric Task Identification for Policy-Based Process Mining

    Get PDF
    Many organizations use business policies to govern their business processes. For complex business processes, this results in huge amount of policy documents. Given the large volume of policies, manually analyzing policy documents to discover process information imposes excessive cognitive load. In order to provide a solution to this problem, we have proposed previously a novel approach named Policy-based Process Mining (PBPM) to automatically extracting process models from policy documents using information extraction techniques. In this paper, we report our recent findings in an important PBPM step called task identification. Our investigation indicates that task identification from policy documents is quite challenging because it is not a typical information extraction problem. The novelty of our approach is to formalize task identification as a problem of extracting relations among three process components, i.e., resource, action, and data while using sequence kernel techniques. Our initial experiment produced very promising results

    Correspondence between T. Melden, George C. Stokes, and John Shary

    Get PDF
    Correspondence regarding lot 282, Shary Subdivision between November 1, 1930 and October 15, 1942 between T. Melden, George C. Stokes, John Shary, Pearl Stokes, and attorneys for the United Irrigation Company.https://scholarworks.utrgv.edu/johnshary/1024/thumbnail.jp

    Quantitative phosphoproteomics to unravel the cellular response to chemical stressors with different modes of action

    Get PDF
    Damage to cellular macromolecules and organelles by chemical exposure evokes activation of various stress response pathways. To what extent different chemical stressors activate common and stressor-specific pathways is largely unknown. Here, we used quantitative phosphoproteomics to compare the signaling events induced by four stressors with different modes of action: the DNA damaging agent: cisplatin (CDDP), the topoisomerase II inhibitor: etoposide (ETO), the pro-oxidant: diethyl maleate (DEM) and the immunosuppressant: cyclosporine A (CsA) administered at an equitoxic dose to mouse embryonic stem cells. We observed major differences between the stressors in the number and identity of responsive phosphosites and the amplitude of phosphorylation. Kinase motif and pathway analyses indicated that the DNA damage response (DDR) activation by CDDP occurs predominantly through the replication-stress-related Atr kinase, whereas ETO triggers the DDR through Atr as well as the DNA double-strand-break-associated Atm kinase. CsA shares with ETO activation of CK2 kinase. Congruent with their known modes of action, CsA-mediated signaling is related to down-regulation of pathways that control hematopoietic differentiation and immunity, whereas oxidative stress is the most prominent initiator of DEM-modulated stress signaling. This study shows that even at equitoxic doses, different stressors induce distinctive and complex phosphorylation signaling cascades.Toxicolog

    Microsieves for the detection of circulating tumor cells in leukapheresis product in non-small cell lung cancer patients

    Get PDF
    Background: Circulating tumor cells (CTC) in non-small cell lung cancer (NSCLC) patients are a prognostic and possible therapeutic marker, but have a low frequency of appearance. Diagnostic leukapheresis (DLA) concentrates CTC and mononuclear cells from the blood. We evaluated a protocol using two VyCAP microsieves to filter DLA product of NSCLC patients and enumerate CTC, compared with CellSearch as a gold standard. Methods: DLA was performed in NSCLC patients before starting treatment. DLA product equaling 2×108 leukocytes was diluted to 9 mL with CellSearch dilution buffer in a Transfix CTC tube. Within 72 hours the sample was filtered with a 7 μm pore microsieve and subsequently over a 5μm pore microsieve. CTC were defined as nucleated cells which stained for cytokeratin, but lacked CD45 and CD16. CellSearch detected CTC in the same volume of DLA. Results: Of 29 patients a median of 1.4 mL DLA product (range, 0.5-4.1) was filtered (2% of total product) successfully in 93% and 45% of patients using 7 and 5 μm pores, respectively. Two DLA products were unevaluable for CTC detection. Clogging of the 5 μm but not 7 μm microsieves was positively correlated with fixation time (ρ=0.51, P<0.01). VyCAP detected CTC in 44% (12/27) of DLA products. Median CTC count per mL DLA was 0 [interquartile range (IQR): 0-1]. CellSearch detected CTC in 63% of DLA products (median =0.9 CTC per mL DLA, IQR: 0-2.1). CTC counts detected by CellSearch were significantly higher compared with VyCAP (P=0.05). Conclusions: VyCAP microsieves can identify CTC in DLA product, but workflows need to be optimized

    Tumour-derived extracellular vesicles in blood of metastatic cancer patients associate with overall survival

    Get PDF
    Background: Circulating tumour cells (CTCs) in blood associate with overall survival (OS) of cancer patients, but they are detected in extremely low numbers. Large tumour-derived extracellular vesicles (tdEVs) in castration-resistant prostate cancer (CRPC) patients are present at around 20 times higher frequencies than CTCs and have equivalent prognostic power. In this study, we explored the presence of tdEVs in other cancers and their association with OS. Methods: The open-source ACCEPT software was used to automatically enumerate tdEVs in digitally stored CellSearch® images obtained from previously reported CTC studies evaluating OS in 190 CRPC, 450 metastatic colorectal cancer (mCRC), 179 metastatic breast cancer (MBC) and 137 non-small cell lung cancer (NSCLC) patients before the initiation of a new treatment. Results: Presence of unfavourable CTCs and tdEVs is predictive of OS, with respective hazard ratios (HRs) of 2.4 and 2.2 in CRPC, 2.7 and 2.2 in MBC, 2.3 and 1.9 in mCRC and 2.0 and 2.4 in NSCLC, respectively. Conclusions: tdEVs have equivalent prognostic value as CTCs in the investigated metastatic cancers. CRPC, mCRC, and MBC (but not NSCLC) patients with favourable CTC counts can be further prognostically stratified using tdEVs. Our data suggest that tdEVs could be used in clinical decision-making.</p
    corecore