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.

Authors

Khouloud Boukadi

This author has not been identified. Look up 'Khouloud Boukadi' in Google

Chirine Ghedira

This author has not been identified. Look up 'Chirine Ghedira' in Google

Zakaria Maamar

This author has not been identified. Look up 'Zakaria Maamar' in Google

Djamal Benslimane

This author has not been identified. Look up 'Djamal Benslimane' in Google