Abstract
The vision of global agent-based e-commerce environments that enable dynamic trading between business partners requires the study and development of suitable formal modeling frameworks. In particular, negotiation is a necessary and important activity to allow engagement of business parties in non-trivial business relationships. In this note we propose a formal framework using finite state process algebra for modeling and analysis of agent-based negotiations, with a focus on a particular price negotiation – English auction.
Work of A. Bădică and C. Bădică was partially funded by CNCSIS grants 94/2005: ”HiperProc: Hypermedia Techniques for Knowledge-Based Representation of Business Processes” and 185/2006 ”Technologies and Intelligent Software Tools for Automated Construction of E-Catalogues of Products Using Knowledge Acquisition from the Web”.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bădică, C., Bădică, A., Liţoiu, V.: Role Activity Diagrams as Finite State Processes. In: Paprzycki, M. (ed.) Proc. International Symposium on Parallel Distributed Computing, ISPDC’03, Ljubljana, Slovenia, pp. 15–22. IEEE Computer Society Press, Los Alamitos (2003)
Bădică, C., Bădiţă, A., Ganzha, M., Iordache, A., Paprzycki, M.: Rule-Based Framework for Automated Negotiation: Initial Implementation. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, pp. 193–198. Springer, Heidelberg (2005)
Bartolini, C., Preist, C., Jennings, N.R.: A Software Framework for Automated Negotiation. In: Choren, R., Garcia, A., Lucena, C., Romanovsky, A. (eds.) SELMAS 2004. LNCS, vol. 3390, pp. 213–235. Springer, Heidelberg (2005)
Dong, Y., Sheng, Z.: Using pi-Calculus to Formalize UML Activity Diagram. In: Proc.10th IEEE International Conference on Engineering of Computer-Based Systems, ECBS 2003, pp. 47–54. IEEE Computer Society Press, Los Alamitos (2003)
van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Process Algebra for Agent Communication: A General Semantic Approach. In: Huget, M.-P. (ed.) Communication in Multiagent Systems. LNCS (LNAI), vol. 2650, pp. 113–128. Springer, Heidelberg (2003)
Esterline, A.C., Rorie, T.: Using the π-Calculus to Model Multiagent Systems. In: Rash, J.L., Rouff, C.A., Truszkowski, W., Gordon, D.F., Hinchey, M.G. (eds.) FAABS 2000. LNCS (LNAI), vol. 1871, pp. 164–179. Springer, Heidelberg (2001)
Feng, Z., Yin, J., Zhang, H., Dong, J.: Inter-organizational business process modeling for electronic commerce based on pi-calculus. In: Proc.Int.Conf.on Services Systems and Services Management, ICSSSM’2005, Chongqing, China, vol. 2, pp. 966–970. IEEE Press, Los Alamitos (2005)
FIPA: Foundation for Physical Agents, http://www.fipa.org
Hillston, J., Kloul, L.: Performance investigation of an on-line auction system. Concurrency and Computation: Practice and Experience 13(1), 23–41 (2001)
Karamanolis, C., Giannakapoulou, D., Magee, J., Wheater, S.: Modelling and Analysis of Workflow Processes. Technical Report, Department of Computing, Imperial College of Science, Technology and Medicine (1999)
Laudon, K.C., Traver, C.G.: E-commerce: Business, Technology, Society, 2nd edn. Pearson, London (2004)
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)
Magee, J., Kramer, J.: Concurrency. State Models and Java Programs, 2nd edn. John Wiley & Sons, Chichester (2002)
McAfee, R.P., McMillan, J.: Auctions and bidding. Journal of Economic Literature 25(2), 699–738 (1987)
Puhlmann, F.: Why Do We Actually Need the Pi-Calculus for Business Process Management? In: Abramowicz, W., Mayr, H.C. (eds.) Proc. 9th International Conference on Business Information Systems, BIS’2006. LNI, vol. 85, GI (2006)
Weiliang, M., Xiaodong, W., Huanye, S.: A Configurable Auction Framework for Open Agent Systems. In: Joint Workshop Agent Technology and Software Engineering/ Agent Infrastructure, Tools and Applications, Net.ObjectDays 2002, Erfurt, Germany (2002)
Wooldridge, M.: An Introduction to MultiAgent Systems. John Wiley & Sons, Chichester (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bădică, A., Bădică, C. (2007). Formal Modeling of Agent-Based English Auctions Using Finite State Process Algebra. In: Nguyen, N.T., Grzech, A., Howlett, R.J., Jain, L.C. (eds) Agent and Multi-Agent Systems: Technologies and Applications. KES-AMSTA 2007. Lecture Notes in Computer Science(), vol 4496. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72830-6_26
Download citation
DOI: https://doi.org/10.1007/978-3-540-72830-6_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72829-0
Online ISBN: 978-3-540-72830-6
eBook Packages: Computer ScienceComputer Science (R0)