Papers by Keyword: Parallel Composition

Abstract: This paper presents a construction of an automaton that aids the modeling of probabilistic processes which exhibit reversibility during their computations. A probabilistic process defines a probability distribution over the uncertainties of its computations. This characteristic also makes them distinct from nondeterministic processes. But, uncertainties hinder the assurance about the quality of such systems gained by the traditional testing methods. Further, reversibility acts as a catalyst in such scenarios by raising the possibility of achieving the states which were inaccessible in past. Thus, the verification of such systems is necessary and this requires the system to be formally specified. In this respect, proposed work provides the constructs for modeling probabilistic environments and reversibility. Former is achieved by the introduction of discrete probabilities in classical automata theory, and later is implemented by giving the constructs of memory. It also provides the constructs for representing non-determinism by specifying the choices over several probability mass functions for a state.

Abstract: Web service composition is very important in web service technology. Domain Ontology is used for semantic web service match and automatic web service composition. When a web service is registered, it will be related to the concepts in the domain ontology with its output concepts. To start a semantic match or composition starts, only the related web service with the annotated concept will be used. The approach can deal with not only the sequential but also the parallel service composition problems The proposed approach was verified by experiments and case studies.