In component-based systems, two components are compatible if all possible sequences of services requested by one component can be provided by the other component. Verification of component compatibility is essential in large software systems as otherwise subtle software failures can exist which are difficult to detect through software testing. For verification of compatibility, the behavior of ...

In Differentiated Services networks, packets may receive a different treatment according to their Differentiated Services Code Point (DSCP) label. As a consequence, packet marking schemes can be devised to differentiate packets belonging to a same TCP flow, with the goal of improving the experienced performance. This paper presents an extensive performance evaluation of a new adaptive packet ma...

Service Oriented Architecture (SOA) enables cooperation in an open and highly concurrent context. In this paper, we investigate the management of personal information by an SOA service consumer while invoking composed services, where we will study the balance between quality of service (that works better when provided with our personal data) and the consumer’s data access policy.We present a se...

When creating service compositions from a very large number of atomic service operations, it is inherently difficult for the modeler to discover suitable operations for his particular goal. Automated service composition claims to solve this problem, but only works if complete and correct ontologies alongside with service descriptions are in place. In this paper, we present a semi-automated mode...

With the introduction of services, software systems have become more flexible as new services can easily be composed from existing ones. Service composition frameworks offer corresponding functionality and hide the complexity of the underlying technologies from their users. However, possibilities for anticipating quality properties of composed services before their actual operation are limited ...

Grid services and web services have similarities but also significant differences. Although conceived for web services, it is seen how BPEL (Business Process Execution Logic) can be used to orchestrate a collection of grid services. It is explained how CRESS (Chisel Representation Employing Systematic Specification) has been extended to describe grid service composition. The CRESS descriptions ...

the present research endeavors to discover similarities and differences among digital libraries in iran and to clarify the extent of their consistency in terms of main library requisites. using a qualitative -quantitative method, i.e. a survey research method using content analysis, it identifies iranian digital libraries (idls) and explores their characteristics. reviewing the literature, we i...

Recent studies show the increasing popularity of distributed cloud applications, which are composed of multiple microservices. Besides their known benefits, microservice architecture also enables to mix and match cloud applications and Network Function Virtualization (NFV) services (service chains), which are composed of Virtual Network Functions (VNFs). Provisioning complex services containing...

The emerging trend in process management and in service oriented applications is to enable the composition of new distributed processes on the basis of user requests, through (parts of) available (and often embedded in the environment) services to be composed and orchestrated in order to satisfy such requests. Here, we consider a user process as specified in terms of repeated goals that the use...