Reusability Constructs in the Web Service Offerings (WSOL)

The Web Service Offerings Language (WSOL) is a novel language for the formal specification of classes of service, various types of constraint, and management statements for Web Services. Compared with recent competing works, WSOL has several unique characteristics. One of them is a diverse set of reusability constructs: definition of service offerings, definition of constraint groups, definition and instantiation of constraint group templates, extension, inclusion, specification of applicability domains, and declaration of operation calls. These constructs enable sharing parts of WSOL specifications between classes of service of different Web Services and development of libraries of reusable WSOL specifications. Consequently, they can help in alleviating heterogeneity of Web Services. In addition, reusability constructs are useful for easier development of new WSOL specifications from existing ones, for easier selection of Web Services and their classes of service, and for dynamic (run-time) adaptation of relationships between provider and consumer Web Services. An integration of WSOL reusability constructs into the works competing with WSOL would be beneficial