Verification Method of Complex Web-Services

Tkachova Elena, Issam Saad and Abdulghafoor Raed Yahya

Journal of Future Internet, 2014, vol. 1, issue 1, 1-15

Abstract: In the article proposed formalisms for defining 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. E-networks are models for verification of distributed systems. Web-service’s safety check is performed by finding deadlock conditions or any deviation from the specification process. This method allows taking into account the asynchronous nature of complex services and also performing stateful inspection: check for different Web-service consistency, check orchestration and choreography compatibility requirements for each service.

Keywords: Web-service; E-network; Verification; Distributed system; Service-oriented architecture; Formal language (search for similar items in EconPapers)
Date: 2014
References: Add references at CitEc
Citations:

Downloads: (external link)
https://archive.conscientiabeam.com/index.php/102/article/view/2497/3846 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:pkp:jofint:v:1:y:2014:i:1:p:1-15:id:2497

Access Statistics for this article

More articles in Journal of Future Internet from Conscientia Beam
Bibliographic data for series maintained by Dim Michael ().