The design and implementation of a workflow analysis tool

@article{Curcin2010TheDA,
  title={The design and implementation of a workflow analysis tool},
  author={Vasa Curcin and Moustafa 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 13 September 2010
  • Computer Science
  • 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… 

Figures from this paper

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.
Workspace – a Scientific Workflow System with commercial impact
TLDR
Some of the newer useability improvements and functionality provided to assist teams of users when creating applications and systems during development and execution are described – i.e. features and functionality normally referred to as supporting “programming in the large”.
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.
Comparative analysis of workflow platform in support of in silico oncology
  • M. Marinova, V. Lazarov
  • Computer Science
    PROCEEDINGS OF THE 45TH INTERNATIONAL CONFERENCE ON APPLICATION OF MATHEMATICS IN ENGINEERING AND ECONOMICS (AMEE’19)
  • 2019
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.
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.
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.
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.
Phenoflow: A Microservice Architecture for Portable Workflow-based Phenotype Definitions.
TLDR
A new multi-layer, workflow-based model for defining phenotypes, and a novel authoring architecture, Phenoflow, that supports the development of these structured definitions and their realisation as computable phenotypes are proposed.
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.
Dimensional Taxonomy of Data Visualization: A Proposal From Communication Sciences Tackling Complexity
  • V. Cavaller
  • 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.
...
...

References

SHOWING 1-10 OF 27 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.
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.
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.
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.
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.
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.
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.
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.
Grid-Enabled Workflows for Industrial Product Design
TLDR
This paper presents a generic approach for developing and using Grid-based workflow technology for enabling cross-organizational engineering applications and describes how it can be used for enabling interoperability between heterogeneous workflow engines.
WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography
TLDR
This chapter describes a model-based approach to the analysis of service interactions for web service choreography and their coordinated compositions, and translates models between UML and Web service specifications using the Finite State Process algebra notation.
...
...