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

fYear

2001

fDate

2001

Firstpage

48

Lastpage

54

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/FTDCS.2001.969621

Filename

969621