Issues
•If it is about process external description then what can we do with process external descriptions?
•Is it all about compatibility checks?
–I can connect this to that without any problems in semantics or syntax.
–Does this make it query driven over the description?
–What level of expressiveness is required to support this?
–General bi-simulations are not decidable?
•Do transactions have a role in a public service description?