Group
THEORETICAL FOUNDATIONS OF COMPUTER SCIENCE


Bibliography

A Proposal for Structuring Petri Net-Based Agent Interaction Protocols


----------
[Intern]
Diese Seite ist auch in Deutsch verfügbar. English version. Cette page n'existe pas en Français. Ésta página no existe en Español.


Lawrence Cabac , Daniel Moldt, and Heiko Rölke.
A proposal for structuring Petri net-based agent interaction protocols.
In Wil van der Aalst and E. Best, editors, 24th International Conference on Application and Theory of Petri Nets, Eindhoven, Netherlands, June 2003, volume 2679 of Lecture Notes in Computer Science, pages 102-120. Springer-Verlag, June 2003.

Abstract: In this paper we introduce net components as means to structure Petri net based agent interaction protocols. We provide a tool for easy application of net components to nets. By this we facilitate the construction of nets and unify their look. Net components can be used to derive code for interaction protocols from a subset of extended AUML interaction protocol diagrams. This allows for a smooth integration of some traditional software development specification approaches with high-level Petri nets. By using net components we do not only unify the structure of Mulan agent protocols but also achieve to build a common language within a developers community who share the net components.


BibTeX entry



@InProceedings{Cabac+03,
  author =      {Cabac, Lawrence and Moldt, Daniel and R{\"o}lke, Heiko},
  title =           {A Proposal for Structuring {Petri} Net-Based Agent Interaction Protocols},
  booktitle =   {24th International Conference on Application and Theory of {Petri}
                        Nets, Eindhoven, Netherlands, June 2003},
  editor =        {Aalst, Wil van der and Best, E.},
  pages =        {102--120},
  year =           2003,
  volume =      2679,
  series =         LNCS,
  abstract =     {In this paper we introduce net components as means to structure
                        Petri net based agent interaction protocols. We provide a tool for
                        easy application of net components to nets. By this we facilitate
                        the construction of nets and unify their look. Net components can
                        be used to derive code for interaction protocols from a subset of
                        extended AUML interaction protocol diagrams. This allows for a
                        smooth integration of some traditional software development
                        specification approaches with high-level Petri nets. By using net
                        components we do not only unify the structure of Mulan agent protocols
                        but also achieve to build a common language within a developers
                        community who share the net components.},
  month =       jun,
  publisher =  Springer
}


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.


----------

>  [Staff] [Publications] [TGI]  <


Last Change: 12:24 09/29/2009
Imprint/Disclaimer