View Proposal #485
If this proposal belongs to you, you are authorized to update it. Use the menu on the right.
| ID | 485 |
|---|---|
| First Name | Jong Hoon |
| Last Name | Bae |
| Institution | Grinnell College |
| Speaker Category | undergraduate student |
| Title of Talk | Cauldron: An IDE for Modular Development of Chemical Reaction Networks |
| Abstract | Chemical reaction networks (CRNs) are widely used in the physical sciences to model reactions between molecules, and they are closely related to Petri nets and population protocols. Although the CRN model is equivalent in power to modern programming languages, it does not naturally support important software engineering principles such as abstraction and reuse. As a result, CRNs are challenging to debug, verify, extend, reuse, and maintain. In this talk we introduce Cauldron, an integrated development environment (IDE) for modular CRN development. Cauldron supports three new CRN design methods introduced by Klinge, Lathrop, and Lutz in 2016: (1) Input/output CRNs, (2) closed-sub CRNS, and (3) extension operators. I/O CRNs extend the CRN model to allow receiving external input signals. A closed sub-CRN encapsulates a behavior within an existing CRN in a way that is self-contained. Extension operators are used to automatically add functionality to a CRN without affecting its original behavior. By making these methods practical to developers, Cauldron naturally supports modular CRN design. For example, users can divide a CRN into independent sub-CRNs, test them separately, and reuse them in other CRNs. Furthermore, users can mark species as inputs and specify them with common elementary functions, by drawing a function, or by connecting them to another CRN. Many commonly used CRNs and extension operators are also included as libraries in Cauldron. |
| Subject area(s) | |
| Suitable for undergraduates? | Y |
| Day Preference | none |
| Computer Needed? | |
| Bringing a laptop? | |
| Overhead Needed? | |
| Software requests | |
| Special Needs | |
| Date Submitted | 10/06/2017 |
| Year | 2017 |