Deakstadieđáhus: Logical Modeling of Cellular Processes: From Software Development to Network Dynamics