DocumentCode
3538585
Title
Controllability Preservation and Behavioural Refinement for Service Protocols
Author
Hameurlain, N.
Author_Institution
LIUPPA Lab., Univ. of Pau, Pau, France
fYear
2012
fDate
6-8 Dec. 2012
Firstpage
203
Lastpage
210
Abstract
In this paper, we provide a new compositional framework for specifying controllability and refinement of service protocols interacting asynchronously. First, we investigate necessary and sufficient conditions for protocols controllability. Then, we give sufficient conditions for preserving controllability of protocols by asynchronous composition. Finally, we propose two protocols refinement relations and show the soundness of our formal framework: independent implement ability of protocols together with the preservation of controllability under protocols by refinement.
Keywords
protocols; service-oriented architecture; asynchronous composition; behavioural refinement; formal framework:; protocol controllability preservation; service protocol refinement; service-oriented computing; Controllability; Labeling; Manganese; Protocols; Semantics; Servers; Sufficient conditions; asynchronous composition; compatibility; controllability; refinement; service protocols;
fLanguage
English
Publisher
ieee
Conference_Titel
Services Computing Conference (APSCC), 2012 IEEE Asia-Pacific
Conference_Location
Guilin
Print_ISBN
978-1-4673-4825-6
Type
conf
DOI
10.1109/APSCC.2012.60
Filename
6478217
Link To Document