A programming language for service-oriented computing with mobile agents