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.  [link]

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,
  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-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.