Title :
Middle-Agents Interactions as Finite State Processes: Overview and Example
Author :
Amelia Badica;Costin Badica;Valentin Litoiu
Author_Institution :
Univ. of Craiova, Craiova
fDate :
6/1/2007 12:00:00 AM
Abstract :
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.
Keywords :
"Algebra","Formal verification","Software tools","Internet","Information analysis","Joining processes","Virtual environment","Electronic learning","Knowledge acquisition","Computer languages"
Conference_Titel :
Enabling Technologies: Infrastructure for Collaborative Enterprises, 2007. WETICE 2007. 16th IEEE International Workshops on
Print_ISBN :
0-7695-2879-1;978-0-7695-2879-3
DOI :
10.1109/WETICE.2007.4407119
