Abstract

In this paper, the work developed aims at contributing to the research related to the Quality of Service (QoS) for Web services. We started this research by providing a comprehensive review and description of the QoS specifications that comprise some already existing factors contributing to the QoS and some newly proposed ones. These include the availability, accessibility, reliability, integrity, the response time of the service, security, performance, etc. Hence, the aim of this research is two folds, first, it helps the designers and developers to provide better web services and second, and it helps ensure consistent software architecture as a reference model for many applications. To achieve this, we model, first, the meta-QoS model of the Web services. Then, we formalize the QoS of the Web services by referring to ARMANI which provides a language of predicates that is powerful enough to reconcile any mismatches and, thus, provide a reliable composition of the Web services. We also, handle the mediation of the composite Web services with the ACME using an automatic MDE approach and implementing a tool for this aim: Web services compositions are transformed onto ACME specifications. We are the, able to check the composition of the Web services through the ACME verification tools.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call