I talk about the problem of analyizing the interaction
between BPEL processes. I present a technology chain that starts
out with a BPEL processes and transformed into a petri nets or to
an open work flow nets. Using the theory of Controllability and
the theory of operating guidline. In the presentation I give you
an example to demonstrate this technology chain.