Middle-Agents Interactions as Finite State Processes: Overview and Example
Amelia Bădică, Costin Bădică, Valentin Litoiu · Workshops on Enabling Technologies: Infrastracture for Collaborative Enterprises · 2007
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) improvement of communication between designers and developers and enable of formal verification.