Erhöhungen freier, musterbasierter Eigenschafts-Editor
Jetzt downloaden

Erhöhungen Ranking & Zusammenfassung

Erhöhungen Stichworte

bearbeiten Übersetzen Eigentum Property-Editor Übersetzen Sie Muster Musterübersetzung

Erhöhungen Beschreibung

Kostenloser, musterbasierter Eigenschaft-Editor Procrustes ist ein musterbasierter Eigenschafteditor, mit dem die Übersetzung jedes Musters in eine zeitliche Logik-Formel (derzeit CTL, Strg- und MU-Calculus unterstützt wird) .ProwerRustes besteht aus zwei Modulen: der grafischen Benutzeroberfläche und der Musterübersetzer-API. Letzteres wurde in den genetischen Netzwerkanalysator (GNA) integriert, einem Computerwerkzeug für die Modellierung und Simulation genetischer Regulierungsnetzwerke. Modern der Dynamik der zellulären Interaktionsnetze sind in den letzten Jahren immer groß geworden. Die Untersuchung dieser Modelle durch Analyse- und Simulationstools erzeugt eine große Anzahl von Vorhersagen der möglichen dynamischen Verhaltensweisen des Systems. Bei der Darstellung der Systemdynamik durch diskrete Zustandsübergangsdiagramme (z. B. Kripke-Strukturen) wird es möglich, formale Überprüfungsverfahren für die Überprüfung bestimmter Inhaltseigenschaften zu verwenden. Dies erfordert jedoch die Formulierung der Eigenschaften in der zeitlichen Logik, die für den nicht erfahrenen Benutzer nicht ersichtlich ist. Um mit diesem Problem umzugehen, wurden ein Satz von Mustern (auf hoher Abfragevorlagen) definiert, um wiederkehrende biologische Fragen zu erfassen von Modeler gestellt. Die Muster bestehen aus strukturierten Natursprachen-Phrasen, die in zeitliche Logikformeln übersetzt werden können. Anforderungen: · Java 1.5 oder höher

Erhöhungen Zugehörige Software