摘要 |
<p>The present invention relates to a method (MA) for checking a path built between a source node and another node for a network system, according to adaptation functions. It is characterized in that it comprises the steps of:
- launching a push-down automaton (1) for reading a word associated to the built path, a word comprising labels of an alphabet representing protocols and encapsulation functions supported by edges and/or nodes of the network system, a label of a word being associated to an edge or a node of the built path; and
- validating the built path (2) according to the result of the reading of the word and to the state of a stack of said push-automaton, said stack (STK) being modified during the reading of the word.
It also relates to a method for building a push-down automaton.</p> |