Formal Methods in Systems Biology
DOI: 10.1007/978-3-540-68413-8_1
|View full text |Cite
|
Sign up to set email alerts
|

Generic Reactive Animation: Realistic Modeling of Complex Natural Systems

Abstract: Abstract. Natural systems, such as organs and organisms, are largescale complex systems with numerous elements and interactions. Modeling such systems can lead to better understanding thereof and may help in efforts to save on resources and development time. In recent years, our group has been involved in modeling and understanding biological systems, which are perhaps the prime example of highly complex and reactive large-scale systems. To handle their complexity, we developed a technique called reactive anim… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
11
0

Publication Types

Select...
4
2
1

Relationship

4
3

Authors

Journals

citations
Cited by 10 publications
(11 citation statements)
references
References 36 publications
0
11
0
Order By: Relevance
“…Using generic reactive animation (Efroni et al, 2005;Harel and Setty, 2008) we linked the Rhapsody model with a real-time Flash-based front-end (Flash Professional CS3, Adobe). Each object in the simulation is represented as an animated figure, which changes properties such as size and color to designate changes during the lifetime of the object.…”
Section: The Modeling Tools: Statecharts Rhapsody and Reactive Animamentioning
confidence: 99%
“…Using generic reactive animation (Efroni et al, 2005;Harel and Setty, 2008) we linked the Rhapsody model with a real-time Flash-based front-end (Flash Professional CS3, Adobe). Each object in the simulation is represented as an animated figure, which changes properties such as size and color to designate changes during the lifetime of the object.…”
Section: The Modeling Tools: Statecharts Rhapsody and Reactive Animamentioning
confidence: 99%
“…Furthermore, this setup can be easily strengthened by adding more tools. For example, data analysis software (e.g., Matlab or Mathematica) can be integrated to provide real-time analysis of the simulation (e.g., statistics, graphs; as was done in [22]). This setup helps to disclose various potential scenarios and emergence in the model.…”
Section: Discussionmentioning
confidence: 99%
“…Furthermore, the specifications were linked up with a game engine for run-time analysis. The tools were integrated using a generic platform for reactive animation [12,22], which smoothly links up the reactive models with the animated front-end.…”
Section: The Modeling Approachmentioning
confidence: 99%
“…Using a generic platform for Reactive Animation [18], we linked the model to a 3D animated front-end (in 3DGS [1]) and a mathematical GUI (in MATLAB). The front-end visualizes the simulation and provides the means to interact with it, while the mathematical GUI monitors and analyzes the progress.…”
Section: Modeling Approachmentioning
confidence: 99%
“…We linked the model to a 3D animated front-end (in 3DGameStudio [1]) and an analysis GUI (in MATLAB [23]), using the idea of Reactive Animation [10] and its generic platform [18]. At run-time, the simulation is visualized and analyzed at a front-end and a GUI, respectively.…”
Section: Introductionmentioning
confidence: 99%