Role of process abstraction in simulation
IEEE Transactions on Systems, Man and Cybernetics
A multimodel methodology for qualitative model engineering
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Parallel DEVS: a parallel, hierarchical, modular, modeling formalism
WSC '94 Proceedings of the 26th conference on Winter simulation
Hierarchical relation in simulation models
WSC '93 Proceedings of the 25th conference on Winter simulation
Modeling formalisms for dynamic structure systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Qualitative and quantitative simulation: bridging the gap
Artificial Intelligence
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Concepts and paradigms of object-oriented programming
ACM SIGPLAN OOPS Messenger
Dynamic structures in modeling and simulation: a reflective approach
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Types and programming languages
Types and programming languages
On simulation model complexity
Proceedings of the 32nd conference on Winter simulation
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Designing the User Interface: Strategies for Effective Human-Computer Interaction
Designing the User Interface: Strategies for Effective Human-Computer Interaction
Processing Xml with Java
Theory of Modeling and Simulation
Theory of Modeling and Simulation
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Social Science Multilevel Simulation with MIMOSE
Social Science Microsimulation [Dagstuhl Seminar, May, 1995]
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Mobile Petri Nets
Principles of Object-Oriented Modeling and Simulation with Modelica 2.1
Principles of Object-Oriented Modeling and Simulation with Modelica 2.1
Component-based distributed simulations: the way forward?
Proceedings of the eighteenth workshop on Parallel and distributed simulation
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
Process Algebras for Quantitative Analysis
LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
What Comes After the Semantic Web - PADS Implications for the Dynamic Web
Proceedings of the 20th Workshop on Principles of Advanced and Distributed Simulation
Introducing variable ports and multi-couplings for cell biological modeling in DEVS
Proceedings of the 38th conference on Winter simulation
Challenges for modeling and simulation methods in systems biology
Proceedings of the 38th conference on Winter simulation
Composing simulation models using interface definitions based on web service descriptions
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Combining micro and macro-modeling in DEVS for computational biology
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Qualitative simulation of genetic regulatory networks: method and application
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A stochastic pi calculus for concurrent objects
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Stepwise development of simulink models using the refinement calculus framework
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Efficient, correct simulation of biological processes in the stochastic pi-calculus
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Gene regulation in the pi calculus: simulating cooperativity at the lambda switch
Transactions on Computational Systems Biology VII
Spatial modeling in cell biology at multiple levels
Proceedings of the Winter Simulation Conference
Hi-index | 0.00 |
Diverse hierarchies play a role in modeling and simulation for computational biology, e.g. categories, abstraction hierarchies, and composition hierarchies. Composition hierarchies seem a natural and straightforward focus for our exploration. What are model components and the requirements for a composite approach? How far do they support the quest for building blocks in computational biology? Modeling formalisms provide different means for composing a model. We will illuminate this with DEVS (Discrete event systems specification) and the π calculus. Whereas in DEVS distinctions are emphasized, e.g. between a system and its environment, between properties attributed to a system and the system itself, these distinctions become fluent in the compact description of the π calculus. However, both share the problem that in order to support a comfortable modeling, a series of extensions have been developed which also influence their possibility to support a hierarchical modeling. Thus, not individual formalisms but two families of formalisms and how they support a composite modeling will be presented. In computational biology one type of composite model deserves a closer inspection, as it brings together the wish to compose models and the need to describe a system at different levels in a unique manner, i.e. multi-level models.