We propose a model-based black-box testing approach to test conformance of Web Service Compositions (WSC). When a WSC under test makes use of implementations of Web Services, two situations may occur: either communications between the WSC and the Web Services are observable or hidden internal actions. We show by means of an example how to generate test cases whose verdicts are provided with exp...

Web service composition (WSC) – loosely, the composition of web-accessible software systems – requires a computer program to automatically select, integrate, and invoke multiple web services in order to achieve a user-defined objective. It is an example of the more general task of composing business processes or component-based software. Our doctoral research endeavours to make fundamental cont...

Thanks to recent advances, AI Planning has become the underlying technique for several applications. Amongst these, a prominent one is automated Web Service Composition (WSC). One important issue in this context has been hardly addressed so far: WSC requires dealing with background ontologies. The support for those is severely limited in current planning tools. We introduce a planning formalism...

Probabilistic assessment of voltage stability margin (VSM) with existence of correlated wind speeds is investigated. Nataf transformation is adopted to establish wind speed correlation (WSC) model. Based on the saddle-node bifurcation transversality condition equations and Monte Carlo simulation technique, probability distribution of VSM is determined. With correlation coefficients range low to...

One kind of semantic web service composition method based on description logic (DL) rule is introduced in this paper. We use DL rule to figure out the hyponymy relationship between concepts in domain ontology and model web service functional semantic of ServiceProfile, and define service DL rule (R1, R2 and R3) corresponding to sequence, split and join composition structure of GroundProfile res...

We will investigate scalable algorithms for automated Semantic Web Service Composition (WSC). Our notion of WSC is very general: it allows the generation of new constants by Web service outputs; the composition semantics includes powerful background ontologies; and we use the most general notion of matching, partial matches, where several services can cooperate each covering only a part of a re...

The genetic and physiological mechanisms underlying the relationship between water-soluble carbohydrates (WSC) and water stress tolerance are scarcely known. This study aimed to evaluate the main WSC in stems, and the expression of genes involved in fructan metabolism in wheat genotypes growing in a glasshouse with water stress (WS; 50% field capacity from heading) and full irrigation (FI; 100%...

OBJECT The purpose of this case review was to identify and analyze existing wrong-site craniotomy (WSC) cases to determine the factors that contributed to the errors and to suggest preventative strategies for WSC. Wrong-site surgery (WSS) is a devastating surgical error that has gained increased public attention in recent years due to some high-profile cases. Despite the implementation of preve...

Using workstation clusters (WSCs) is a practical and cost-e ective means of parallel computing. Fast workstations, using the latest RISC technology, can be assigned as computation nodes, however, communication between nodes is rather slow when using Ethernet. Recently, fast communication adaptors[2] have been developed, and the speed problem is being solved. We have developed a WSC called the R...

The Winograd Schema Challenge (WSC) is a pronoun resolution task for which deep semantic knowledge is required to achieve high performance. Until now it has been assumed that human performance on the WSC is nearly at ceiling, but evidence for this has been mainly anecdotal. Here we present the results of a large online experiment that both establishes a baseline for human performance on the WSC...