System 06: HIV-1 RNA alternative splicing

Analysis

• Goals
• validate in a qualitative way the model, using queries based on a model checking approach.
• no parameter instantiation (the "#define" are only given as example)

• Expressibility
• future goal: take account of full HIV-1 life cycle model from Hammond'93.

• Simulation

• Queries
• cf. the following article:
  

  @INPROCEEDINGS{cmsb04,
          AUTHOR             = {A. Bockmayr, A. Courtois, D. Eveillard and M. Vezain},
          BOOKTITLE          = {Computational Methods in Systems Biology, CMSB'04},
          PUBLISHER          = {Springer, LNCS},
          TITLE              = {Building and Analysing an Integrative Model of HIV-1 RNA Alternative Splicing},
          YEAR               = {2004}
  }
  

  results obtained (i.e. constraints on parameters and initialization) for the following queries (cf. HCC model):
  • Reach state 3
  • Reach and exit from state 3
  • Transit from {1,2} to {3,4,5}
  • Reach state 2

To propose new entries, or to extend or correct existing entries, please email Sylvain Soliman