The GRITIKA ontology for modeling e-service applications: formal specification and illustration | IEEE Conference Publication | IEEE Xplore