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

Khouloud Boukadi, Chirine Ghedira, Zakaria Maamar, Djamal Benslimane. Specification and Verification of Views over Composite Web Services Using High Level Petri-Nets. In Jorge Cardoso, José Cordeiro, Joaquim Filipe, editors, ICEIS 2007 - Proceedings of the Ninth International Conference on Enterprise Information Systems, Volume SAIC, Funchal, Madeira, Portugal, June 12-16, 2007. pages 107-112, 2007.

Abstract

Abstract is missing.