A transformation method from SDL into CPN by data flow and self-loop analysis

摘要

PURPOSE: A method for converting protocol described in SDL(Specification and Description Language) into CPN(Colored Petri Nets) is provided to generate a protocol test array automatically in a CPN tool by processing a data flow and a self-loop in converting a protocol described in an SDL into a CPN. CONSTITUTION: A first process(201-202) inspects if a protocol described in an SDL is a state, a transition, or an input/output/condition. A second process(203-210) corresponds to the protocol to a place of a CPN in case the protocol is the state. A third process(214) corresponds the protocol to a transition of the CPN in case the protocol is the transition. A fourth process(211-213) corresponds the protocol to an input/output/condition place of the CPN in case the protocol is the input/output/condition.