Procrustes. Editor immobiliare gratuito, editor di pattern
Scarica ora

Procrustes. Classifica e riepilogo

Procrustes. Tag

modificare tradurre proprietà proprietà editor Traduci il modello. Traduzione del modello

Procrustes. Descrizione

Editor immobiliare gratuito, editor di pattern Procrustes è un editor di proprietà a basato su modello che consente la traduzione di ciascun modello in una formula logica temporale (attualmente supportata da ctl, ctrl e mu-calculus). Procruti è composta da due moduli: l'interfaccia utente grafica e l'API del traduttore del modello. Quest'ultimo è stato integrato in Analyzer di rete genetica (GNA), uno strumento per computer per la modellazione e la simulazione delle reti di regolazione genetica. I bordi delle dinamiche delle reti di interazione cellulare sono diventati sempre più grandi negli ultimi anni. Lo studio di questi modelli per analisi e strumenti di simulazione genera un gran numero di previsioni dei possibili comportamenti dinamici del sistema. Quando si rappresenta la dinamica del sistema mediante grafici di transizione dello stato discreto (E.G., Kripke Structures), diventa possibile utilizzare tecniche di verifica formale per la verifica di determinate proprietà di interesse. Tuttavia, ciò richiede la formulazione delle proprietà nella logica temporale, che non è evidente per l'utente non esperto. Indirizzare questo problema, è stato definito un set di modelli (modelli di query ad alto livello) per acquisire domande biologiche ricorrenti posato da modiners. I modelli sono costituiti da frasi di linguaggio naturale strutturato che possono essere tradotte in formule logiche temporali. Requisiti: · Java 1.5 o successivi

Procrustes. Software correlato