Domain-Specific Web Services Composition -- Model Integration and Theory Unification --