Bringing LTL Model Checking to Biologists
| Autor: | Sergey Berezin, Maik Riechert, Benjamin A. Hall, Nikita Skoblov, Samin Ishtiaq, Jay Nanavati, Jasmin Fisher, David Benque, Nir Piterman, Zara Ahmed, Anna Caroline E. Dahl |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
0301 basic medicine
Model checking Theoretical computer science Natural language user interface business.industry Programming language Computer science Stability (learning theory) 02 engineering and technology computer.software_genre Order of operations 03 medical and health sciences 030104 developmental biology 0202 electrical engineering electronic engineering information engineering Web application 020201 artificial intelligence & image processing Dialog system business computer Natural language Graphical user interface |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783319522333 VMCAI |
| Popis: | The BioModelAnalyzer (BMA) is a web based tool for the development of discrete models of biological systems. Through a graphical user interface, it allows rapid development of complex models of gene and protein interaction networks and stability analysis without requiring users to be proficient computer programmers. Whilst stability is a useful specification for testing many systems, testing temporal specifications in BMA presently requires the user to perform simulations. Here we describe the LTL module, which includes a graphical and natural language interfaces to testing LTL queries. The graphical interface allows for graphical construction of the queries and presents results visually in keeping with the current style of BMA. The Natural language interface complements the graphical interface by allowing a gentler introduction to formal logic and exposing educational resources. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|