GReg : a domain specific language for the modeling of genetic regulatory mechanisms

Biological Processes & Petri Nets 2011.

生物科学;计算机科学

Nicolas Sedlmajer ; Didier Buchs ; Steve Hostettler ; Alban Linard ; mundo Lopez ; Alexis Marechal

Others  :  http://ceur-ws.org/Vol-724/paper3.pdf
PID  :  42095

来源: CEUR

【 摘 要 】

Chemical and biological systems have similarities with IT-systems as they can be observed as sequences of events. Most avail- able tools propose simulation frameworks to explore biological pathways (i.e., sequences of events). Simulation only explores a few of the most probable pathways in the system. On the contrary, techniques such as model checking, coming from IT-systems analysis, explore all the possi- ble behaviors of the modeled systems, thus helping to identify interesting pathways. A main drawback from most model checking tools in the life sciences domain is that they take as input a language designed for com- puter scientists, that is not easily understood by non-expert users. We propose in this article an approach based on Domain Specific Languages. It provides a comprehensible language to describe the system while al- lowing the use of complex and powerful underlying model checking techniques.