Modularizing Services Based Upon an Actor-Oriented Logic