Predicative Semantic Model for Integrating UML Models -- An Automatic Mapping from