As the emerging paradigm that is believed to be conducive to the development of intelligent transportation systems (ITS), Internet of Vehicles (IoV) is constructed with a number of connected heterogeneous vehicle devices which provide a variety of services. As the number of vehicle devices in IoV is growing fast, selecting the appropriate service from candidate services which are functionally equivalent is becoming an imperative task. Predicting the non-functional attribute of service invocation, namely quality of service (QoS), to ensure the optimal service selection is the mainstream direction. Considering that most of the conventional prediction methods neglect the fact that QoS values change dynamically with some objective factors, this paper proposes a recurrent neural network based collaborative filtering method called RNCF for QoS prediction. Specifically, a multi-layer GRU structure is incorporated in the framework of neural collaborative filtering to model the dynamic state of physical environments or network conditions and share the invocation records across different time slices. We conduct extensive experiments on the WSDream dataset to demonstrate the effectiveness of the proposed QoS prediction model RNCF.

With the fast-developing domain of cyber-physical systems (CPS), constructing the CPS with high-quality services becomes an imperative task. As one of the effective solutions for information overload in CPS construction, quality of service (QoS)-aware service recommendation has drawn much attention in academia and industry. However, the lack of most QoS values limits the recommendation performance and it is time-consuming for users to get the QoS values by invoking all the services. Therefore, a powerful prediction model is required to predict the unobserved QoS values. Considering the fact that most existing QoS prediction models are unable to effectively address the data-sparsity problem, a novel two-stage framework called AgQ is proposed for QoS prediction. Specifically, a data augmentation strategy is designed in the first stage to enlarge the training set by drawing additional virtual instances. In the second stage, a prediction model is applied that considers both virtual and factual instances during the training procedure. We conduct extensive experiments on the WSDream dataset to demonstrate the effectiveness of the our QoS prediction framework and verify that the data augmentation strategy can indeed alleviate the data-sparsity problem. In terms of mean absolute error, taking the Multilayer Perceptron model as an example, the maximum improvement achieves 5% under 5% sparsity.

Service composition aims at achieving a business goal by composing existing service-based applications or components. The response time of a service is crucial, especially in time-critical business environments, which is often stated as a clause in service-level agreements between service providers and service users. To meet the guaranteed response time requirement of a composite service, it is important to select a feasible set of component services such that their response time will collectively satisfy the response time requirement of the composite service. In this work, we use the BPEL modeling language that aims at specifying Web services. We extend it with timing parameters and equip it with a formal semantics. Then, we propose a fully automated approach to synthesize the response time requirement of component services modeled using BPEL, in the form of a constraint on the local response times. The synthesized requirement will guarantee the satisfaction of the global response time requirement, statically or dynamically. We implemented our work into a tool, Selamat and performed several experiments to evaluate the validity of our approach.

Recently, many large enterprises (e.g., Netflix, Amazon) have decomposed their monolithic application into services, and composed them to fulfill their business functionalities. Many hosting services on the cloud, with different Quality of Service (QoS) (e.g., availability, cost), can be used to host the services. This is an example of competing services. QoS is crucial for the satisfaction of users. It is important to choose a set of services that maximize the overall QoS, and satisfy all QoS requirements for the service composition. This problem, known as optimal service selection, is NP-hard. Therefore, an effective method for reducing the search space and guiding the search process is highly desirable. To this end, we introduce a novel technique, called Probabilistic Hierarchical Refinement (ProHR). ProHR effectively reduces the search space by removing competing services that cannot be part of the selection. ProHR provides two methods, probabilistic ranking and hierarchical refinement, that enable smart exploration of the reduced search space. Unlike existing approaches that perform poorly when QoS requirements become stricter, ProHR maintains high performance and accuracy, independent of the strictness of the QoS requirements. ProHR has been evaluated on a publicly available dataset, and has shown significant improvement over existing approaches.

Software that support various groups of customers usually require complicated configurations to attain different functionalities. To model the configuration options, feature model is proposed to capture the commonalities and competing variabilities of the product variants in software family or Software Product Line (SPL). A key challenge for deriving a new product is to find a set of features that do not have inconsistencies or conflicts, yet optimize multiple objectives (e.g., minimizing cost and maximizing number of features), which are often competing with each other. Existing works have attempted to make use of evolutionary algorithms (EAs) to address this problem. In this work, we incorporated a novel feedback-directed mechanism into existing EAs. Our empirical results have shown that our method has improved noticeably over all unguided version of EAs on the optimal feature selection. In particular, for case studies in SPLOT and LVAT repositories, the feedback-directed Indicator-Based EA (IBEA) has increased the number of correct solutions found by 72.33% and 75%, compared to unguided IBEA. In addition, by leveraging a pre-computed solution, we have found 34 sound solutions for Linux X86, which contains 6888 features, in less than 40 seconds.

Service composition uses existing service-based applications as components to achieve a business goal. The composite service operates in a highly dynamic environment; hence, it can fail at any time due to the failure of component services. Service composition languages such as BPEL provide a compensation mechanism to rollback the error. But such a compensation mechanism has several issues. For instance, it cannot guarantee the functional properties of the composite service after compensation. In this work, we propose an automated approach based on a genetic algorithm to calculate the recovery plan that could guarantee the satisfaction of functional properties of the composite service after recovery. Given a composite service with large state space, the proposed method does not require exploring the full state space of the composite service; therefore, it allows efficient selection of recovery plan. In addition, the selection of recovery plans is based on their quality of service (QoS). A QoS-optimal recovery plan allows effective recovery from the state of failure. Our approach has been evaluated on real-world case studies, and has shown promising results.

Service composition makes use of existing service-based applications as components to achieve a business goal. In time critical business environments, the response time of a service is crucial, which is also reflected as a clause in service level agreements (SLAs) between service providers and service users. To allow the composite service to fulfill the response time requirement as promised, it is important to find a feasible set of component services, such that their response time could collectively allow the satisfaction of the response time of the composite service. In this work, we propose a fully automated approach to synthesize the response time requirement of component services, in the form of a constraint on the local response times, that guarantees the global response time requirement. Our approach is based on parameter synthesis techniques for real-time systems. It has been implemented and evaluated with real-world case studies.