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
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;
Conference_Titel :
Infocommunications Science and Technology, 2014 First International Scientific-Practical Conference Problems of
Conference_Location :
Kharkov
Print_ISBN :
978-1-4799-7342-2
DOI :
10.1109/INFOCOMMST.2014.6992308
