Departmental Papers (CIS)
Date of this Version
12-18-2002
Document Type
Conference Paper
Recommended Citation
Rajeev Alur, Calin Belta, Franjo Ivancic, R. Vijay Kumar, Harvey Rubin, Jonathan Schug, Oleg Sokolsky, and Jonathan Webb, "Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks", Lecture Notes in Computer Science: High Performance Computing, HiPC 2002 2552, 702-712. December 2002. http://dx.doi.org/10.1007/3-540-36265-7_67
Abstract
In this paper we introduce our new tool BIOSKETCHPAD that allows visual programming and modeling of biological regulatory networks. The tool allows biologists to create dynamic models of networks using a menu of icons, arrows, and pop-up menus, and translates the input model into CHARON, a modeling language for modular design of interacting multi-agent hybrid systems. Hybrid systems are systems that are characterized by continuous as well as discrete dynamics. Once a CHARON model of the underlying system is generated, we are able to exploit the various analysis capabilities of the CHARON toolkit, including simulation and reachability analysis. We illustrate the advantages of this approach using a case study concerning the regulation of bioluminescence in a marine bacterium.
Subject Area
CPS Model-Based Design
Publication Source
Lecture Notes in Computer Science: High Performance Computing, HiPC 2002
Volume
2552
Start Page
702
Last Page
712
DOI
10.1007/3-540-36265-7_67
Copyright/Permission Statement
The original publication is available at www.springerlink.com
Date Posted: 11 September 2005
Comments
Postprint version. Published in Lecture Notes in Computer Science, Volume 2552, High Performance Computing - HiPC 2002, pages 702-712.
Publisher URL: http://www.springerlink.com/link.asp?id=gt7d938fl0y8qpj0