Modeling a Service and Session Calculus with Hierarchical Graph Transformation