Transition from UML Sequence Charts to the pi-calculus: a pragmatic approach