Flexible model specification and application for service-oriented software. (April 2019)