FSP and FLTL framework for specification and verification of middle-agents
Amelia Bădică, Costin Bădică (2011)
International Journal of Applied Mathematics and Computer Science
Similarity:
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of requester with provider agents requires the use of specialized agents known as middle-agents. In this paper, we propose a formal framework intended to precisely characterize types of middle-agents with a special focus on matchmakers, brokers and front-agents by formally modeling their interactions with requesters...