Ontology based approach for green software ecosystem formalization | IEEE Conference Publication | IEEE Xplore