This paper proposes a formal approach for protocol information modeling and validation leveraging on ontological techniques. We demonstrate the advantage of our approach through prototyping a protocol management system for representation of communication protocols and composition of protocol stacks. The prototype has an ontology-based model to describe meta-data of protocols and protocol stacks in a systematic way. Consequently, the retrieval of protocols and the validation of protocol stacks are realized by corresponding operations on the ontology model. Owing to the better expressiveness of RDFS, the ontology model can describe protocols with higher `fidelity'. Our experimental results show that the ontology-based protocol management system is operable and provides expressive knowledge modeling without compromising the performance.
['LiFeng Zhou', 'Hung Keng Pung', 'Lek Heng Ngoh', 'Tao Gu']
Ontology Modeling of a Dynamic Protocol Stack