Metadata
Author: patents-wipo
Data
German[de]
Ein entsprechendes Verfahren (100) umfasst folgende Schritte: Bereitstellen (110) einer Beschreibung des Funktionsbausteins (10) in einer ersten Programmiersprache für speicherprogrammierte Steuerungen; Übersetzen (120) der Beschreibung des Funktionsbausteins (10) in eine Darstellung (10') des Funktionsbausteins (10) als Transitionssystem, Vereinfachen (130) der Darstellung (10') des Funktionsbausteins (10) in seiner Darstellung (10') als Transitionssystem; Rückübersetzen (140) der vereinfachten Darstellung (10'') des Funktionsbausteins (10) in die erste oder eine zweite andere Programmiersprache für speicherprogrammierte Steuerungen.
English[en]
A corresponding method (100) comprises the following steps: providing (110) a description of the functional module (10) in a first programming language for programmable logic controllers; translating (120) the description of the functional module (10) into a representation (10') of the functional module (10) as a transition system, simplifying (130) the representation (10') of the functional module (10) in terms of its representation (10') as a transition system; retranslating (140) the simplified representation (10'') of the functional module (10) into the first or a second, different programming language for programmable logic controllers.
French[fr]
Un procédé (100) correspondant comprend les étapes suivantes : élaboration (110) d'une description du module fonctionnel (10) dans un premier langage de programmation pour commandes à programme enregistré ; traduction (120) de la description du module fonctionnel (10) en une représentation (10') du module fonctionnel (10) sous la forme d'un système de transition ; simplification (130) de la représentation (10') du module fonctionnel (10) sous la forme d'un système de transition ; retraduction (140) de la représentation simplifiée (10") du module fonctionnel (10) dans le premier ou dans un deuxième autre langage de programmation pour commandes à programme enregistré.