A formal model for mobile agent systems using Z

Summary form only given. This paper proposes a formal definition of a conceptual model for mobile agent systems. This works constitute a part of a general research project aiming at defining a generic interaction model that covers the different facets of the cooperative activity among mobile agent b...

Full description

Saved in:
Bibliographic Details
Main Authors: Loulou, M., Kacem, A.H., Jmaiel, M.
Format: Conference Proceeding
Language:English
Subjects:
Cloning
Communication system security
Electronic mail
Formal specifications
Laboratories
Logic
Mobile agents
Mobile communication
Process design
Specification languages
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Summary form only given. This paper proposes a formal definition of a conceptual model for mobile agent systems. This works constitute a part of a general research project aiming at defining a generic interaction model that covers the different facets of the cooperative activity among mobile agent based systems. We propose a framework for the specification of interaction mechanisms among mobile agent systems. Doing so, and using the Z notation, we bring closer the concepts describing a mobile agent systems and the cooperative activity while integrating them with the concepts related to the agent migration. The syntax and the semantic of proposed specifications have been checked using the Z-EVES tool.
ISSN:2161-5322
2161-5330
DOI:10.1109/AICCSA.2005.1387102