Modeling and validation of service-oriented architectures: application vs. style