Bibliografía

Integrating Verification into the PAOSE Approach

Marcin Hewelt, Thomas Wagner, and Lawrence Cabac .
Integrating verification into the PAOSE approach.
In Duvigneau et al. (ed.), Petri Nets and Software Engineering. International Workshop PNSE'11, Newcastle upon Tyne, UK, June 2011. Proceedings, pages 124-135.  [link]

Resumen: 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 registro

@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,
  url = {http://ceur-ws.org/Vol-723/paper9.pdf},
  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.