Specification and Verification of Views over Composite Web Services Using High Level Petri-Nets