On 2/15/2012 9:42 PM, David Holmes wrote: >> >> If there are 3 different modules PS1, PS2, PS3 providing the >> implementation of service S, it'd be like: >> module M { >> requires PS1; >> requires PS2; >> requires PS3; >> } > > Do you mean that PS1, PS2 and PS3 all combine to provide service S? Or > that they each provide service S? The latter. Mandy