DocumentCode
2839255
Title
Checking Compatibility of Web Services Using SOGs
Author
Klai, Kais ; Ochi, Hanen
fYear
2012
fDate
24-29 June 2012
Firstpage
670
Lastpage
671
Abstract
This work deals with services composition. We propose an approache based on Symbolic Observation Graphs (SOG) allowing to decide whether two (ore more) web services can cooperate safely. The compatibility between two web services is defined by the well known soundness property on open workflow nets and checked on the composition of SOGs instead of the original web services composition. This allows to respect the privacy of the services since SOGs are base on collaborative activities only and hide the internal structure and behavior of the corresponding service.
Keywords
Web services; graph theory; SOG composition; Web service checking compatibility; collaborative activity; open workflow nets; service behavior; service composition; service oriented architecture; service structure; soundness property; symbolic observation graph; Abstracts; Aggregates; Collaboration; Privacy; Service oriented architecture; System recovery; Web services; modular verification; soundness;
fLanguage
English
Publisher
ieee
Conference_Titel
Web Services (ICWS), 2012 IEEE 19th International Conference on
Conference_Location
Honolulu, HI
Print_ISBN
978-1-4673-2131-0
Type
conf
DOI
10.1109/ICWS.2012.113
Filename
6257949
Link To Document