An ontology for mobile agents in the context of formal verification

Authors:
Paulo Salem da Silva;Ana Cristina Vieira de Melo
Affiliations:
Department of Computer Science, University of São Paulo, São Paulo, Brazil;Department of Computer Science, University of São Paulo, São Paulo, Brazil
Venue:
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Year:
2005

Citing 9
Cited 0

A translation approach to portable ontology specifications

Knowledge Acquisition - Special issue: Current issues in knowledge modeling
The reflexive CHAM and the join-calculus

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
PI-Calculus: A Theory of Mobile Processes

PI-Calculus: A Theory of Mobile Processes
A Calculus of Mobile Agents

CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Verifying Mobile Processes in the HAL Environment

CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Mobile Ambients

FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Artificial Intelligence: A Modern Approach

Artificial Intelligence: A Modern Approach
Understanding Agent Systems

Understanding Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The increasing interest of developing and formally studying mobile agents has taken place in the last decade. Several formalisms and tools have been created to aid this enterprise. However, tools are mostly developed in isolation and, therefore, are hard to use together. The present work is an attempt to make such integration easier, through the provision of a common ‘language’ – an ontology – for verification tools reasoning about mobile agents.