Bibliography

Formal Semantics for AUML Agent Interaction Protocol Diagrams

Lawrence Cabac and Daniel Moldt.
Formal semantics for AUML agent interaction protocol diagrams.
In James Odell, Paolo Giorgini, and Jörg P. Müller, editors, The Fifth International Workshop on Agent-Oriented Software Systems (AOSE-2004). Proceedings, pages 97-111, New York, USA, July 2004. Columbia University.  [link]

In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the usage of net components which provide basic tasks and the structure for Petri Nets. Agent interaction protocol diagrams are used to model agent conversations on an abstract level. By mapping elements of the diagrams to net components we are able to translate the diagrams into Petri nets, i.e to generate code structures from the drawings. We provide tool support for this approach by combining a tool for net components with a tool for drawing agent interaction protocol diagrams. This combined tool is available as a plug-in for Renew (Reference Net Workshop).

BibTeX

@InProceedings{Cabac+04a,
  author =  {Cabac, Lawrence and Moldt, Daniel},
  title =  {Formal Semantics for {AUML} Agent Interaction Protocol
                  Diagrams},
  booktitle =  {The Fifth International Workshop on Agent-Oriented
                  Software Systems (AOSE-2004).  Proceedings},
  editor =  {Odell, James and Giorgini, Paolo and M{\"u}ller, J{\"o}rg
                  P.},
  year =  2004,
  abstract =  {In this paper we introduce an approach for defining
                  semantics for AUML agent interaction protocol diagrams
                  using Petri net code structures. This approach is based
                  on the usage of net components which provide basic tasks
                  and the structure for Petri Nets. Agent interaction
                  protocol diagrams are used to model agent conversations
                  on an abstract level. By mapping elements of the diagrams
                  to net components we are able to translate the diagrams
                  into Petri nets, i.e to generate code structures from the
                  drawings. We provide tool support for this approach by
                  combining a tool for net components with a tool for
                  drawing agent interaction protocol diagrams. This
                  combined tool is available as a plug-in for Renew
                  (Reference Net Workshop).},
  month =  jul,
  pages =  {97--111},
  publisher =  {Columbia University},
  address =  {New York, USA},
  url =  {http://dx.doi.org/10.1007/978-3-540-30578-1_4},
  annote =  {Filename: semantics.tex}
}