Bibliography
Integrating Verification into the PAOSE Approach
Marcin Hewelt, Thomas Wagner, and Lawrence Cabac
.
Integrating verification into the PAOSE approach.
In Duvigneau et al. (eds.), Petri Nets and Software Engineering. International Workshop PNSE'11, Newcastle upon Tyne, UK, June 2011. Proceedings, pages 124-135.
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.
BibTeX entry
@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 Notice
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
