•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?