Formalizing agent-based english auctions using finite state process algebra

Journal of Universal Computer Science

Volumn 14, Issue 7, 2008, Pages 1118-1135

  Bǎdicǎ, Amelia ^a   Bǎdicǎ, Costin ^a  

^a UNIVERSITY OF CRAIOVA   (Romania)

Author keywords

English auction; Formal specification; Multi agent system; Process algebra

Indexed keywords

EID: 45949097334     PISSN: 0958695X     EISSN: 09486968     Source Type: Journal    
DOI: None     Document Type: Article

References (27)

1. th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE'2007, 2007, Paris, France. IEEE Computer Society Press (2007) 12-17.
2. Bádicá, C., Bǎdiţǎ, A.: "Formal modeling of agent-based English auctions using finite state process algebra"; Agent and Multi-Agent Systems: Technologies and Applications. Proceedings of KES-AMSTA-2007, Wroclaw, Poland. Lect. Notes in Artif. Intel. 4496, Springer Verlag (April 2007) 248-257.
3. Bǎdicǎ, C., Ganzha, M., Paprzycki, M.: "Implementing Rule-Based Automated Price Negotiation in an Agent System"; Journal of Universal Computer Science, vol. 13, no. 2, (2007) 244-266.
4. st Annual ACM Symposium on Applied Computing, SAC, Dijon, France. ACM Press, New York, NY, (April 2006) 96-100.
5. Bǎdicǎ, C., Bǎdiţǎ, A., Ganzha, M., Iordache, A., Paprzycki, M.: "Rule-Based Framework for Automated Negotiation: Initial Implementation"; A. Adi, S. Stoutenburg, S. Tabet (eds.): Proc. RuleML, Galway, Ireland. Lect. Notes in Comp. Sci. 3791, Springer Verlag (November 2005) 193-198.
6. nd International Symposium on Parallel Distributed Computing ISPDC'03, Ljubljana, Slovenia. IEEE Computer Society-Press, (October 2003) 15-22.
7. Bartolini, C., Preist, C., Jennings, N.R.: "A Software Framework for Automated Negotiation"; Proc. of SELMAS. Lect. Notes in Comp. Sci. 3390, Springer, Berlin (2005) 213-235.
8. Cervenka, R., Trencansky, I.: "The Agent Modeling Language - AML. A Comprehensive Approach to Modeling Multi-Agent Systems Series: Whitestein"; Series in Software Agent Technologies and Autonomic Computing, Springer, (2007).
9. th IEEE International Conference on Engineering of Computer-Based Systems ECBS 2003. IEEE Computer Society (2003) 47-54.
10. van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, J.-J.Ch.: "Process Algebra for Agent Communication: A General Semantic Approach"; Communication in Multiagent Systems 2003. Lect. Notes in Comp. Sci. 1650, Springer Verlag (2003) 113-128.
11. Esterline, A.C., Rorie, T.: "Using the pi-Calculus to Model Multiagent Systems"; Formal Approaches to Agent-Based Systems, First International Workshop, FAABS'2000, Greenbelt, MD, USA. Lect. Notes in Comp. Sci. 1871, Springer Verlag (2001) 164-179.
12. Feng, Z., Yin, J., Zhang, H., Dong, J.: "Inter-organizational business process modeling for electronic commerce based on pi-calculus"; Proceedings of the Intternational Conference on Services Systems and Services Management, ICSSSM'2005, Chongqing, China. IEEE Press vol.2 (2005) 966-970.
13. FIPA: Foundation for Physical Agents. See http://wwH.fipa.org.
14. Hillston, J., Kloul, L.: "Performance investigation of an online auction system"; Concurrency and Computation: Practice and Experience, 13(1) (2001) 23-41.
15. Karamanolis, C., Giannakapoulou, D., Magee, J., Wheater, S.: "Model Checking of Workflow Schemas"; Proceedings of the 4th International conference on Enterprise Distributed Object Computing, EDOC'00. IEEE Computer Society (2000), 170-181.
16. JADE: Java Agent Development Framework. See http://jade.cselt.it.
17. JESS: Java Expert System Shell. See http://herzberg.ca.sandia.gov/jess/.
18. nd ed.). Pearson Addison-Wesley, (2004).
19. Lomuscio, A.R., Wooldridge, M., Jennings, N.R.: "A classification scheme for negotiation in electronic commerce"; F. Dignum, C. Sierra (Eds.): Agent Mediated Electronic Commerce: The European AgentLink Perspective, Lect. Notes in Comp. Sci. 1991, Springer, Berlin (2002) 19-33.
20. nd ed."; John Wiley & Sons, (2006).
21. McAfee, R.P., McMillan, J.: "Auctions and bidding"; Journal of Economic Literature, 25(2) (1987) 699-738.
22. Padgham, L., Winikoff, M.: "Developing Intelligent Agent Systems. A practical guide"; John Wiley & Sons (2004).
23. th International Conference on Business Information Systems, BIS'2006, Klagenfurt, Austria. Lecture Notes in Informatics 85, GI (2006) 77-89.
24. Rouff, C.A., Hinchey, M., Rash, J., Truszkowski, W., and Gordon-Spears, D. (Eds.): "Agent Technology from a Formal Perspective"; NASA Monographs in Systems and Software Engineering, Springer (2006).
25. Weiliang, M., Xiaodong, W., Huanye, S.: "A Configurable Auction Framework for Open Agent Systems[[; Joint Workshop Agent Technology and Software Engineering/Agent Infrastructure, Tools and Applications, Net.ObjectDays 2002, Erfurt, Germany, (2002).
26. Wooldridge, M.: "An Introduction to MultiAgent Systems", John Wiley & Sons, (2002).
27. Wurman, P.R., Wellman, M.P., Walsh, W.E.: "A Parameterization of the Auction Design Space"; Games and Economic Behavior, 35, 1/2, (2001) 271-303.