| Procrustes Editor de propriedade baseado em padrões |
Baixe Agora |
Procrustes Classificação e resumo
- Nome do editor:
- Procrustes Team
- Site do editor:
- http://ibis.inrialpes.fr
- Sistemas operacionais:
- Mac OS X
Procrustes Tag
Procrustes Descrição
Editor de propriedade baseado em padrões gratuitos O ProSustes é um editor de propriedades baseado em padrões que permite que a tradução de cada padrão em uma fórmula lógica temporal (atualmente CTL, Ctrl e MU-Cálculo seja suportada) .Pocrustes é composta por dois módulos: a interface gráfica do usuário e a API do tradutor padrão. Este último foi integrado no analisador de rede genética (GNA), uma ferramenta de computador para a modelagem e simulação de redes reguladoras genéticas.Modelos da dinâmica das redes de interação celular tornam-se cada vez mais grandes nos últimos anos. O estudo desses modelos por análise e ferramentas de simulação gera um grande número de previsões dos possíveis comportamentos dinâmicos do sistema. Ao representar a dinâmica do sistema por meio de gráficos de transição de estado discreto (por exemplo, estruturas de Kripke), torna-se possível usar técnicas de verificação formais para a verificação de certas propriedades de interesse. No entanto, isso requer a formulação das propriedades na lógica temporal, que não é evidente para o usuário não especialista. Para lidar com esse problema, um conjunto de padrões (modelos de consulta de alto nível) foram definidos para capturar questões biológicas recorrentes posado por modeladores. Os padrões consistem em frases estruturadas de linguagem natural que podem ser traduzidas em fórmulas lógicas temporais. Requisitos: · Java 1.5 ou mais tarde
Procrustes Software Relacionado