Finding inconsistency for UML-based composition at program level | IEEE Conference Publication | IEEE Xplore