Professional Documents
Culture Documents
Abstract — This is formalisms for defining of rules of process, operations to execute, messages to exchange as
Web-services orchestration and choreography that allows to well as the timing of message exchanges [3, 4].
combine elements of a distributed system in a single system.
Proposed approach allows to perform formal association of Complex services are composed of several atomic ser-
individual system components into a single unit. Proposed vices united in accordance with defined structure (scenar-
verification method for distributed systems based on the io). These scenarios represent the execution order of atomic
model approach. services in the composition of the complex. In Figure 1
depict five major operators which can be described by the
Keywords: Web-service, verification, orchestration, complex structure of the service: serial, parallel, condition-
choreography, modeling language al, loop and failover.
S2
I. INTRODUCTION S1 S2 S3
p1
S4
S1
In recent years the main trend in the business field is to Serial composite service p2 S3
transfer many processes in the global multiservice net- Conditional Composite service
works. Web-services are used to distribute different type of S2 p1+ p2+…+ pn=1
1
services over the Internet. Technical realization of such S1 S4
1
S2 S1