runtime changes for services

[David Holmes]

On 16/02/2012 3:52 PM, Mandy Chung wrote:
> 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.

Then in that case don't you want those requires clauses to be a 
disjunction rather than a conjunction? Else it appears M requires all 
three implementations of service S.

David

> Mandy