The design and implementation of a workflow analysis tool

@article{Curcin2010TheDA,
  title={The design and implementation of a workflow analysis tool},
  author={V. Curcin and M. Ghanem and Yike Guo},
  journal={Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences},
  year={2010},
  volume={368},
  pages={4193 - 4208}
}
  • V. Curcin, M. Ghanem, Yike Guo
  • Published 2010
  • Computer Science, Medicine
  • Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Motivated by the use of scientific workflows as a user-oriented mechanism for building executable scientific data integration and analysis applications, this article introduces a framework and a set of associated methods for analysing the execution properties of scientific workflows. Our framework uses a number of formal modelling techniques to characterize the process and data behaviour of workflows and workflow components and to reason about their functional and execution properties. We use… Expand
Behavioral Analysis of Scientific Workflows With Semantic Information
TLDR
The addition of semantic Web techniques to the scientific workflow area, which facilitates the integration of network-based solutions and a model checking technique to study the workflow behavior prior to its execution is described. Expand
Knowledge organization for modelling workflows in Taverna environment
TLDR
This paper presents an ontological approach for knowledge organization in WFMS based on a previously developed ontology, called Data-Problem-Solution-to-Experiment (DPS2E), and aims at matching the abstract workflow obtained by means of this ontology into a concrete set of processes in Taverna environment. Expand
Comparative analysis of workflow platform in support of in silico oncology
TLDR
This paper overviews several workflows for bioinformatics and workflow systems to preprocess cancer-related data, like tumor/normal samples from RCGA consortium, and presents a modern workflow system in support of in silico oncology. Expand
Towards Interactive Compilation Models
TLDR
The experiences gathered while working on the model-based reference compiler of the kieler SCCharts project are shared and ideas towards a unified view on similar prescribed processes are shared. Expand
An Active Workflow Method for Entity-Oriented Data Collection
TLDR
This paper proposes an active workflow method for designing reasonable process rules and integrating artificial intelligence algorithms to help people efficiently and effectively collect the target data related to a specific entity. Expand
Scientific Workflow Management in Proteomics
TLDR
This article demonstrates how a workflow manager provides a single, visually clear and intuitive interface to complex data analysis tasks in proteomics, from raw mass spectrometry data to protein identifications and beyond. Expand
Phenoflow: A Microservice Architecture for Portable Workflow-based Phenotype Definitions.
Phenotyping is an effective way to identify cohorts of patients with particular characteristics within a population. In order to enhance the portability of a phenotype definition across institutions,Expand
Phenoflow: Portable Workflow-based Phenotype Definitions
TLDR
A new multi-layer model for a phenotype definition is proposed, which is realised as a workflow, and can be combined with different implementation units in order to produce a computable form. Expand
Dimensional Taxonomy of Data Visualization: A Proposal From Communication Sciences Tackling Complexity
  • V. Cavaller
  • Medicine, Computer Science
  • Frontiers in Research Metrics and Analytics
  • 2021
TLDR
An object-centered model constituted by an ordered series of phases and achievements is proposed as a guide to complete a systematic process of data visualization. Expand
Guidance in Model-based Compilations
TLDR
Six different transient views are demonstrated that can help the modeler to refine their models and to solve modeling issues, such as causality problems in synchronous languages. Expand
...
1
2
...

References

SHOWING 1-10 OF 28 REFERENCES
Analysing scientific workflows with Computational Tree Logic
TLDR
A formal analysis framework for the verification and profiling of the control flow aspects of scientific workflows relies on process algebras that characterise each workflow component with a process behaviour, which is then used to build a CTL state model that can be reasoned about. Expand
Benchmarking workflow discovery: a case study from bioinformatics
TLDR
Based on a survey with participants from 19 laboratories, the current practices in workflow sharing, re‐use and discovery among life scientists chiefly using the Taverna workflow management system are investigated, and benchmarks for the evaluation of discovery tools are developed. Expand
Polymorphic type framework for scientific workflows with relational data model
TLDR
The focus is on the relational data model, popular in data analysis workflow systems, and the techniques introduced are validated by applying the inference engine prototype to an adverse drug reaction study implemented in the relational algebra subset of the Discovery Net workflow system. Expand
Lambda Calculus as a Workflow Model
TLDR
This paper explains why lambda calculus is an appropriate model for workflow representation, and how a suitably efficient implementation can provide a wide range of capabilities to developers. Expand
Scientific workflow systems - can one size fit all?
  • V. Curcin, M. Ghanem
  • Computer Science
  • 2008 Cairo International Biomedical Engineering Conference
  • 2008
TLDR
This paper provides a high-level framework for comparing the systems based on their control flow and data flow properties with a view of both informing future research in the area by academic researchers and facilitating the selection of the most appropriate system for a specific application task by practitioners. Expand
Scientific workflow management and the Kepler system
TLDR
Characteristics of and requirements for scientific workflows as identified in a number of application projects are described, and some key features of Kepler and its underlying Ptolemy II system, planned extensions, and areas of future research are described. Expand
Taverna Workflows: Syntax and Semantics
TLDR
The ability to automatically compile a simple domain-specific process description into Taverna facilitates its adoption by e-scientists who are not expert workflow developers, and is demonstrated through a practical use case. Expand
Scientific workflow management and the Kepler system: Research Articles
TLDR
Characteristics of and requirements for scientific workflows as identified in a number of application projects are described, and some key features of Kepler and its underlying Ptolemy II system, planned extensions, and areas of future research are described. Expand
Taverna: a tool for building and running workflows of services
TLDR
Taverna is an application that eases the use and integration of the growing number of molecular biology tools and databases available on the web, especially web services, to perform a range of different analyses, such as sequence analysis and genome annotation. Expand
Designing the myExperiment Virtual Research Environment for the Social Sharing of Workflows
TLDR
It is argued that the tremendous scientific potential of workflows will be achieved through mechanisms for sharing and collaboration - empowering the scientist to spread their experimental protocols and to benefit from the protocols of others. Expand
...
1
2
3
...