Tracer's gellary: C. elegans case study - Revision history

Shahar.maoz: C. elegans moved to Tracer's gellary: C. elegans case study

2010-10-18T13:32:04Z

C. elegans moved to Tracer's gellary: C. elegans case study

Shahar.maoz at 13:28, 18 October 2010

2010-10-18T13:28:57Z

Shahar.maoz at 13:28, 18 October 2010

2010-10-18T13:28:27Z

Shahar.maoz: New page: We have used the Tracer to visualize and explore different execution traces of the biological system model described in Kam, N., Harel, D., Kugler, H., Marelly, R., Pnueli, A., Hubbard...

2010-10-18T13:26:41Z

New page: We have used the Tracer to visualize and explore different execution traces of the biological system model described in Kam, N., Harel, D., Kugler, H., Marelly, R., Pnueli, A., Hubbard...

New page

We have used [[the Tracer]] to visualize and explore different execution traces of the biological system model described in Kam, N., Harel, D., Kugler, H., Marelly, R., Pnueli, A., Hubbard, E.J.A., Stern, M.J.: Formal Modeling of C. elegans Development: A Scenario-Based Approach (C. Priami (ed.) Proc. 1st Int. Workshop on Computational Methods in Systems Biology (CMSB'03), Lecture Notes in Computer Science, vol. 2602, pp. 4-20. Springer (2003)). The model deals with the process of vulval precursor cell fate determination in the development of the C. elegans nematode worm. The model was implemented in the Play-Engine tool. It consists of more than 400 scenarios, divided into 22 use cases. Typical traces are 300-400 events long, and involve 40-80 different scenarios from the model.

Due to the large number of scenarios in the C. elegans model, using the various horizontal �lters proved crucial. Moreover, typical traces included several periods with large numbers of multiple active instances of the same scenario (up to 30 such). The Multiplicities supporting view helped us in exploring the details of these multiple copies.

We examined a number of execution traces of this model. Differences between the traces were due to the probabilistic choices inside the LSCs in the model, as played-out by the Play-Engine, and due to our use of dif- ferent initial congurations, simulating experiments with the worm's wild-type and the various mutations and cell ablations that appear in the C. elegans literature. Using the trace comparison features, we were able to �nd where such different `experiments' show di erent behavior and where their behaviors are equivalent.

We thank Itai Segall for implementing trace generation in the Play-Engine and for his help with using this model.

Main view and overview:

[[Image: tracer-celegans-mainviewandoverview.PNG]]

Comparing traces:

[[Image: tracer-celegans-comparingtraces.PNG]]

@@ Line 3: / Line 3: @@
 Due to the large number of scenarios in the C. elegans model, using the various horizontal filters proved crucial. Moreover, typical traces included several periods with large numbers of multiple active instances of the same scenario (up to 30 such). The Multiplicities supporting view helped us in exploring the details of these multiple copies.
-We examined a number of execution traces of this model. Differences between the traces were due to the probabilistic choices inside the LSCs in the model, as played-out by the Play-Engine, and due to our use of dif- ferent initial congurations, simulating experiments with the worm's wild-type and the various mutations and cell ablations that appear in the C. elegans literature. Using the trace comparison features, we were able to find where such different `experiments' show di erent behavior and where their behaviors are equivalent.
+We examined a number of execution traces of this model. Differences between the traces were due to the probabilistic choices inside the LSCs in the model, as played-out by the Play-Engine, and due to our use of different initial configurations, simulating experiments with the worm's wild-type and the various mutations and cell ablations that appear in the C. elegans literature. Using the trace comparison features, we were able to find where such different `experiments' show different behavior and where their behaviors are equivalent.
 We thank Itai Segall for implementing trace generation in the Play-Engine and for his help with using this model.

← Older revision	Revision as of 13:32, 18 October 2010
(No difference)

@@ Line 1: / Line 1: @@
 We have used [[the Tracer]] to visualize and explore different execution traces of the biological system model described in Kam, N., Harel, D., Kugler, H., Marelly, R., Pnueli, A., Hubbard, E.J.A., Stern, M.J.: Formal Modeling of C. elegans Development: A Scenario-Based Approach (C. Priami (ed.) Proc. 1st Int. Workshop on Computational Methods in Systems Biology (CMSB'03), Lecture Notes in Computer Science, vol. 2602, pp. 4-20. Springer (2003)). The model deals with the process of vulval precursor cell fate determination in the development of the C. elegans nematode worm. The model was implemented in the Play-Engine tool. It consists of more than 400 scenarios, divided into 22 use cases. Typical traces are 300-400 events long, and involve 40-80 different scenarios from the model.
-Due to the large number of scenarios in the C. elegans model, using the various horizontal �lters proved crucial. Moreover, typical traces included several periods with large numbers of multiple active instances of the same scenario (up to 30 such). The Multiplicities supporting view helped us in exploring the details of these multiple copies.
+Due to the large number of scenarios in the C. elegans model, using the various horizontal filters proved crucial. Moreover, typical traces included several periods with large numbers of multiple active instances of the same scenario (up to 30 such). The Multiplicities supporting view helped us in exploring the details of these multiple copies.
-We examined a number of execution traces of this model. Differences between the traces were due to the probabilistic choices inside the LSCs in the model, as played-out by the Play-Engine, and due to our use of dif- ferent initial congurations, simulating experiments with the worm's wild-type and the various mutations and cell ablations that appear in the C. elegans literature. Using the trace comparison features, we were able to �nd where such different `experiments' show di erent behavior and where their behaviors are equivalent.
+We examined a number of execution traces of this model. Differences between the traces were due to the probabilistic choices inside the LSCs in the model, as played-out by the Play-Engine, and due to our use of dif- ferent initial congurations, simulating experiments with the worm's wild-type and the various mutations and cell ablations that appear in the C. elegans literature. Using the trace comparison features, we were able to find where such different `experiments' show di erent behavior and where their behaviors are equivalent.
 We thank Itai Segall for implementing trace generation in the Play-Engine and for his help with using this model.
 Main view and overview: