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.deQui puoi annotare un errore o proporre un miglioramento per questa voce PONS:
Come posso esportare le traduzioni nel trainer lessicale?
Ricorda che la lista dei vocaboli viene salvata soltanto sul tuo browser. Una volta esportata nel trainer lessicale, sarà disponibile su tutti i dispositivi.