We propose a structural operational semantics for mobile and distributed agents. From it we derive a stochastic transition system labelled by actions and their costs. These costs reflect the (net) architecture on which agents run. We then map stochastic transition systems to Markov chains, and performance evaluation is carried out using standard tools. The results of our approach are shown to agree with the ones obtained via classical evaluation techniques on a case study involving mobile computation.
Semantic-driven Performance Evaluation
PRIAMI CORRADO;DEGANO, PIERPAOLO
1999-01-01
Abstract
We propose a structural operational semantics for mobile and distributed agents. From it we derive a stochastic transition system labelled by actions and their costs. These costs reflect the (net) architecture on which agents run. We then map stochastic transition systems to Markov chains, and performance evaluation is carried out using standard tools. The results of our approach are shown to agree with the ones obtained via classical evaluation techniques on a case study involving mobile computation.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.