A taxonomy of grid workflow verification and validation

No abstract is available for this paper.

• Publication year

  2008

• Venue

  Concurrency and Computation

• Publication date

  2008-03-15

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1002/cpe.1220
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Activity Completion Duration Based Checkpoint Selection for Dynamic Verification of Temporal Constraints in Grid Workflow Systems

  2008cited by this paper
• QoS-based scheduling of workflow applications on grids

  2007cited by this paper
• Multiple states based temporal consistency for dynamic verification of fixed‐time constraints in Grid workflow systems

  2007influential reference
• Adaptive selection of necessary and sufficient checkpoints for dynamic verification of temporal constraints in grid workflow systems

  2007cited by this paper
• A Grid workflow infrastructure

  2006influential reference
• Dynamic Setting, Verification and Adjustment of Upper Bound Constraints in Grid Workflow Systems

  2006cited by this paper
• Key research issues in grid workflow verification and validation

  2006cited by this paper
• Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems

  2006cited by this paper
• Temporal Dependency for Dynamic Verification of Fixed-Date Constraints in Grid Workflow Systems

  2005influential reference
• Dynamic checking of temporal constraints for concurrent workflows

  2005cited by this paper
• QoS support for time-critical grid workflow applications

  2005cited by this paper
• Copyright

  2005cited by this paper
• QoS-based Scheduling of Workflow Applications on Service Grids

  2005influential reference
• The Grid Economy

  2005influential reference
• A minimum proportional time redundancy based checkpoint selection strategy for dynamic verification of fixed-time constraints in grid workflow systems

  2005cited by this paper
• A taxonomy of scientific workflow systems for grid computing

  2005influential reference
• Towards Quality of Service Support for Grid Workflows

  2005cited by this paper
• Analysis and Provision of QoS for Distributed Grid Applications

  2004cited by this paper
• An Atmospheric Sciences Workflow and Its Implementation with Web Services

  2004cited by this paper
• Commitments for flexible business processes

  2004cited by this paper
• Resource constraints analysis of workflow specifications

  2004cited by this paper
• Dynamic verification of temporal constraints on-the-fly for workflow systems

  2004cited by this paper
• An intelligent assistant for interactive workflow composition

  2004influential reference
• GeneGrid: A Practical Workflow Implementation for a Grid Based Virtual Bioinformatics Laboratory

  2004cited by this paper
• A novel architecture for realizing grid workflow using tuple spaces

  2004influential reference
• Workflow Model Analysis Based on Time Constraint Petri Nets

  2004cited by this paper
• Authorization and Access Control of Application Data in Workflow Systems

  2004cited by this paper
• The Gridbus toolkit for service oriented grid and utility computing: an overview and status report

  2004cited by this paper
• A-GWL: Abstract Grid Workflow Language

  2004cited by this paper
• GridAnt: A Client-Controllable Grid Work.ow System

  2004cited by this paper
• Characterizing Grids: Attributes, Definitions, and Formalisms

  2003cited by this paper
• Mapping Abstract Complex Workflows onto Grid Environments

  2003influential reference
• Timing constraint workflow nets for workflow analysis

  2003cited by this paper
• GridFlow: workflow management for grid computing

  2003cited by this paper
• Workflow Patterns

  2003cited by this paper
• JISGA: A Jini-Based Service-Oriented Grid Architecture

  2003cited by this paper
• Autonomous fuzzy parking control of a car-like mobile robot

  2003cited by this paper
• Quality of service and semantic composition of workflows

  2002cited by this paper
• Workflow Management Models , Methods , and Systems

  2002influential reference
• The Physiology of the Grid An Open Grid Services Architecture for Distributed Systems Integration

  2002cited by this paper
• GSFL: A Workflow Framework for Grid Services

  2002influential reference
• The Pi-Calculus - a theory of mobile processes

  2001cited by this paper
• Improving the performance of time-constrained workflow processing

  2001cited by this paper
• The Pi-Calculus

  2001cited by this paper
• Managing Workflow Authorization Constraints through Active Database Technology

  2001cited by this paper
• The Anatomy of the Grid: Enabling Scalable Virtual Organizations

  2001cited by this paper
• A timed workflow process model

  2001cited by this paper
• Analyzing Process Models Using Graph Reduction Techniques

  2000influential reference
• Exception Handling in Workflow Management Systems

  2000cited by this paper
• Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques

  2000influential reference
• Temporal representation and reasoning for workflow in engineering design change review

  2000cited by this paper
• Time Constraints in Workflow Systems

  1999cited by this paper
• The specification and enforcement of authorization constraints in workflow management systems

  1999cited by this paper
• Modeling and Analysis of Workflows Using Petri Nets

  1998cited by this paper
• Workflow instance scheduling with project management tools

  1998cited by this paper
• Logic based modeling and analysis of workflows

  1998cited by this paper
• The Application of Petri Nets to Workflow Management

  1998cited by this paper
• Standard Glossary of Software Engineering Terminology

  1990cited by this paper
• Algebraic theory of processes

  1988cited by this paper
• Concurrency and Computation : Practice and Experience

  year unknowncited by this paper

• SUMOylation of HNRNPA2B1 modulates RPA dynamics during unperturbed replication and genotoxic stress responses.

  2023cites this paper
• Emerging roles of hnRNP A2B1 in cancer and inflammation.

  2022cites this paper
• OCT4 expression transactivated by GATA protein is essential for non-rodent trophectoderm early development.

  2022cites this paper
• RNA Binding Proteins (RBPs) and their role in DNA Damage and radiation response in cancer.

  2022cites this paper
• Methyltransferase 3, N6-adenosine-methyltransferase complex catalytic subunit-induced long intergenic non-protein coding RNA 1833 N6-methyladenosine methylation promotes the non-small cell lung cancer progression via regulating heterogeneous nuclear ribonucleoprotein A2/B1 expression

  2022cites this paper
• Selective Anti-melanoma Effect of Phosphothioated Aptamer Encapsulated by Neutral Cytidinyl/Cationic Lipids

  2021cites this paper
• Targeting the Lnc-OPHN1-5/androgen receptor/hnRNPA1 complex increases Enzalutamide sensitivity to better suppress prostate cancer progression

  2021cites this paper
• Profiling of subcellular EGFR interactome reveals hnRNP A3 modulates nuclear EGFR localization

  2020cites this paper
• The roles of hnRNP A2/B1 in RNA biology and disease

  2020cites this paper
• Aberrant alternative splicing in breast cancer

  2019cites this paper
• Anti-Inflammatory Action of Heterogeneous Nuclear Ribonucleoprotein A2/B1 in Patients with Autoimmune Endocrine Disorders

  2019cites this paper
• Using Affinity Purification Coupled with Stable Isotope Labeling by Amino Acids in Cell Culture Quantitative Mass Spectrometry to Identify Novel Interactors/Substrates of Protein Arginine Methyltransferases.

  2019cites this paper
• Heterogeneous Nuclear Ribonucleoproteins A1 and A2 Function in Telomerase-Dependent Maintenance of Telomeres

  2019influential citation
• miR-128 Restriction of LINE-1 (L1) Retrotransposition Is Dependent on Targeting hnRNPA1 mRNA

  2019cites this paper
• Mechanism of the natural product moracin-O derived MO-460 and its targeting protein hnRNPA2B1 on HIF-1α inhibition

  2019cites this paper
• Heterogeneous Nuclear Ribonucleoproteins Involved in the Functioning of Telomeres in Malignant Cells

  2019cites this paper
• Carboxyl terminal activating region 3 of latent membrane protein 1 encoded by the Epstein-Barr virus regulates cell proliferation and protein expression in NP69 cells

  2019cites this paper
• Knockdown of hnRNP A2/B1 inhibits cell proliferation, invasion and cell cycle triggering apoptosis in cervical cancer via PI3K/AKT signaling pathway

  2018cites this paper
• The Effect of Stress Induced Premature Senescence on the Expression of Heterogeneous RibonucleoIeoprotein

  2018cites this paper
• Depletion of endogenous miRNA-378-3p increases peak cell density of CHO DP12 cells and is correlated with elevated levels of ubiquitin carboxyl-terminal hydrolase 14.

  2018cites this paper
• d-/l-Isothymidine incorporation in the core sequence of aptamer BC15 enhanced its binding affinity to the hnRNP A1 protein.

  2018cites this paper
• Therapeutic Applications of Targeted Alternative Splicing to Cancer Treatment

  2017cites this paper
• LncRNA-uc002mbe.2 Interacting with hnRNPA2B1 Mediates AKT Deactivation and p21 Up-Regulation Induced by Trichostatin in Liver Cancer Cells

  2017cites this paper
• Grid workflow validation using ontology-based tacit knowledge: A case study for quantitative remote sensing applications

  2017cites this paper
• miR-128-induced LINE-1 restriction is dependent on down-regulation of hnRNPA1

  2017cites this paper
• Tauroursodeoxycholic Acid Drives Mitochondrial Bioenergetics Toward Neural Stem Cell Proliferation

  2017influential citation
• Splicing Factors in Breast Cancer: Drivers of the Breast Tumor Fate

  2017cites this paper
• Consequences of the natural retinoid/retinoid X receptor ligands action in human breast cancer MDA-MB-231 cell line: Focus on functional proteomics.

  2017cites this paper
• Splicing factor hnRNPA2B1 contributes to tumorigenic potential of breast cancer cells through STAT3 and ERK1/2 signaling pathway

  2017cites this paper
• Small molecule modulation of splicing factor expression is associated with rescue from cellular senescence

  2017cites this paper
• Responses of A549 human lung epithelial cells to cristobalite and α‐quartz exposures assessed by toxicoproteomics and gene expression analysis

  2016cites this paper
• Scientific Workflows

  2016cites this paper
• Overexpression of PCBP2 contributes to poor prognosis and enhanced cell growth in human hepatocellular carcinoma.

  2016cites this paper
• Overexpression of PCBP 2 contributes to poor prognosis and enhanced cell growth in human hepatocellular carcinoma

  2016cites this paper
• Available through Online

  2016cites this paper
• hnRNPA2/B1 activates cyclooxygenase‐2 and promotes tumor growth in human lung cancers

  2016cites this paper
• Where to Fix Temporal Violations: A Novel Handling Point Selection Strategy for Business Cloud Workflows

  2016cites this paper
• A Visual Approach for Data-Intensive Workflow Validation

  2016cites this paper
• Insights into the roles of hnRNP A2/B1 and AXL in non-small cell lung cancer.

  2015cites this paper
• The role of splicing factors in deregulation of alternative splicing during oncogenesis and tumor progression

  2015cites this paper
• Protein expression profile related to cisplatin resistance in bladder cancer cell lines detected by two-dimensional gel electrophoresis.

  2015cites this paper
• Inhibition of Inflammation and Bone Erosion by RNA Interference–Mediated Silencing of Heterogeneous Nuclear RNP A2/B1 in Two Experimental Models of Rheumatoid Arthritis

  2015cites this paper
• Comparative proteomics analysis of oral cancer cell lines: identification of cancer associated proteins

  2014cites this paper
• Mechanisms of action of 17βH-neriifolin on its anticancer effect in SKOV-3 ovarian cancer cell line.

  2014cites this paper
• Mechanisms Underlying Regulation of Cell Cycle and Apoptosis by hnRNP B1 in Human Lung Adenocarcinoma A549 Cells

  2014cites this paper
• Do we need to handle every temporal violation in scientific workflow systems?

  2014cites this paper
• Transcriptional analysis of hnRNPA0, A1, A2, B1, and A3 in lung cancer cell lines in response to acidosis, hypoxia, and serum deprivation conditions

  2014influential citation
• Modeling, Design, and Implementation of a Cloud Workflow Engine Based on Aneka

  2014cites this paper
• The role of arginine methylation of hnRNPUL 1 in the DNA damage response pathway

  2014cites this paper
• Costa Proteomic Analysis of the Influence of the Adipocyte Secretome on Glioma Gl 261 Cells

  2014cites this paper
• HnRNP A1/A2 and SF2/ASF Regulate Alternative Splicing of Interferon Regulatory Factor-3 and Affect Immunomodulatory Functions in Human Non-Small Cell Lung Cancer Cells

  2013cites this paper
• A Novel Noise Obfuscation Model and Its Strategies for Effective and Efficient Privacy Protection in Cloud Computing

  2013cites this paper
• The Role of Spliceosome in the Human Breast

  2013cites this paper
• Heterogeneous Nuclear Ribonucleoprotein A2/B1 Regulates the Self‐Renewal and Pluripotency of Human Embryonic Stem Cells Via the Control of the G1/S Transition

  2013cites this paper
• A Novel Probabilistic Framework For High Temporal Qos In Scientific Cloud Workflow Systems

  2013cites this paper
• A QoS-aware Model for Cloud Storage Environment

  2013cites this paper
• Special issue: second international workshop on workflow management in service and cloud computing (WMSC2010)

  2013cites this paper
• Mitochondrial retrograde signaling at the crossroads of tumor bioenergetics, genetics and epigenetics.

  2013cites this paper
• BMS1 Is Mutated in Aplasia Cutis Congenita

  2013cites this paper
• BMS 1 Is Mutated in Aplasia Cutis Congenita

  2013cites this paper
• Proteomic Analysis of the Influence of the Adipocyte Secretome on Glioma Gl261 Cells

  2013cites this paper
• SWITCH TO THE L ISOFORM OF THE MAP/MICROTUBULE AFFINITY-REGULATING KINASE 4 (MARK4) GENE, MAINLY EXPRESSED IN HUMAN GLIOMA, VIA PRE-MRNA ALTERNATIVE SPLICING MODULATED BY POLYPYRIMIDINE TRACT-BINDING PROTEIN (PTB)

  2013cites this paper
• Oral cancer secretome: Identification of cancer‐associated proteins

  2013cites this paper
• Optimisation of the enactment of fine-grained distributed data-intensive work flows

  2012cites this paper
• Characterization of Cost Excess in Cloud Applications

  2012cites this paper
• A study of grid workflow dynamic customization for remote sensing quantitative retrieval

  2012cites this paper
• Proteomic analyses of genes regulated by heterogeneous nuclear ribonucleoproteins A/B in Jurkat cells

  2012influential citation
• Expression profile and interactions of hnRNP A3 within hnRNP/mRNP complexes in mammals.

  2012cites this paper
• Building Grid based Application for the Management of Medical Image Data using Alchemi

  2012cites this paper
• Analysis of HPV-16 Late Gene Expression

  2012cites this paper
• A Generic QoS Framework for Cloud Workflow Systems

  2011cites this paper
• Formal Verification of Temporal Properties for Reduced Overhead in Grid Scientific Workflows

  2011cites this paper
• Building Association Link Network for Semantic Link on Web Resources

  2011cites this paper
• Functional Impact of Heterogeneous Nuclear Ribonucleoprotein A2/B1 in Smooth Muscle Differentiation from Stem Cells and Embryonic Arteriogenesis*

  2011cites this paper
• Special Issue: Fourth International Workshop on Workflow Management (ICWM2009)

  2011cites this paper
• A novel statistical time-series pattern based interval forecasting strategy for activity durations in workflow systems

  2011cites this paper
• Cell cycle-dependent expression and subcellular localization of fructose 1,6-bisphosphatase

  2011cites this paper
• A novel general framework for automatic and cost-effective handling of recoverable temporal violations in scientific workflow systems

  2011cites this paper
• The localization of hnRNP A2/B1 in nuclear matrix and the aberrant expression during the RA‐induced differentiation of human neuroblastoma SK‐N‐SH cells

  2011influential citation
• A novel probabilistic temporal framework and its strategies for cost-effective delivery of high QoS in scientific cloud workflow systems

  2011cites this paper
• Fyn requires HnRNPA2B1 and Sam68 to synergistically regulate apoptosis in pancreatic cancer.

  2011cites this paper
• Mitochondrial DNA copy number and hnRNP A2/B1 protein: Biomarkers for direct exposure of benzene

  2011cites this paper
• Wig-1: A p53 target that regulates the mRNA of p53 and Myc - and more?

  2010cites this paper
• Differential Subcellular Distributions and Trafficking Functions of hnRNP A2/B1 Spliceoforms

  2010cites this paper
• Apoptosis induction by eIF5A1 involves activation of the intrinsic mitochondrial pathway

  2010cites this paper
• Role of multi-hnRNP nuclear complex in regulation of tumor suppressor ANXA7 in prostate cancer cells

  2010cites this paper
• Activation of Akt Is Essential for the Propagation of Mitochondrial Respiratory Stress Signaling and Activation of the Transcriptional Coactivator Heterogeneous Ribonucleoprotein A2

  2010cites this paper
• The Interactive Computing of Web Knowledge Flow - from Web to Knowledge Web

  2010cites this paper
• SwinDeW-C: A Peer-to-Peer Based Cloud Workflow System

  2010cites this paper
• Up-regulation and subcellular localization of hnRNP A2/B1 in the development of hepatocellular carcinoma

  2010cites this paper
• Madin–Darby canine kidney cells are increased in aerobic glycolysis when cultured on flat and stiff collagen‐coated surfaces rather than in physiological 3‐D cultures

  2010cites this paper
• Information flow analysis of scientific workflows

  2010cites this paper
• hnRNP A2/B1 modulates epithelial-mesenchymal transition in lung cancer cell lines.

  2010cites this paper
• Differential protein expression in human articular chondrocytes expanded in serum-free media of different medium osmolalities by DIGE.

  2010cites this paper
• A proteomic approach to study parathyroid glands.

  2010cites this paper
• Novel methods for proteomics analysis of formalin-fixed, paraffin-embedded tissues (FFPE), and their application for biomarker discovery

  2010cites this paper
• Biomarker für kopf- und halskrebs und krebsvorstufen

  2009cites this paper
• CONCURRENCY AND COMPUTATION : PRACTICE AND EXPERIENCE Concurrency Computat

  2009cites this paper
• Downstream targets of heterogeneous nuclear ribonucleoprotein A2 mediate cell proliferation

  2009cites this paper
• Trust‐based robust scheduling and runtime adaptation of scientific workflow

  2009cites this paper