Skip to main content

A Process-Oriented Approach Towards Structured Market Modelling

  • Conference paper
Applying Formal Methods: Testing, Performance, and M/E-Commerce (FORTE 2004)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3236))

Abstract

Our approach to market modelling is based on analysis of the negotiation process execution tasks. We use this for extraction of the offer life cycle, which provides tasks to be modelled. Combined, these tasks constitute the process. In addition to the offer life cycle, the information flow in the market also needs to be modelled. For each task, we propose the use of components that can be concatenated to concrete market models, whereby each component encapsulates one or more functional parts forming the complete process. We arrive at a structured approach to market modelling that is reduced in complexity because of the fragmentation of the modelling tasks. This approach is promising as it raises the modelling task to a high level of abstraction freeing the modeller from the implementation details. By way of example, we demonstrate how this approach can be employed to complete market models by using appropriate components.

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

Access this chapter

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. Kersten, G.E., Teich, J.: Are all e-commerce negotiations auctions? In: Fourth International Conference on the Design of Cooperative Systems, Sophia-Antipolis, France (2000)

    Google Scholar 

  2. Smith, V.L.: Microeconomic systems as an experimental science. The American Economic Review 72, 923–955 (1982)

    Google Scholar 

  3. Smith, V.: Markets, institutions and experiments. In: Nadel, L. (ed.) Encyclopedia of Cognitive Science, Nature Pr (2002)

    Google Scholar 

  4. Lomuscio, A.R., Wooldridge, M., Jennings, N.R.: A Classification Scheme for Negotiation in Electronic Commerce. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS (LNAI), vol. 1991, pp. 19–33. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  5. Ströbel, M., Weinhardt, C.: The montreal taxonomy for electronic negotiations. Group Decision and Negotiation Journal 12, 143–164 (2003)

    Article  Google Scholar 

  6. Wurman, P., Wellman, M.P., Walsh, W.E.: A parametrization of the auction design space. Games and Economic Behavior 35, 304–338 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  7. Schmid, B., Lindemann, M.: Elements of a reference model for electronic markets. In: Proceedings of the 31st Annual Hawaii International Conference on Systems Science HICSS 1998, vol. IV, pp. 193–201 (1998)

    Google Scholar 

  8. Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modelling Language User Guide. Addison-Wesley, Reading (1998)

    Google Scholar 

  9. Bauer, B., Mueller, J., Odell, J.: Agent uml: A formalism for specifying multiagent software systems. International Journal of Software Engineering and Knowledge Engineering 11, 207–230 (2001)

    Article  Google Scholar 

  10. Tamma, V., Wooldridge, M., Dickinson, I.: An ontology for automated negotiation. In: Proceedings of the Workshop on Ontologies in Agent Systems, Bologna, Italy (2002)

    Google Scholar 

  11. Schmid, B.: Elektronische Märkte – Merkmale, Organisation, Potentiale. In: Handbuch Electronic Commerce, Vahlen Verlag (1999)

    Google Scholar 

  12. Reeves, D.M., Grosof, B.N.: Automated negotiations from formal contract descriptions. Computational Intelligence 18, 482–500 (2002)

    Article  MathSciNet  Google Scholar 

  13. Veit, D.: Terminology and Overview. In: Electronic Negotiations and Multidimensional Matchmaking – an Agent based Approach, University of Karlsruhe, p. 21 (2002)

    Google Scholar 

  14. Wurman, P., Wellman, M.P., Walsh, P.: Specifying rules for electronic auctions. AI Magazine 23, 15–23 (2002)

    Google Scholar 

  15. Holtmann, C., Neumann, D., Weinhardt, C.: Market engineering – an interdisciplinary approach. Technical report, University of Karlsruhe, Karlsruhe (2002)

    Google Scholar 

  16. Maekioe, J., Weber, I.: Component-based specification and composition of market structures. In: al., B.e. (ed.) Coordination and Agent Technology in Value Networks. GITO, Berlin, pp. 127–137 (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mäkiö, J. (2004). A Process-Oriented Approach Towards Structured Market Modelling. In: Núñez, M., Maamar, Z., Pelayo, F.L., Pousttchi, K., Rubio, F. (eds) Applying Formal Methods: Testing, Performance, and M/E-Commerce. FORTE 2004. Lecture Notes in Computer Science, vol 3236. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30233-9_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30233-9_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23169-1

  • Online ISBN: 978-3-540-30233-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics