Current state of WSMO Choreography and Orchestration

Notions of matching• What does it mean that two capabilities match?– Partly defined, but open questions around semantics forcapabilities• What does it mean that 2 choreographies match?– Basically what needs to be proved is that in all trajectories ofservice x , all trajectories of service y provide necessary input orconsume output of the other service– Process algebras have bi-simulation– How does this extend to collaborations/interleaving of multipleservices26