Struktura obiektu

Autor:

Bădică, Amelia ; Bădică, Costin

Współtwórca:

Korbicz, Józef - red. ; Uciński, Dariusz - red.

Tytuł:

FSP and FLTL framework for specification and verification of middle-agents

Tytuł publikacji grupowej:

AMCS, Volume 21 (2011)

Temat i słowa kluczowe:

multi-agent system ; interaction protocol ; process algebra ; formal specification

Abstract:

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 and providers. Our approach is based on capturing interaction protocols between requesters, providers and middle-agents as finite state processes represented using FSP process algebra ; The resulting specifications are formally verifiable using FLTL temporal logic. The main results of this work include (i) precise specification of interaction protocols depending on the type of middle-agent (this can also be a basis for characterizing types of middle-agents), (ii) improvement of communication between designers and developers and facilitation of formal verification of agent systems, (iii) guided design and implementation of agent-based software systems that incorporate middle-agents.

Wydawca:

Zielona Góra: Uniwersytet Zielonogórski

Data wydania:

2011

Typ zasobu:

artykuł

DOI:

10.2478/v10006-011-0001-6

Strony:

9-25

Źródło:

AMCS, Volume 21, Number 1 (2011) ; kliknij tutaj, żeby przejść

Jezyk:

eng

Prawa do dysponowania publikacją:

Biblioteka Uniwersytetu Zielonogórskiego