Statecharts: A visual formalism for complex systems
Science of Computer Programming
On the development of reactive systems
Logics and models of concurrent systems
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Formal Modeling of C. elegans Development: A Scenario-Based Approach
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Cell modeling with reusable agent-based formalisms
Applied Intelligence
Ten top reasons for systems biology to get into model-driven engineering
Proceedings of the 2006 international workshop on Global integrated model management
Discrete Modelling of the Ethylene-Pathway
ICDEW '05 Proceedings of the 21st International Conference on Data Engineering Workshops
GemCell: A generic platform for modeling multi-cellular biological systems
Theoretical Computer Science
Toward Verified Biological Models
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Robotics and Autonomous Systems
S2A: a compiler for multi-modal UML sequence diagrams
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Probabilistic model checking of complex biological pathways
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Abstract machines of systems biology
Transactions on Computational Systems Biology III
Modeling Biology using Generic Reactive Animation
Fundamenta Informaticae - From Mathematical Beauty to the Truth of Nature: to Jerzy Tiuryn on his 60th Birthday
Executable Modeling of Morphogenesis: A Turing-Inspired Approach
Fundamenta Informaticae - Watching the Daisies Grow: from Biology to Biomathematics and Bioinformatics — Alan Turing Centenary Special Issue
| Hi-index | 0.00 |
Natural systems, such as organs and organisms, are large-scale 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 animation (RA), which smoothly connects a reactive system engine to an animation tool, and which has been described in earlier publications. In the present paper we show how the basic idea of RA can be made generic, by providing a simple general way to link up any number of reactive system engines -- even ones that are quite different in nature -- to an animation tool. This results in natural-looking, fully interactive 3D animations, driven by complex reactive systems running in the background. We illustrate this with two examples that link several tools: Rhapsody for state-based specification, the Play-Engine for scenario-based specification, MATLABfor mathematical analysis and the 3DGameStudiofor animation. Our examples are both from biology (pancreatic development) and from everyday activities (e.g., gym training).