Checking Architectural and Implementation Constraints for Domain-Specific Component Frameworks Using Models