Statecharts: A visual formalism for complex systems
Science of Computer Programming
A multimodel methodology for qualitative model engineering
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Modeling formalisms for dynamic structure systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Qualitative and quantitative simulation: bridging the gap
Artificial Intelligence
Hierarchical modular modelling in discrete simulation
Proceedings of the 30th conference on Winter simulation
Theory of Modeling and Simulation
Theory of Modeling and Simulation
A component-based simulation layer for JAMES
Proceedings of the eighteenth workshop on Parallel and distributed simulation
COPASI---a COmplex PAthway SImulator
Bioinformatics
Introducing variable ports and multi-couplings for cell biological modeling in DEVS
Proceedings of the 38th conference on Winter simulation
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Component-Based Modelling of RNA Structure Folding
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Multi-resolution spatial simulation for molecular crowding
Proceedings of the 40th Conference on Winter Simulation
Hierarchical modeling for computational biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Multi-perspective modelling of complex phenomena
Computational & Mathematical Organization Theory
Evaluating the robustness of activity recognition using computational causal behavior models
Proceedings of the 2012 ACM Conference on Ubiquitous Computing
Modeling agents and their environment in multi-level-DEVS
Proceedings of the Winter Simulation Conference
Spatial modeling in cell biology at multiple levels
Proceedings of the Winter Simulation Conference
Hi-index | 0.00 |
In computational biology there is an increasing need to combine micro and macro views of the system of interest. Therefore, explicit means to describe micro and macro level and the downward and upward causation that link both are required. Multi-Level-Devs (or ml-Devs) supports an explicit description of macro and micro level, information at macro level can be accessed from micro level and vice versa, micro models can be synchronously activated by the macro model and also the micro models can trigger the dynamics at macro level. To link both levels, different methods are combined, to those belong, value coupling, synchronous activations, variable ports, and invariants. The execution semantic of the formalism is given by an abstract simulator and its use is illustrated based on an small extract of the Wnt pathway.