Service choreography in semantic service-oriented architecture

Basic concepts and architecture's components which are using in decision of service's choreography problem in the semantic service-oriented architecture are introduse in the article. The decision algorithm of the service choreography problem has been developed, which lets find and integrate service-oriented system's components, necessary to fulfil system's query. The algorithm uses semantic register's model, presented in the form of Petri net and analyzing net's accessibility tree to find the compliance of service's semantic annotations and system's query semantic description.