Computer Science – Logic in Computer Science
Scientific paper
2011-08-17
Computer Science
Logic in Computer Science
Presented at MeCBIC 2011
Scientific paper
Most available tools propose simulation frameworks to study models of biological systems, but simulation only explores a few of the most probable behaviours of the system. On the contrary, techniques such as model checking, coming from IT-systems analysis, explore all the possible behaviours of the modelled systems, thus helping to identify emergent properties. A main drawback from most model checking tools in the life sciences domain is that they take as input a language designed for computer scientists, that is not easily understood by non-expert users. We propose in this article an approach based on DSL. It provides a comprehensible language to describe the system while allowing the use of complex and powerful underlying model checking techniques.
Buchs Didier
Hostettler Steve
Linard Alban
Lopez Edmundo
Marechal Alexis
No associations
LandOfFree
Modelling of Genetic Regulatory Mechanisms with GReg does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Modelling of Genetic Regulatory Mechanisms with GReg, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Modelling of Genetic Regulatory Mechanisms with GReg will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-540146