DocumentCode
1775239
Title
Methods for specification and verification of complex web-services
Author
Tkachova, Elena ; Isaam, Saad
Author_Institution
Telecommun. Syst. Dept., Kharkiv Nat. Univ. of Radioelectron., Kharkov, Ukraine
fYear
2014
fDate
14-17 Oct. 2014
Firstpage
88
Lastpage
89
Abstract
This is formalisms for defining of rules of Web-services orchestration and choreography that allows to combine elements of a distributed system in a single system. Proposed approach allows to perform formal association of individual system components into a single unit. Proposed verification method for distributed systems based on the model approach.
Keywords
Web services; formal specification; formal verification; Web-service choreography rules; Web-service orchestration rules; complex Web-service specification method; complex Web-service verification method; distributed system; formal system component association; model approach; Organizations; Process control; Protocols; Semantics; Service-oriented architecture; Web-service; choreography; modeling language; orchestration; verification;
fLanguage
English
Publisher
ieee
Conference_Titel
Infocommunications Science and Technology, 2014 First International Scientific-Practical Conference Problems of
Conference_Location
Kharkov
Print_ISBN
978-1-4799-7342-2
Type
conf
DOI
10.1109/INFOCOMMST.2014.6992308
Filename
6992308
Link To Document