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您可在此指出该PONS条目的错误或提出改进建议：
如何在词汇练习助手中接受翻译内容？
请注意，词汇表中的这些词语在本浏览器中是可以使用的。只要这些词语已被收入词汇练习助手，即可随时调用。