Modularization and Specification of Service-Oriented Systems