Sciweavers

Share
CMSB
2004
Springer

Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems

12 years 3 months ago
Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction (engineering) of complex reactive systems to the modeling (reverse-engineering) of biological systems, in order to enhance biological comprehension. Here we suggest to combine the two formal approaches used in our group — the state-based formalism of statecharts and the scenario-based formalism of live sequence charts (LSCs). We propose that biological observations are better formalized in the form of LSCs, while biological mechanistic models would be more natural to specify using statecharts. Combining the two approaches would enable one to verify the proposed mechanistic models against the real data. The biological observations can be compared to the requirements in an engineered system, and the mechanistic model would be analogous to the implementation. While requirements are used to design an implementa...
Jasmin Fisher, David Harel, E. Jane Albert Hubbard
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where CMSB
Authors Jasmin Fisher, David Harel, E. Jane Albert Hubbard, Nir Piterman, Michael J. Stern, Naamah Swerdlin
Comments (0)
books