Model-Driven Development -- Application of Stuck-Free Conformance to Service-Role