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.deTu lahko pustite obvestila o napakah v tem geslu ali predlogih za izboljave:
Kako naložim besedišče v vadnico?
Zavedajte se, da je spisek besedišča shranjen le v tem brskalniku. S tem, ko naložite besedišče v vadnico, je dostopno povsod.