Methods for specification and verification of complex web-services
Tkachova Elena, Saad Isaam · 2014
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.