Referenced Items are not available for this document.
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
Published in:
Distributed Computing Systems, 2001. FTDCS 2001. Proceedings. The Eighth IEEE Workshop on Future Trends of
Date of Conference: 2001
- Page(s):
- 48 - 54
- Meeting Date :
- 31 Oct 2001-02 Nov 2001
- Print ISBN:
- 0-7695-1384-0
- INSPEC Accession Number:
- 7129550
- Conference Location :
- Bologna
- Digital Object Identifier :
- 10.1109/FTDCS.2001.969621
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
