Formalizing mobile agent system model based on ontology | IEEE Conference Publication | IEEE Xplore