Stateless and Stateful services – a service programming model