Automated support for quality requirements in Web-service-based systems

The automatic checking of quality requirements will play a fundamental role in the future market of Web services. The reason is that it will allow one to build economically-optimal systems whose quality level can be guaranteed. We identify some of the main problems with which this kind of future system is going to be faced, and also make a realistic proposal to solve them. The key point is to view quality requirements from a twofold perspective: a natural language sentence and a constraint on a quality attribute. Thanks to this principle, some of the classical disadvantages of formal methods may be overcome.