Combining state-based and scenario-based approaches in modeling biological systems

Lecture Notes in Bioinformatics (Subseries of Lecture Notes in Computer Science)

Volumn 3082, Issue , 2005, Pages 236-241

  Fisher, Jasmin ^a   Harel, David ^a   Hubbard, E Jane Albert ^b   Piterman, Nir ^a   Stern, Michael J ^c   Swerdlin, Naamah ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

^b NEW YORK UNIVERSITY   (United States)

^c YALE UNIVERSITY SCHOOL OF MEDICINE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA ACQUISITION; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; REVERSE ENGINEERING; LIVING SYSTEMS STUDIES;

COMPLEX REACTIVE SYSTEMS; LIVE SEQUENCE CHARTS (LSC); MECHANISTIC MODELS; BIOLOGICAL OBSERVATIONS; BIOLOGICAL SYSTEMS; LIVE SEQUENCE CHARTS; REACTIVE SYSTEMS;

BIOLOGICAL MATERIALS; LARGE SCALE SYSTEMS;

EID: 26444550764     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-25974-9_20     Document Type: Conference Paper

References (14)

1. D. Barak, D. Harel, and R. Marelly. Interplay: Horizontal scale-up and transition to design in scenario-based programming. To appear, 2004.
2. E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
3. W. Dam and D. Harel. LSCs: Breathing life into message sequence charts. FMSD, 2001.
4. S. Efroni, D. Harel, and I. R. Cohen. Modeling and simulation of the thymus. Multidisciplinary Approaches to Theory in Medicine, 2002.
5. S. Efroni, D. Harel, and I. R. Cohen. Toward rigorous comprehension of biological complexity: modeling, execution, and visualization of thymic T-cell maturation. Genome Res, 2003.
6. D. Harel. Statecharts: A visual formalism for complex systems. SCP, 8:231-274, 1987.
7. D. Harel. A grand challenge for computing: Towards full reactive modeling of a multi-cellular animal. Bulletin of the EATCS, 81:226-235, 2002.
8. D. Harel and E. Gery. Executable object modeling with Statecharts. Computer, 30(7), 1997.
9. D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer-Verlag, 2003.
10. I-logix,inc. http://www.ilogix.com.
11. N. Kam, D. Harel, and I. R. Cohen. The immune system as a reactive system: Modeling T-cell activation with Statecharts. Bull. Math. Bio., 2003.
12. N. Kam, D. Harel, H. Kugler, R. Marelly, A. Pnueli, E. J. A. Hubbard, and M. J. Stern. Formal modeling of C. elegans development: A scenario-based approach. In 1st Int. Conf. on Computational Methods in Systems Biology, February 2003.
13. M. Lettrari and J. Klose. Scenario-based monitoring and testing of real-time UML models. In 4th Int. Conf. on the Unified Modeling Language, October 2001.
14. P. W. Sternberg and H. R. Horvitz. The combined action of two intercellular signaling pathways specifies three cell fates during vulval induction in c. elegans. Cell, 58(4):679-93, 1989.