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

Authors:
Amelia Badica;Costin Badica;Valentin Litoiu
Affiliations:
-;-;-
Venue:
WETICE '07 Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
Year:
2007

Citing 0
Cited 2

Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods

AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
FSP and FLTL framework for specification and verification of middle-agents

International Journal of Applied Mathematics and Computer Science - Semantic Knowledge Engineering

Quantified Score

Hi-index	0.00

Visualization

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) im- provement of communication between designers and devel- opers and enable of formal verification.