Middle-Agents Interactions as Finite State Processes: Overview and Example

We propose the use of finite state process algebra for modeling interactions between requesters, providers and middle-agents in global environments like the Internet. The results are threefold: i) precise specification of interactions depending on type of middle-agent; ii) understanding the requirements of parties involved in interactions; iii) im- provement of communication between designers and devel- opers and enable of formal verification.