The Ontology Analysis And Research Of Network Protocol In Programming Online Judge System

With the growth of diversified network technology and development of network application at full speed,which Put forward more and newer request to the network protocol,existing protocol is not enough to support the new application demand and network characters,and the existing must be expanded or implemented in new way.In this case,protocol needs to be developed.Based on the general course of protocol development- appearance of protocol engineering,which makes the protocol development process engineering,increases the efficiency of the protocol development,promotes the realization of a standardized protocol,improves the reliability and maintainability of the network software.The protocol engineering includes the formal description of the protocol,verifying the protocol,the integration of the protocol,the realization of the protocol,the protocol conformance testing and other aspects of the theory and technology.In these formal technologies,the formal description is the foundation of protocol's design and implementation as a whole.But the network protocol is still insufficient for the rules' semantic description and dealing with semantics conflicts of the rules in the process of definition and description.As a modeling tool,ontology can describe a conceptual model in a field,and the semantic of objective things correctly. Combining protocol with ontology can solve the problem above.In this paper,we take the Programming Online Judge system's network protocol development as background,there are following insufficiencies in the network of existing system:(1)There is not a real-time confirmation mechanism which is based on application layer;(2)The protocol which hides in the procedure code lacks the precise semantic description;(3)It involves in-net and outside-net in the existing network environment,how to guarantee that in-net may visit outside-net,but outside-net may not visit the in-net,this problem needs to be solved.Based on the above problems,it is necessary to develop a Programming Online Judge system's special-purpose protocol,and carries on the analysis with the aid of the ontology in network protocol's development,can solve the existing system's insufficiency in the network aspect.The concrete research work launches according to the following step:First,through the analysis of programming online judge system's network environment,we propose the programming online judge system's special-purpose protocol -programming online judge system transport protocol,this protocol is in the application layer of the TCP/IP protocol race,composed of eight sub- protocol. In the protocol's development,we use ontology to analyze node,entity,message, message transmission,as well as sub-agreements in the protocol.Then we established the ontology model with complete information and precise semantics.Second,we carry on the component design to the protocol,apply components design based on the ontology model of protocol,make the ontology model mapping as component's ontology model,obtain the definition of various components' interface.And we give the services which provided after components design to the outside world.At last,we implement the programming online judge system transport protocol, this protocol applicants in the programming online judge system,suggest that the design of the agreement is feasible and reasonable,and reflects its value.