A framework to coordinate web services in composition scenarios

This paper looks into the coordination of web services following their acceptance to participate in a composition scenario. We identify two types of behaviours associated with component web services: Operational and control behaviours. These behaviours are used to specify composite web services that are built upon component web services. In term of orchestration a composite web service could be either centralised or peer-to-peer. To support component/composite web services coordination per type of orchestration schema, various types of messages are exchanged between these web services. Experiments showing the use of these messages are reported in this paper as well. Copyright © 2010 Inderscience Enterprises Ltd

Design and development of an m-commerce environment: The E-CWE project

We discuss the use of software agents in the design and development of an m-commerce environment. Software agents are considered because of their features, such as autonomy, sociability, and mobility. Users are currently struggling to complete their e-commerce transactions. For instance, they have to adapt their behaviors when they browse e-commerce sites. Conducting similar transactions from wireless devices (e.g., mobile phones) requires new approaches. Multiple issues, which vary from low bandwidth and high latency to screen sizes, are raised. The E-Commerce Through Wireless Devices project aims at investigating techniques and offering solutions to support users in undertaking m-commerce transactions

Dynamic management of UDDI registries in a wireless environment of web services: Concepts, architecture, operation, and deployment

This paper presents mechanisms for the dynamic management of the content of several Universal Description, Discovery, and Integration (UDDI) registries. These mechanisms are deployed in the context of a wireless environment of Web services. By content, it is meant the announcements of Web services that providers submit to a UDDI registry. Unlike other initiatives in the Web services domain that consider a single UDDI registry and a wired communication infrastructure, this paper is concerned with the fact that: several UDDI registries are deployed, there is no wired communication infrastructure between the UDDI registries, and absence of a centralized component for coordinating the UDDI-registries. The solution presented integrates users and software agents into what we call messengers. Initially, software agents reside in users\u27 mobile devices and cache a description of the Web services that satisfy their users\u27 needs. Each time a user is in the vicinity of a UDDI registry, her software agent interacts with that registry, so the details stored on Web services are submitted. © Springer Science+Business Media, LLC 2007

A web services composition approach based on software agents and context

We present an agent-based and context-oriented approach for Web services composition. A Web service is an accessible application that other applications and humans can discover and trigger to satisfy various needs. Due to the complexity of Web services composition, we consider two concepts to reduce this complexity: Software agent and context. A software agent is an autonomous entity that acts on behalf of users, whereas context is any information relevant to characterize a situation. During composition, software agents engage conversations with their peers to agree on the Web services that will participate in the composition

SoMeT - A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV

Web service composition is currently a very focused-on topic of research, with many studies being proposed by academic and industrial research groups. This paper discusses the design and verification of behavior of composite Web services. We model composite Web services based on two behaviors, namely control and operational. These behaviors communicate through conversation messages. We use state charts to model composite Web services and verify the synchronization of the conversations among them using symbolic model checking with NuSMV

A formal verification approach of conversations in composite web services using NuSMV

Web service composition is currently a very focused-on topic of research, with many studies being proposed by academic and industrial research groups. This paper discusses the design and verification of behavior of composite Web services. We model composite Web services based on two behaviors, namely control and operational. These behaviors communicate through conversation messages. We use state charts to model composite Web services and verify the synchronization of the conversations among them using symbolic model checking with NuSMV. © 2009 IOS Press. All rights reserved

Symbolic model checking composite Web services using operational and control behaviors

This paper addresses the issue of verifying if composite Web services design meets some desirable properties in terms of deadlock freedom, safety (something bad never happens), and reachability (something good will eventually happen). Composite Web services are modeled based on a separation of concerns between business and control aspects of Web services. This separation is achieved through the design of an operational behavior, which defines the composition functioning according to the Web services\u27 business logic, and a control behavior, which identifies the valid sequences of actions that the operational behavior should follow. These two behaviors are formally defined using automata-based techniques. The proposed approach is model checking-based where the operational behavior is the model to be checked against properties defined in the control behavior. The paper proves that the proposed technique allows checking the soundness and completeness of the design model with respect to the operational and control behaviors. Moreover, automatic translation procedures from the design models to the NuSMV model checker\u27s code and a verification tool are reported in the paper. © 2012 Elsevier Ltd. All rights reserved

Analyzing social web services\u27 capabilities

© 2015 IEEE. This paper looks into ways of supporting social Web services react to the behaviors that their peers expose at run time. Examples of behaviors include selfishness and unfairness. These reactions are associated with actions packaged into capabilities. A capability allows a social Web service to stop exchanging private details with a peer and/or to suspend collaborating with another peer, for example. The analysis of capability results into three types referred to as functional (what a social Web service does), non-functional (how a social Web service runs), and social (how a social Web service reacts to peers). To avoid cross-cutting concerns among these capabilities aspect-oriented programming is used for implementing a system

A novel scalable representative-based forecasting approach of service quality

© 2020, Springer-Verlag GmbH Austria, part of Springer Nature. Several approaches to forecast the service quality based on its quality of service (QoS) properties are reported in the literature. However, their main disadvantage resides in their limited scalability. In fact, they elaborate a forecasting model for each quality attribute per service, which cannot scale well for large or even medium size datasets of services. Accordingly, we propose a novel scalable representative-based forecasting approach of QoS. The QoS is modeled as a multivariate time series in which the values of service attributes are evaluated at each time instant and forecasted based on three stages. First, a data aggregation function is applied to the multivariate time series data. Then, principal component analysis (PCA) is applied to the quality attributes to determine the most relevant ones. The reduced data is then clustered, so that, a representative for each cluster is computed. Finally, a forecasting model is built for each cluster representative for the sake of deriving other services’ forecasting models. A set of extensive experiments are carried out to assess the efficiency and accuracy of the proposed approach on a dataset of real services. The experimental results show that the proposed approach is up to 75% more efficient than direct forecasting approaches using time measurements while increasing the number of forecasted services and that the elaborated forecasting models enjoy insignificant forecasting errors

Reputation of communities of Web services - Preliminary investigation

Web services communities can be seen as virtual clusters that agglomerate Web services with the same functionality (e.g., FlightBooking). However, selecting a community to deal with is a challenging task to users and providers. Reputation, besides other selection criteria, has been widely used for evaluating and ranking candidates. Interestingly, the definition of community reputation from the perspective of users differs from the perspective of Web service providers. In this paper, we introduce a reputation-based Web services community architecture and define some of the petformance metrics that are needed to assess the reputation of a Web service community as perceived by users and providers. © 2008 IEEE