Samenvatting
E-contracting, i.e., establishing and enacting electronic contracts, has become important because of technological advances (e.g., the availability of web services) and more open markets. However, the establishment of an e-contract is complicated and error prone. There are multiple negotiation styles ranging from auctions to bilateral bargaining. This paper provides an approach for modeling multi-party negotiation protocols in colored Petri nets. It is shown how different negotiation styles can be modeled in a unified and consistent way. Moreover, CPN Tools is used to analyze the resulting colored Petri nets. Simulation can be used for both validation and performance analysis, while state-space analysis can be used to discover anomalies in various multi-part negotiation protocols.
| Originele taal-2 | Engels |
|---|---|
| Titel | Proceedings of the 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 22-24 October 2007, Aarhus, Denmark |
| Redacteuren | K. Jensen |
| Plaats van productie | Aarhus |
| Uitgeverij | Department of Computer Science |
| Pagina's | 29-48 |
| Status | Gepubliceerd - 2007 |
| Evenement | 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN '07), October 22-24, 2007, Aarhus, Denmark - Aarhus, Denemarken Duur: 22 okt. 2007 → 24 okt. 2007 http://daimi.au.dk/CPnets/proxy.php?url=/CPnets/workshop07/index |
Workshop
| Workshop | 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN '07), October 22-24, 2007, Aarhus, Denmark |
|---|---|
| Verkorte titel | CPN '07 |
| Land/Regio | Denemarken |
| Stad | Aarhus |
| Periode | 22/10/07 → 24/10/07 |
| Ander | CPN'07 Workshop and tutorial on practical use of colored petri nets and the CPN tools |
| Internet adres |