Tav4SB

Tav4SB provides Web service operations for the Taverna Workbench to perform deterministic and stochastic numerical simulations, model checking, and multi-parameter sensitivity analysis of kinetic systems biology models.

Key Features:

• Numerical simulations and model checking: Performs numerical simulations and model checking for deterministic and stochastic models and semantics of biological systems.
• High-level experiment construction: Supports construction of complex experiments including multi-parameter sensitivity analysis.
• Visualization tools: Provides plotting operations to visualize simulation and analysis results.
• Integration with heterogeneous software: Integrates Mathematica, PRISM, and SBML ODE Solver within a simple grid environment.
• Enhanced computational resources: Extends dedicated hardware resources to support computationally intensive simulations of cellular models.
• Standardization: Promotes standardization of biological models and experiments via its Web service operations.
• Workflow-based Web services: Exposes functionality as Web services for workflow integration within the Taverna Workbench.

Scientific Applications:

• Kinetic model simulation and analysis: Simulates and analyzes kinetic models to study the dynamics of biological processes.
• Sensitivity analysis: Performs multi-parameter sensitivity analysis to assess how parameter variations affect model outcomes.
• Verification and model checking: Applies model checking to verify dynamic properties of deterministic and stochastic biological models.
• Cellular model simulation: Supports large-scale, computationally intensive simulation of cellular models using integrated tools and hardware resources.

Methodology:

Tav4SB leverages Web services to provide a workflow-based framework within the Taverna Workbench and operates within a simple grid environment integrating Mathematica, PRISM, and SBML ODE Solver.