Ten top reasons for systems biology to get into model-driven engineering

Authors:
Magali Roux-Rouquié;Debora Schuch da Rosa
Affiliations:
LIP6 CNRS - UPMC, Paris, France;LIP6 CNRS - UPMC and DIT - UNITN, Trento, Italy
Venue:
Proceedings of the 2006 international workshop on Global integrated model management
Year:
2006

Citing 8
Cited 3

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Analysis of Faults in an N-Version Software Experiment

IEEE Transactions on Software Engineering
The sciences of the artificial (3rd ed.)

The sciences of the artificial (3rd ed.)
Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
Communication and Concurrency

Communication and Concurrency
Object-oriented biological system integration: a SARS coronavirus example

Bioinformatics
Control Flow Analysis for BioAmbients

Electronic Notes in Theoretical Computer Science (ENTCS)
Computational Challenges of Systems Biology

Computer

Concurrency in Biological Modeling: Behavior, Execution and Visualization

Electronic Notes in Theoretical Computer Science (ENTCS)
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems

FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Modeling Biology using Generic Reactive Animation

Fundamenta Informaticae - From Mathematical Beauty to the Truth of Nature: to Jerzy Tiuryn on his 60th Birthday

Quantified Score

Hi-index	0.01

Visualization

Abstract

Recent progresses in post-genomic biology allow addressing issues at the system level through the coupling of experimental and modeling approaches that constitute the core of Systems Biology (SB). The challenge for researchers is to integrate disparate data into models to infer useful biological knowledge. Problems which are questioning Model-Driven Engineering (MDE) deal with complexity, systems modeling (including modularity and structure/behavior relationships), models networking and integration, domain-specific language, etc. Among these issues, ten arguments are presented to consider the conceptual convergence and cross-fertilization of SB with MDE. Current models in SB are reviewed and the main requirements to conduct models integration are identified. Some perspectives are provided towards the translation of high-level SB descriptions into formal languages for performing static and dynamic analyses.