Bibliographie
Integrating Verification into the PAOSE Approach
Marcin Hewelt, Thomas Wagner, and Lawrence Cabac
.
Integrating verification into the PAOSE approach.
In Duvigneau et al. (Hrsg.), Petri Nets and Software Engineering. International Workshop PNSE'11, Newcastle upon Tyne, UK, June 2011. Proceedings, pages 124-135.
Kurzfassung: The PAOSE approach to software engineering combines Petri nets with the paradigm of agent-orientation and utilises the agent metaphor to structure large software systems and their development. Up until now the PAOSE approach only exhibited aspects of verification in a rudimentary way. This is due to the complexity of the systems to be verified on the one hand, and the expressiveness of the employed Petri net formalism of reference nets on the other hand. This contribution deals with enhancing the tool support for PAOSE in this regard.
We present how we technically integrate the functionality of LoLA, a sophisticated verification tool, into Renew, the development and runtime environment that backs PAOSE. Furthermore we sketch how structural aspects of multi-agent systems developed with the agent framework of Mulan can be exploited for verification. The results of the integration are applied in the context of distributed network security for the Herold research project.
BibTeX-Eintrag
@InProceedings{Hewelt+11,
author = {Hewelt, Marcin and Wagner, Thomas and Cabac, Lawrence},
title = {Integrating Verification into the {PAOSE} Approach},
crossref = {Duvigneau+-e-11},
pages = {124-135},
year = 2011,
abstract = {The PAOSE approach to software engineering combines Petri
nets with the paradigm of agent-orientation and utilises
the agent metaphor to structure large software systems
and their development. Up until now the PAOSE approach
only exhibited aspects of verification in a rudimentary
way. This is due to the complexity of the systems to be
verified on the one hand, and the expressiveness of the
employed Petri net formalism of reference nets on the
other hand. This contribution deals with enhancing the
tool support for PAOSE in this regard.
We present how we technically integrate the functionality
of LoLA, a sophisticated verification tool, into Renew,
the development and runtime environment that backs PAOSE.
Furthermore we sketch how structural aspects of
multi-agent systems developed with the agent framework of
Mulan can be exploited for verification. The results of
the integration are applied in the context of distributed
network security for the Herold research project.}
}
@Proceedings{Duvigneau+-e-11,
title = {{Petri} Nets and Software Engineering.
International Workshop PNSE'11,
Newcastle upon Tyne, UK, June 2011.
Proceedings},
booktitle = {{Petri} Nets and Software Engineering.
International Workshop PNSE'11,
Newcastle upon Tyne, UK, June 2011.
Proceedings},
editor = {Duvigneau, Michael and Moldt, Daniel and Hiraishi, Kunihiko},
month = jun,
year = 2011,
volume = 723,
series = {CEUR Workshop Proceedings},
ISSN = {1613-0074},
publisher = {CEUR-WS.org},
url = {http://CEUR-WS.org/Vol-723},
urn = {urn:nbn:de:0074-723-C}
}
Copyright-Hinweis
Diese Informationen werden zur Verfügung gestellt, um technische und Forschungsarbeiten zeitnah bekannt zu geben. Das Urheberrecht und alle damit verbundenen Rechte verbleiben bei den Autoren bzw. anderen Rechteinhabern. Von jedem, der Informationen dieser Seiten übernimmt, wird erwartet, dass er sich an die jeweiligen Bedingungen und Beschränkungen der Rechteinhaber hält. Meist bedeutet dies, dass die hier bereitgestellten Daten nicht ohne explizite Genehmigung der Rechteinhaber weiterveröffentlicht werden dürfen.
