Skip to main content
SpringerLink
Log in

A Petri-Net-Based Modeling Framework for Automated Negotiation Protocols in Electronic Commerce

  • Conference paper
Multi-Agent Systems for Society (PRIMA 2005)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4078))

Included in the following conference series:

Abstract

A negotiation protocol is a specification of the rules that govern deliberation among negotiation agents. To model negotiation protocols formally is an important task in the designing of automated negotiation systems for electronic commerce. Lots of work has been done for negotiation modeling, but there still lacks a formalism for negotiation protocols of time-constrained multi-issue negotiation, which can be widely applied in electronic commerce. This paper proposes a modeling framework for time constrained multi-issue negotiation protocol. An extended Colored Petri Net model is proposed and used to represent the modeling framework formally. To illustrate the applicability of the extended Colored Petri Net model, an auction protocol with fixed number of bidders are modeled and the model’s characteristics are verified using the Petri Net verification tool HPSim.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bichler, M., Kersten, G., Strecker, S.: Towards a Structured Design of Electronic Negotiations. Journal of Group Decision and Negotiation 12(4), 311–335 (2003)

    Article  Google Scholar 

  2. Jennings, N.R., et al.: Automated Negotiation: Prospects, Methods and Challenges. Journal of Group Decision and Negotiation 10, 199–215 (2001)

    Article  Google Scholar 

  3. Lomuscio, A.R., Wooldridge, M., Jennings, N.R.: A classification scheme for negotiation in electronic commerce. Journal of Group Decision and Negotiation 12(1), 31–56 (2003)

    Article  Google Scholar 

  4. Purvis, M., et al.: Multi-Agent System Interaction Protocols in a Dynamically Changing Environment. In: An Application Science for Multi-Agent Systems, pp. 95–112. Kluwer Academic Publishers, Boston (2004)

    Chapter  Google Scholar 

  5. Sandholm, T.: Distributed Rational Decision Making. Multi-agent Systems, http://www-2.cs.cmu.edu/~sandholm/rational.ps

  6. Simmon, C., Rebstock, M.: Integration of Multi-attributed Negotiations within Business Procoesses. In: Desel, J., Pernici, B., Weske, M. (eds.) BPM 2004. LNCS, vol. 3080, pp. 148–162. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  7. Greaves, M., Bradshaw, J. (eds): Specifying and Implementing Conversation Policies, Autonomous Agents 1999 Workshop, Seattle, WA (May 1999)

    Google Scholar 

  8. Nowostawski, M., Purvis, M., Cranefield, S.: A Layered Approach for Modeling Agent Conversations. In: Proceedings of the 2nd International Workshop on Infrastructure for Agents, MAS, and Scalable MAS, Montreal, pp. 163–170 (2001)

    Google Scholar 

  9. FIPA. FIPA protocol specifications, http://www.fipa.org/repository/ips.html

  10. Smith, R.G.: The Contract Net Protocol: High-level Communication and Control in a Distributed Problem Solver. IEEE Transactions on Computers C-29(12), 1104–1113 (1980)

    Article  Google Scholar 

  11. Bergenti, F., et al.: A Contract Decommitment Protocol for Automated Negotiation in Time Variant Environments, http://www-lia.deis.unibo.it/books/woa2001/pdf/03.pdf

  12. Winogradand, T., Flores, F.: Understanding Computers and Cognition: A New Foundation for Design, pp. 54–69. Ablex Publishing Corporation, Norwood (1986)

    Google Scholar 

  13. Barbuceanu, M., Fox, M.S.: COOL: A Language for Describing Coordination in Multi-Agent Systems. In: Lesser, V. (ed.) Proceeding of the First International Conference on Multi-Agent Systems, pp. 17–24. AAAI Press, Menlo Park (1995)

    Google Scholar 

  14. Bartolini, C., et al.: A Generic Software Framework for Automated Negotiation. HP Labs Technical Report, HPL-2002-2, Palo Alto (2002)

    Google Scholar 

  15. Lind, J.: Specifying agent interaction protocols with standard UML. In: Wooldridge, M.J., Weiß, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol. 2222, pp. 136–147. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  16. Ferber, J.: Multi-Agent systems: An Introduction to Distributed Artificial Intelligence, ch. 2. Addison-wesley, Reading (1999)

    Google Scholar 

  17. Scott Cost, R., et al.: Coordinating Agents using Agent Communication Languages Conversations. In: Coordination of Internet Agents: Models, Technologies, and Applications, London, pp. 183–196. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  18. Köhler, M., Moldt, D., Rölke, H.: Modelling the Structure and Behavior of Petri Net Agents. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol. 2075, pp. 224–241. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  19. Hung, P.C.K., Mao, J.-Y.: Modeling e-Negotiation Activity with Petri Nets. In: Proceedings of the Hawaii International Conference on System Science, pp. 26–36. IEEE Computer Society, Los Alamitos (2002)

    Google Scholar 

  20. Xu, H., Shatz, S.M.: An Agent-based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce. In: Proceedings the 5th International Symposium on Autonomous Decentralized Systems, Dallas, TX, USA, pp. 11–18 (2001)

    Google Scholar 

  21. Fisher, M., Wooldridge, M.: Specifying and Executing Protocols for Cooperative Action. In: Deen, S.M. (ed.) Proceeding of the Second International Working Conference on Cooperating Knowledge-Based Systems, pp. 13–28. Springer, Heidelberg (1994)

    Google Scholar 

  22. Kakehi, R., Tokoro, M.: A Negotiation Protocol for Conflict Resolution in Multi-Agent Environments. In: Proceeding of 1st International Conference on Intelligent and Cooperative Information Systems, pp. 185–196. IEEE Computer Society Press, Los Alamitos (1993)

    Google Scholar 

  23. FIPA. Agent Communication Language. FIPA Agent Communication Language, http://www.fipa.org/specs/fipa00003/OC00003A.html

  24. Parunak, V.: Visualizing agent conversations: Using enhanced Dooley graphs for agent design and analysis, http://www.erim.org/vparunak/dooldesn.pdf

  25. Singh, M.P.: Developing Formal Specifications to Coordinate Heterogeneous Autonomous Agents. In: International Conference on Multi Agent Systems 1998, pp. 261–268. IEEE Computer Society, Los Alamitos (1998)

    Google Scholar 

  26. Kraus, S.: Beliefs, Time and Incomplete Information in Multiple Encounter Negotiations Among Autonomous Agents. Annals of Mathematics and Artificial Intelligence 20(1-4), 111–159 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  27. Tamma, V., Wooldridge, M., Dickinson, I.: An ontology based approach to automated negotiation. In: Padget, J., Shehory, O., Parkes, D.C., Sadeh, N.M., Walsh, W.E. (eds.) AMEC 2002. LNCS, vol. 2531, pp. 219–237. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  28. Yuan, C.: Petri Net Theory, pp. 76–99. Electronic industry publishing company, Beijing (1998)

    Google Scholar 

  29. Wooldridge, M., Shi, C., et al. (trans.): An Introduction to MultiAgent Systems, pp. 91–114. Electronic industry publishing company, Beijing (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. College of Information Science and Engineering, Shandong University of Science and Technology, P.R. China

    Shujuan Ji, Qijia Tian & Yongquan Liang

Authors
  1. Shujuan Ji
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Qijia Tian
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yongquan Liang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. DL Informatique Sdn. Bhd., No. 29-7, Jalan SP 2/1, Serdang Perdana, Section 2,, 43300, Seri Kembangan, Selangor D. E., Malaysia

    Dickson Lukose

  2. Chinese Academy of Sciences, Beijing, China

    Zhongzhi Shi

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ji, S., Tian, Q., Liang, Y. (2009). A Petri-Net-Based Modeling Framework for Automated Negotiation Protocols in Electronic Commerce. In: Lukose, D., Shi, Z. (eds) Multi-Agent Systems for Society. PRIMA 2005. Lecture Notes in Computer Science(), vol 4078. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03339-1_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-03339-1_26

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-03337-7

  • Online ISBN: 978-3-642-03339-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation