Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Videos

Toward verified biological models.

Avital Sadot1, Jasmin Fisher, Dan Barak

  • 1Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Israel. avitas@weizmann.ac.il

IEEE/ACM Transactions on Computational Biology and Bioinformatics
|May 3, 2008
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Virtual Tumors Enable Prediction of Personalized Therapeutic Combinations for Non-Small Cell Lung Cancer.

Cancer research·2026
Same author

Cross-disciplinary methodologies for whole-person research - insights from EMPOWER2024.

Npj imaging·2026
Same author

The concept of virtual clinical trials: A game changer in radiation oncology research?

Radiotherapy and oncology : journal of the European Society for Therapeutic Radiology and Oncology·2025
Same author

Non-autonomy of age-related morphological changes in the C. elegans germline stem cell niche.

Development (Cambridge, England)·2025
Same author

Non-autonomy of age-related morphological changes in the C. elegans germline stem cell niche.

Development (Cambridge, England)·2025
Same author

Disentanglement of prosodic meaning: Toward a framework for the analysis of nonverbal information in speech.

Proceedings of the National Academy of Sciences of the United States of America·2025
Same journal

circ2DGNN: circRNA-Disease Association Prediction via Transformer-Based Graph Neural Network.

IEEE/ACM transactions on computational biology and bioinformatics·2024
Same journal

Hierarchical Hypergraph Learning in Association- Weighted Heterogeneous Network for miRNA- Disease Association Identification.

IEEE/ACM transactions on computational biology and bioinformatics·2024
Same journal

Discriminative Domain Adaption Network for Simultaneously Removing Batch Effects and Annotating Cell Types in Single-Cell RNA-Seq.

IEEE/ACM transactions on computational biology and bioinformatics·2024
Same journal

MLW-BFECF: A Multi-Weighted Dynamic Cascade Forest Based on Bilinear Feature Extraction for Predicting the Stage of Kidney Renal Clear Cell Carcinoma on Multi-Modal Gene Data.

IEEE/ACM transactions on computational biology and bioinformatics·2024
Same journal

An End-to-End Knowledge Graph Fused Graph Neural Network for Accurate Protein-Protein Interactions Prediction.

IEEE/ACM transactions on computational biology and bioinformatics·2024
Same journal

Generative Biomedical Event Extraction With Constrained Decoding Strategy.

IEEE/ACM transactions on computational biology and bioinformatics·2024
See all related articles

Integrating diverse biological data into formal models enhances system understanding. This study combines live sequence charts (LSCs) and statecharts for rigorous verification of biological systems, improving hypothesis generation and experimental validation.

Area of Science:

  • Computational Biology
  • Systems Biology
  • Developmental Biology

Background:

  • Biological data accumulation necessitates advanced analysis techniques.
  • Visualizing full biological system behavior is challenging due to fragmented data.
  • Integrating diverse data into comprehensive models enhances biological understanding and hypothesis generation.

Purpose of the Study:

  • To develop and demonstrate a formal computer-based modeling approach for integrating diverse biological data.
  • To rigorously test the consistency of biological models with experimental data using formal verification methods.
  • To showcase the utility of combining live sequence charts (LSCs) and statecharts for modeling complex biological systems.

Main Methods:

  • Combined inter-object (LSCs with Play-Engine) and intra-object (statecharts with Rhapsody) modeling approaches.

Related Experiment Videos

  • Utilized InterPlay as a simulation engine coordinator for model integration.
  • Developed a three-module model representing C. elegans somatic gonad development and cell interactions, with experimental data represented in LSCs.

    • Main Results:

    • Successfully constructed and tested a combined statechart-LSC model.
    • Demonstrated consistency between model simulations and experimental LSCs.
    • Validated the approach for rigorous verification through exhaustive testing of models by LSCs.

    Conclusions:

    • The combined statechart-LSC approach offers a powerful method for formal modeling and verification in biology.
    • This modular approach facilitates the integration of diverse data types for a more complete understanding of biological systems.
    • The methodology shows significant advantages for modeling complex biological processes and generating testable hypotheses.