Related Experiment Video
Updated: Aug 19, 2026

A Web Tool for Generating High Quality Machine-readable Biological Pathways
Published on: February 8, 2017
A formal language for computational systems biology
Daniel D Errampalli1, Corrado Priami, Paola Quaglia
1Department of Information and Telecommunication, University of Trento, Povo, Italy.
Abstract:
The post-genomic era has opened new insights into the complex biochemical reaction systems present in the cell and has generated huge amount of information. The biological systems are highly complex and can overwhelm the numerically computable models. Therefore, models employing symbolical techniques might provide a faster insight. This paper presents some preliminary results and recent trends in the above direction. Specifically, it presents an overview of the main features of some formalisms and techniques from the field of specification languages for concurrency and mobility, which have been proposed to model and simulate the dynamics of the interaction of complex biological systems. The ultimate goal of these symbolic approaches is the modeling, analysis, simulation, and hopefully prediction of the behavior of biological systems (vs. biological components).
Related Concept Videos
Synthetic Biology
Golden rice
Golden rice is a genetically modified...
Relation between Mathematical Equations and Block Diagrams
Assembly of Signaling Complexes
Interaction domains in cell signaling
Interaction domains recognize exposed features of their binding partners containing post-translationally modified sequences,...
SFG Algebra
Each node in an SFG corresponds to a variable, and the interactions between nodes are represented by branches with associated gains. When multiple branches lead into a node, the value at that node is the sum of the...
Mathematical Modeling: Problem Solving
State Space Representation
Consider an RLC circuit, a...
