Formalizing of web-services specifications using temporal logics

Formalizing of web-services specifications using temporal logics

<p>Issues related to improving the design of multiservice SOA networks are discussed. Issue of creation of complex services, their orchestration and choreography are considered. Problem arising when creating an integrated service is discussed. It is shown that the formal description of the ser...

Full description

Bibliographic Details
Main Authors: Mohammed Khodayer Hassan Al-Dulaimi, Aymen Mohammed Khodayer Al-Dulaimi
Format: Article
Language:English
Published: PC Technology Center 2015-03-01
Series:ScienceRise
Subjects:
Web-service
SOAP
WSDL
OASIS
verification
temporal logics
Computational Tree Logic
contradictions
Online Access:http://journals.uran.ua/sciencerise/article/view/38838

Internet

http://journals.uran.ua/sciencerise/article/view/38838

Similar Items