Quellen

@InProceedings{cabac04:formal_semantics_for_AIP,
  author = 	 {Lawrence Cabac and Daniel Moldt},
  title = 	 {Formal Semantics for AUML Agent Interaction Protocol Diagrams},
  booktitle = 	 {Lecture Notes in Computer Science: Agent-oriented Software Engineering, New York, July 2004},
  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 =	 {July},
  publisher =	 Springer
}
	    

@PhdThesis{cabac03:diplomarbeit,
  author = 	 {Lawrence Cabac},
  title = 	 {Modeling Agent Interaction Protocols with AUML Diagrams and Petri Nets},
  school = 	 {University of Hamburg, Department of Computer Science},
  address =	 {Vogt-K\"olln Str. 30, 22527 Ham\-burg, Germany},
  year = 	 2003,
  month =   dec,
  type =	 {Diplomarbeit}
} 
	  

            
@Article{cabac03:awpn,
  author = 	 {Lawrence Cabac},
  title = 	 {Generating Code Structures for \mbox{Petri Net-Based} \mbox{Agent 
                  Interaction Protocols} Using \mbox{Net Components}},
  journal = 	 {Workshop: Algorithms and Tools for Petri Nets},
  year = 	 2003,
  key =		 {cabac03:awpn},
  month =	 {Sebtember},

  note =         {In this paper we introduce a straight forward approach for
                  generating Petri Net code structures from AUML agent interaction
                  protocol diagrams.  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 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 integrated
                  into Renew (The Reference Net Workshop).}  
  }
	    

@InProceedings{cabac03:_propos_struc_petri_net_based,
  author = 	 {Lawrence Cabac and Daniel Moldt and Heiko R{\"o}lke},
  title = 	 {A Proposal for Structuring Petri Net-Based Agent Interaction Protocols},
  booktitle = 	 {Lecture Notes in Computer Science: 24th International Conference on 
                  Application and Theory of Petri Nets, Eindhoven, Netherlands, June 2003},
  year =	 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.},
  month =	 {June},
  publisher =	 Springer
}
	    

@PhdThesis{cabac02:sa,
  author = 	 {Lawrence Cabac},
  title = 	 {Entwicklung von geometrisch unterscheidbaren Komponenten zur 
                  Vereinheitlichung von Mulan-Protokollen},
  school = 	 {Universit\"at Hamburg},
  year = 	 2002,
  type =	 {Studienarbeit}
}