License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-25173
URL: http://drops.dagstuhl.de/opus/volltexte/2010/2517/
Go to the corresponding Portal


Toben, Tobe ; Westphal, Bernd ; Rakow, Jan-Hendrik

Spotlight Abstraction of Agents and Areas

pdf-format:
Document 1.pdf (109 KB)


Abstract

We present "spotlight abstraction" as a generic abstraction technique for the analysis of systems comprising an unbounded number of communicating agents. The abstraction principle is heterogeneous in the sense that the behaviour of a finite number of agents is preserved while the others are only abstractly represented. The precision of the abstraction can be tuned by an iterative procedure based on the analysis of counterexamples. Going beyond existing work, we show how to use the spotlight principle for analysing systems where the physical position of agents is relevant. To this end, we put the spotlight on areas rather than on fixed sets of agents.

BibTeX - Entry

@InProceedings{toben_et_al:DSP:2010:2517,
  author =	{Tobe Toben and Bernd Westphal and Jan-Hendrik Rakow},
  title =	{Spotlight Abstraction of Agents and Areas},
  booktitle =	{Quantitative and Qualitative Analysis of Network Protocols},
  year =	{2010},
  editor =	{Bengt Jonsson and J{\"o}rg Kreiker and Marta Kwiatkowska},
  number =	{10051},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2010/2517},
  annote =	{Keywords: Spotlight Abstraction, Verification, Dynamic Communication Systems}
}

Keywords: Spotlight Abstraction, Verification, Dynamic Communication Systems
Seminar: 10051 - Quantitative and Qualitative Analysis of Network Protocols
Issue Date: 2010
Date of publication: 13.04.2010


DROPS-Home | Fulltext Search | Imprint Published by LZI