Title :
Checking Compatibility of Web Services Using SOGs
Author :
Klai, Kais ; Ochi, Hanen
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;
Conference_Titel :
Web Services (ICWS), 2012 IEEE 19th International Conference on
Conference_Location :
Honolulu, HI
Print_ISBN :
978-1-4673-2131-0
DOI :
10.1109/ICWS.2012.113
