A solution method for solving Markov chains for a class of stochastic process algebra terms is presented. The solution technique is based on a reformulation of the underlying continuous-time Markov chain (CTMC) in terms of semi-Markov processes. For the reformulation only local information about the processes running in parallel is needed, and it is therefore never necessary to generate the com...

the notion of infinite order markov process is introduced and the markov property of the flow of information is established.

A one-dimensional process with continuous trajectories on a non-negative semiaxis is considered. The has the Markov property respect to first exit time from any open interval (semi-Markov process). This called diffusion if probability of its symmetric neighborhood initial point across boundary tends 1/2 as length this zero. distribution zero up beginning final constancy investigated. depends se...

Web service which is a kind of component on the Internet shows good encapsulation, loosely coupled and cross-platform. However, the single Web service has inevitable limitations in functionality; it can’t provide people with more function and complex service. In order to reduce the cost and time of developing, and achieve services value-added and reuse, we need to combine existing services to f...