Antonio Ruiz,  Amador Durán,  Rafael Corchuelo,  Beatriz Bernárdez,  Miguel Toro. 

El uso de servicios WEB y de servidores de aplicaciones durante el desarrollo y explotación de sistemas multiorganizacionales basados en la WEB (MOWS), ha puesto de relieve algunas limitaciones de los actuales lenguajes de especificación de requisitos de calidad para soportar el tratamiento automático que, sobre este tipo de requisitos, precisan el desarrollo y la explotación de MOWS. En este artículo se presenta un lenguaje formal de especificación de requisitos que facilita la comprobación automática de la conformidad y la economía, dos propiedades de gran interés para los MOWS

http://wer.inf.puc-rio.br/WERpapers/artigos/artigos_WER01/ruiz.pdf

Processando consulta.