38 research outputs found
A Requirement-centric Approach to Web Service Modeling, Discovery, and Selection
Service-Oriented Computing (SOC) has gained considerable popularity for implementing Service-Based Applications (SBAs) in a flexible\ud
and effective manner. The basic idea of SOC is to understand users'\ud
requirements for SBAs first, and then discover and select relevant\ud
services (i.e., that fit closely functional requirements) and offer\ud
a high Quality of Service (QoS). Understanding users requirements\ud
is already achieved by existing requirement engineering approaches\ud
(e.g., TROPOS, KAOS, and MAP) which model SBAs in a requirement-driven\ud
manner. However, discovering and selecting relevant and high QoS\ud
services are still challenging tasks that require time and effort\ud
due to the increasing number of available Web services. In this paper,\ud
we propose a requirement-centric approach which allows: (i) modeling\ud
users requirements for SBAs with the MAP formalism and specifying\ud
required services using an Intentional Service Model (ISM); (ii)\ud
discovering services by querying the Web service search engine Service-Finder\ud
and using keywords extracted from the specifications provided by\ud
the ISM; and(iii) selecting automatically relevant and high QoS services\ud
by applying Formal Concept Analysis (FCA). We validate our approach\ud
by performing experiments on an e-books application. The experimental\ud
results show that our approach allows the selection of relevant and\ud
high QoS services with a high accuracy (the average precision is\ud
89.41%) and efficiency (the average recall is 95.43%)
Empirical Validation of MoDe4SLA; Approach for Managing Service Compositions
For companies managing complex Web service compositions, challenges arise which go far beyond simple bilateral contract monitoring. For example, it is not only important to determine whether or not a component (i.e., Web service) in a composition is performing properly, but also to understand what the impact of its performance is on the overall service composition. To tackle this challenge, in previous work we developed MoDe4SLA which allows managing and monitoring dependencies between services in a composition. This paper empirically validates MoDe4SLA through an extensive and interactive experiment among 34 participants
A calculus for generic, QoS-aware component composition
Software QoS properties, such as response time, availability, bandwidth requirement, memory usage, among many others, play a major role in the processes of selecting and composing software components. This paper extends a component calculus to deal, in an effective way, with them. The calculus models components as generalised Mealy machines, i.e., state-based entities interacting along their life time through well defined interfaces of observers and actions. QoS is introduced through an algebraic structure specifying the relevant QoS domain and how its values are composed under different disciplines. A major effect of introducing QoS-awareness is that a number of equivalences holding in the plain calculus become refinement laws. The paper also introduces a prototyper for the calculus developed as a âproof-of-conceptâ implementation.FCT -Fuel Cell Technologies Program(FCOMP-01-0124-FEDER-020537
A scalable and highly available brokering service for SLA-based composite services
Abstract. Theintroductionofself-adaptationandself-management techniques in a service-oriented system can allow to meet in a changing environment the levels of service formally defined with the system users in a Service Level Agreement (SLA). However, a self-adaptive SOA system has to be carefully designed in order not to compromise the system scalability and availability. In this paper we present the design and performance evaluation of a brokering service that supports at runtime the self-adaptation of composite services offered to several concurrent users with different service levels. To evaluate theperformance of the brokering service, we have carried out an extensive set of experiments on different implementations of the system architecture using workload generators that are based on open and closed system models. The experimental results demonstrate the effectiveness of the brokering service design in achieving scalability and high availability.