An algorithm for stereotype deduction in UML-based formalism and its application in geographic information systems | IEEE Conference Publication | IEEE Xplore