The Tracer and the related material below are property of the Weizmann Institute of Science, Rehovot, Israel.
Model-based trace visualization and exploration for reactive systems
|Case study application: Simulation of a biological system|
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.
Selected screenshots appear below. Click on the pictures to enlarge.
|Main view and overview.|