The l-calculus theory is about modeling systems which have no or little interactions with their environment. On the contrary, the p-calculus theory developed by Robin Milner in the late 1980s is about modeling concurrent communicating systems. This theory also takes into account the notion of "mobility" which can either be physical or, as in the case of B2B, virtual (movement of links between systems). I think we can actually relate the mobility to the notion of "change": change of business partner, business document format, capabilities, etc. Any modification of an existing relationship between two companies may be associated with mobility, such as the dynamic binding
with a partner that was not known at design time.
References
- Wil van der Aalst, Pi Calculus Versus Petri Nets.
pdf
Related
Links
BPMN
b_bprimal