Abstract
We present a generic formal framework to specify e-commerce systems. Specifically, we introduce a formalism to represent the behavior of the agents involved in the system. We will concentrate only on the high level behavior, that is, the one related to the economic performance of the agents. Finally, we apply our framework to the specification of the e-commerce system Kasbah.
This research has been supported by the Spanish MCyT project MASTER (TIC2003-07848-C02-01), the Junta de Castilla-La Mancha project DISMEF (PAC-03-001) and the Marie Curie RTN TAROT (MCRTN 505121).
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
Bhimani, A.: Securing the commercial Internet. Communications of the ACM 39(6), 29–35 (1996)
Braynov, S.: Tutorial on agent-mediated electronic commerce at AIMSA 2002 (2002)
Chavez, A., Maes, P.: Kasbah: An agent marketplace for buying and selling goods. In: PAAM 1996, pp. 75–90 (1996)
Dastani, M., Jacobs, N., Jonker, C.M., Treur, J.: Modelling user preferences and mediating agents in electronic commerce. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS (LNAI), vol. 1991, pp. 163–193. Springer, Heidelberg (2001)
Geisler, B., Ha, V., Haddawy, P.: Modeling user preferences via theory refinement. In: Int. Conf. on Intelligent User Interfaces, pp. 87–90. ACM Press, New York (2001)
Guttman, R., Moukas, A., Maes, P.: Agent-mediated electronic commerce: A survey. The Knowledge Engineering Review 13(2), 147–159 (1998)
Ha, V., Haddawy, P.: Similarity of personal preferences: Theoretical foundations and empirical analysis. Artificial Intelligence 146(2), 149–173 (2003)
He, M., Jennings, N.R., Leung, H.: On agent-mediated electronic commerce. IEEE Trans. on Knowledge and Data Engineering 15(4), 985–1003 (2003)
López, N., Núñez, M., Rodríguez, I., Rubio, F.: A formal framework for e-barter based on microeconomic theory and process algebras. In: Unger, H., Böhme, T., Mikler, A.R. (eds.) IICS 2002. LNCS, vol. 2346, pp. 217–228. Springer, Heidelberg (2002)
López, N., Núñez, M., Rodríguez, I., Rubio, F.: A multi-agent system for ebarter including transaction and shipping costs. In: 18th ACM Symposium on Applied Computing, SAC 2003, pp. 587–594. ACM Press, New York (2003)
Ma, M.: Agents in e-commerce. Communications of the ACM 42(3), 79–80 (1999)
Núñez, M., Rodríguez, I.: PAMR: A process algebra for the management of resources in concurrent systems. In: FORTE 2001, pp. 169–185. Kluwer Academic Publishers, Dordrecht (2001)
Rodríguez, I.: Formal specification of autonomous commerce agents. In: 19th ACM Symposium on Applied Computing, SAC 2004, pp. 774–778. ACM Press, New York (2004)
Sandholm, T.: Agents in electronic commerce: Component technologies for automated negotiation and coalition formation. In: Klusch, M., Weiss, G. (eds.) CIA 1998. LNCS (LNAI), vol. 1435, pp. 113–134. Springer, Heidelberg (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rodríguez, I., Núñez, M., Rubio, F. (2004). Specification of Autonomous Agents in E-commerce Systems. 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_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-30233-9_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23169-1
Online ISBN: 978-3-540-30233-9
eBook Packages: Springer Book Archive