Insbesondere wurde dabei ermittelt, welche Sprachen eine systemunabhängige Komponentenbeschreibung erlauben.
Ein formales Modell zur Beschreibung des Komponentenverhaltens wurde entwickelt, welches durch eine einfache Transformation auf eine Kripke-Struktur abgebildet werden kann.
Dies ergibt eine formale Basis mit Schlussregeln zur Herleitung von Systemeigenschaften aus Komponenteneigenschaften.
www11.informatik.uni-erlangen.deIn particular, it was investigated whether the languages considered allow a system-independent component description.
A formal model for describing component behaviour was successively developed, allowing to be mapped to a Kripke structure by simple transformation.
This yields a formal basis with deduction rules for the derivation of system properties from component properties.
www11.informatik.uni-erlangen.deΕδώ μπορείτε να σημειώσετε βελτιωτικές προτάσεις ή σχόλια σχετικά με λάθη σε αυτό το λήμμα:
Πώς μπορώ να μεταφέρω τις μεταφράσεις στον προπονητή λεξιλογίου;
Έχετε υπόψη ότι τα λήμματα σε αυτήν τη λίστα λεξιλογίου διατίθενται μόνο σε αυτό τον περιηγητή. Μόλις τα περάσετε όμως στον προπονητή λεξιλογίου, θα μπορείτε να τα καλέσετε από παντού.