Modeling and Verifying Agent-Based Communities of Web Services. - Wan, Wei; Bentahar, Jamal; Hamza, Abdessamad Ben (2010)