Adopt the right approach in identification of services by using both domain decomposition business process models and bottom-up models.

Are the services implemented with the right level of decomposition and granularity?

The authors also proved the uniqueness theorem on structure decomposition of right complete semigroups.