Title :
Automated support for quality requirements in Web-service-based systems
Author :
Ruiz, Antonio ; Corchuelo, Rafael ; Durán, Amador ; Toro, Miguel
Author_Institution :
Dep. de Lenguajes y Sistemas Informaticos, Seville Univ., Spain
Abstract :
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
Keywords :
Internet; formal specification; information resources; object-oriented programming; software quality; software tools; system documentation; COM+; CORBA; Mows; Multi-Organisational Web-based Systems; Web services; Web-oriented programming; Wop; authentication mechanisms; automatic quality requirements checking; formal methods; formal specification; natural language; quality attribute constraint; quality documents; quality level; quality monitoring; Banking; Costs; Demand forecasting; Economic forecasting; Information retrieval; Natural languages; Open systems; Proposals; Software quality; Web services;
Conference_Titel :
Distributed Computing Systems, 2001. FTDCS 2001. Proceedings. The Eighth IEEE Workshop on Future Trends of
Conference_Location :
Bologna
Print_ISBN :
0-7695-1384-0
DOI :
10.1109/FTDCS.2001.969621
