Title: Integrated Operational Semantics for a UML Core Based on Graph Transformation