Logik und Theorie diskreter Systeme
Automatentheorie und Logik, algorithmische Verifikation und Synthese
mehr
www.informatik.rwth-aachen.deTheory of Discrete Systems
Automata theory and logic, algorithmic verification and synthesis
mehr
www.informatik.rwth-aachen.deUnifizierte Service-Komposition
Ich untersuche Möglichkeiten zur unifizierten Modellierung und Ausführung von Service-Kompositionen auf Basis von formalen Grammatiken und Automatentheorie.
Eine spezielle Art von formalen Grammatiken - Kompositionsgrammatiken - wird dabei verwendet, um eine Service-Komposition zu modellieren.
www.iaas.uni-stuttgart.deUnified Service Composition
I investigate in a unified modeling and execution of service compositions based on formal grammars and automata theory.
In particular, a special kind of grammars - Composition Grammars - is used to model service compositions whereas automata are used to execute these compositions.
www.iaas.uni-stuttgart.deAutomaten und Logik-Systeme, Automaten auf unendlichen Wörtern
Die Bedeutung der Automatentheorie für die Verifikation liegt darin, dass Automaten ein Verbindungsglied zwischen Systembeschreibung und Spezifikation sind.
Dies liegt an der Übersetzbarkeit vieler Logik-Systeme in Automaten ( u.a. temporale Logiken, modale Logiken, Programmlogiken ).
www.automata.rwth-aachen.deAutomata and Logic Systems, Automata on Infinite Words
The importance of automata theory for verification is based on the fact that automata are a linking part between system description and specification.
This is due to the fact that logic-systems can be translatedinto automata ( e.g. temporal logic, modal logic, program logic ).
www.automata.rwth-aachen.deBi želeli dodati besedo, frazo ali prevod?
Predlagajte nov vnos.