Specification and Verification of Safe Web Service Behavior Adaptation

Behavior adaptation of Web service uses an adaptor to coordinate the interaction of Web services and solves behavior mismatch. An automatic and safe approach of Web service behavior adaptation is proposed. Firstly, the model and framework of Web service behavior adaptation is given. Then, the formal...

Full description

Saved in:
Bibliographic Details
Main Authors: Xiong Xie, Weishi Zhang, Huawei Zhai, Licheng Cui, Jinyu Shi
Format: Conference Proceeding
Language:English
Subjects:
Adaptation model
adaptor
behavior mismatch
Finite element methods
Protocols
Safety
Silicon
Software engineering
Web service interaction
Web services
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Behavior adaptation of Web service uses an adaptor to coordinate the interaction of Web services and solves behavior mismatch. An automatic and safe approach of Web service behavior adaptation is proposed. Firstly, the model and framework of Web service behavior adaptation is given. Then, the formal specification of service behavior and the definition of adaptor are given. The safety of service behavior adaptation is verified. The checking approach of behavior mismatch and the calculating approach of adaptor behavior are specified formally. At last, a case is studied to verify the validity of the approach proposed in this paper.
ISSN:2168-3034
DOI:10.1109/PAAP.2010.27