An Ontology-Based Diagnosis of Mainstream Service Modeling Languages | IEEE Conference Publication | IEEE Xplore