Introducing Variable Ports and Multi-Couplings for Cell Biological Modeling in DEVS

Motivated by the requirements of molecular biological applications, we are suggesting an extension of the DEVS formalism. Starting with DYNDEVS a reflective variant of DEVS which supports dynamic behavior, composition, and interaction pattern, we develop rho-DEVS. Dynamic ports and multi-couplings are introduced whose combination allows models to reflect significant state changes to the outside world and enabling or disabling certain interactions at the same time. An abstract simulator describes the operational semantics of the developed formalism, and the Tryptophan operon model illustrates the developed ideas and concepts

[1]  Hartmut Bossel,et al.  Modeling and simulation , 1994 .

[2]  Alan Bain.  Stochastic Calculus , 2007 .

[3]  Adelinde M. Uhrmacher,et al.  Multi-Level Modeling in Systems Biology by Discrete Event Approaches (Mehrebenen-Modellierung in der Systembiologie innerhalb diskret-ereignisbasierter Ansätze) , 2006, it Inf. Technol..

[4]  J BarrosFernando.  Modeling formalisms for dynamic structure systems , 1997 .

[5]  Thorsten Pawletta,et al.  A New Approach for Simulation of Variable Structure Systems , 1996 .

[6]  Adelinde M. Uhrmacher,et al.  Processing dynamic PDEVS models , 2004, The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, 2004. (MASCOTS 2004). Proceedings..

[7]  D. Gillespie.  A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions , 1976 .

[8]  Xiaolin Hu,et al.  Variable Structure in DEVS Component-Based Modeling and Simulation , 2005, Simul..

[9]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[10]  Alexander Zelikovsky,et al.  Transactions on Computational Systems Biology II , 2005, Trans. Computational Systems Biology.

[11]  Bernard P. Zeigler,et al.  Modelling and simulation methodology in the artificial intelligence era. , 1986 .

[12]  Daniela Degenring,et al.  Discrete event, multi-level simulation of metabolite channeling. , 2004, Bio Systems.

[13]  Adelinde M. Uhrmacher,et al.  Dynamic structures in modeling and simulation: a reflective approach , 2001, TOMC.

[14]  Corrado Priami,et al.  Beta Binders for Biological Interactions , 2004, CMSB.

[15]  Fernando J. Barros,et al.  Modeling formalisms for dynamic structure systems , 1997, TOMC.

[16]  Corrado Priami,et al.  Discrete event systems specification in systems biology - a discussion of stochastic pi calculus and DEVS , 2005, Proceedings of the Winter Simulation Conference, 2005..

[17]  Corrado Priami,et al.  Stochastic pi-Calculus , 1995, Comput. J..

[18]  B. P. Ziegler,et al.  Theory of Modeling and Simulation , 1976 .

[19]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[20]  H. H. ROSENBROCK.  Variable structure , 1974, Nature.

[21]  Adelinde M. Uhrmacher,et al.  SEQUENTIAL PROCESSING OF PDEVS MODELS , 2006 .