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

Authors:
Amelia Bădică;Costin Bădică
Affiliations:
University of Craiova, Craiova, Romania 200585;University of Craiova, Craiova, Romania 200585
Venue:
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Year:
2008

Citing 5
Cited 1

Patterns in property specifications for finite-state verification

Proceedings of the 21st international conference on Software engineering
Brokering and matchmaking for coordination of agent societies: a survey

Coordination of Internet agents
Concurrency: State Models And Java Programs

Concurrency: State Models And Java Programs
Agent Technology For E-Commerce

Agent Technology For E-Commerce
Middle-Agents Interactions as Finite State Processes: Overview and Example

WETICE '07 Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises

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

In this note we propose a rigorous analysis of interactions of requesters and providers with matchmakers and front-agents based on formal specification and verification using FSP process algebra and FLTL temporal logic.