Constraints and Classes of Service for Web Services
Vladimir Tosic, Bernard Pagurek, Kruti Patel
Research Report OCIECE-02-06
November 2002
WSOL – A Language for the Formal Specification of
Various Constraints and Classes of Service for Web
Services
Vladimir Tosic, Bernard Pagurek, Kruti Patel
Department of Systems and Computer Engineering, Carleton University
1125 Colonel By Drive
Ottawa, ON, K1V 6L8, CANADA
+1 (613) 520-2600, x3548
{vladimir, bernie, kpatel}@sce.carleton.ca
ABSTRACT
We are developing a language, Web Service Offerings Language
(WSOL), for the formal specification of various constraints, management statements, and classes of service for Web Services.
WSOL is an XML (Extensible Markup Language) notation compatible with WSDL (Web Services Description Language).
A service offering in WSOL is a formal description of one class of service of a Web Service. It contains formal representation of various constraints: functional (pre-, post-, and futureconditions), Quality of Service (QoS, a.k.a. non-functional, extrafunctional), and access rights. It also contains management statements, such as statements about prices, monetary penalties, and management responsibilities. One Web Service can be associated with multiple service offerings. For easier specification of similar service offerings, WSOL enables specification of constraint groups (CGs) and constraint group templates (CGTs). We have also developed a format for representation of dynamic relationships between service offerings. WSOL service offerings are simple contracts and SLAs (Service
Level Agreements) between Web Services. Describing a Web
Service in WSOL, in addition to WSDL, enables monitoring, metering, and management of Web Services. The Web Service, its consumer, or one or more designated third parties (usually
SOAP message intermediaries) can meter QoS metrics and evaluate constraints in WSOL