Comprobación Automática de Requisitos de Calidad en Sistemas Multiorganizacionales

Resumen El uso de servicios WEB y de servidores de aplicaciones durante el desarrollo y explotacion de sistemas multiorganizacionales basados en la WEB (MOWS), ha puesto de relieve algunas limitaciones de los actuales lenguajes de especificacion de requisitos de calidad para soportar el tratamiento automatico que, sobre este tipo de requisitos, precisan el desarrollo y la explotacion de MOWS. En este articulo se presenta un lenguaje formal de especificacion de requisitos que facilita la comprobacion automatica de la conformidad y la economia, dos propiedades de gran interes para los MOWS.

[1]  Xavier Franch,et al.  Modeling Non-Functional Requirements , 2001 .

[2]  Rafael Corchuelo,et al.  Object-Oriented Business Solutions , 2001, ECOOP Workshops.

[3]  Antonio Ruiz Cortés,et al.  A Requirements Elicitation Approach Based in Templates and Patterns , 1999, WER.

[4]  Rafael Corchuelo,et al.  Automated support for quality requirements in Web-service-based systems , 2001, Proceedings Eighth IEEE Workshop on Future Trends of Distributed Computing Systems. FTDCS 2001.

[5]  Xavier Franch,et al.  Systematic formulation of non-functional characteristics of software , 1998, Proceedings of IEEE International Symposium on Requirements Engineering: RE '98.

[6]  Peter J. Stuckey,et al.  Programming with Constraints: An Introduction , 1998 .

[7]  Flaviu Cristian,et al.  Understanding fault-tolerant distributed systems , 1991, CACM.

[8]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[9]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[10]  Svend Frølund,et al.  Quality-of-service specification in distributed object systems , 1998, Distributed Syst. Eng..