Re: Collaboration Services (was: Business Service Interface)

[Nikola Stojanovic <nhomest1@twcny.rr.com>]

<Bob Haugen>
The ordering or choreography relationships that are most interesting to me
are those that have clear business logic behind them, often in the form of
pre and post conditions. For example, a prepayment business collaboration
contract would mean the payment must arrive before the delivery. Economic
events that fulfill commitments would be expected to occur after their
respective commitments. Or another way, the states of a negotiation could be
choreographed by a state machine.

</Bob Haugen>

I would say that "ordering or choreography relationships" like "must arrive
before" and "expected to occur after"  are "Temporal constraints". Also,
would we agree that it might be rather "Interactive machines, Interaction
policies, ..." then "State machines"?
Yes, ordering might not be enough for constraints like:
- max, min or exact time between event a and event b has to be n time
units",
- choice -> branching/merging for "Conctrained forests",
- potential eventuality.

Regards,
Nikola