Specification and verification of an agent-based auction service

Information Systems Development: Towards a Service Provision Society

Volumn , Issue , 2009, Pages 239-248

  Badica, Amelia ^a   Badica, Costin ^a  

^a UNIVERSITY OF CRAIOVA   (Romania)

Author keywords

Auctions; Formal methods; Software agents

Indexed keywords

AGENT BASED; AUCTIONS; BUYER AGENT; COMPLEX INTERACTION; ENGLISH AUCTION; FORMAL SPECIFICATION; FORMAL VERIFICATIONS; PROCESS ALGEBRAS; SELLER AGENT; SPECIFICATION AND VERIFICATION;

COMMERCE; FORMAL METHODS; INFORMATION SYSTEMS; MANAGEMENT INFORMATION SYSTEMS; SPECIFICATIONS; TEMPORAL LOGIC;

SOFTWARE AGENTS;

EID: 79953197349     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/b137171_25     Document Type: Conference Paper

References (18)

1. Badica, C., Ganzha, M. and Paprzycki, M. (2007) Implementing Rule-Based Automated Price Negotiation in an Agent System. Journal of Universal Computer Science, 13(2): 244-266.
2. Badica, C., Giurca, A. and Wagner, G. (2007) Using Rules and R2ML for Modeling Negotiation Mechanisms in E-commerce Agent Systems. In Proceedings of the 1st Int. Conf. Trends in Enterprise Application Architecture, TEAA 2006, pp. 84-99. Lecture Notes in Computer Science 4473, Springer.
3. Badica, A., Badica, C. and Litoiu, L. (2007) Middle-Agents Interactions as Finite State Processes: Overview and Example. In Proc. 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007), pp. 12-17, IEEE Computer Society Press.
4. Badica, C. and Badica, A. (2008) Formalizing Agent-Based English Auctions Using Finite State Process Algebra. Journal of Universal Computer Science, 14(7): 1118-1135.
5. Bartolini, C., Preist, C. and Jennings, N.R. (2005) A Software Framework for Automated Negotiation. In: Proc. SELMAS'2004, pp. 213-235 Lecture Notes in Computer Science 3390, Springer. (Pubitemid 350227561)
6. Dobriceanu, A., Biscu, L., Badica, C. and Popescu, E. (2008) Considerations on the design and implementation of an agent-based auction service. In Advances in Intelligent and Distributed Computing, Proc.IDC 2007, pp.75-84. Studies in Computational Intelligence, 78, Springer.
7. Dobriceanu, A., Biscu, L. and Badica, C. (2007) Adding a declarative representation of negotiation mechanisms to an agent-based negotiation service. In Proceedings of WI/IAT 2007 Workshops, pp. 471-474. IEEE Computer Society Press.
8. Dwyer, M.B., Avrunin, G.S. and Corbett, J.C. (1999) Patterns in property specifications for finite-state verification. In ICSE'99: Proceedings of the 21st International Conference on Software Engineering, pp. 411-420. IEEE Computer Society Press.
9. Esterline, A., Rorie, T. and Homaifar, A..(2006) A Process-Algebraic Agent Abstraction. In Rouff, C.A., Hinchey, M., Rash, J., Truszkowski, W. and Gordon-Spears, D. (eds.) Agent Technology from a Formal Perspective, pp. 88-137. NASA Monographs in Systems and Software Engineering, Springer.
10. Hillston, J. and Kloul, L. (2001) Performance investigation of an on-line auction system. Concurrency and Computation: Practice and Experience, 13(1): 23-41. (Pubitemid 32432120)
11. Hoare, C.A.R. (1985) Communicating Sequential Processes. Prentice Hall International Series in Computer Science, Hemel Hempstead.
12. Laudon, K.C. and Traver, C.G. (2004) E-Commerce, Business, Technology, Society (2nd ed.), Pearson Addison-Wesley, New York.
13. Lomuscio, A.R., Wooldridge, M. and Jennings, N.R. (2002) A classification scheme for negotiation in electronic commerce. In Dignum, F. and Sierra, C. (eds.), Agent Mediated Electronic Commerce: The European AgentLink Perspective, pp. 19-33. Lecture Notes in Computer Science 1991, Springer.
14. Magee, J. and Kramer, J. (2006) Concurrency. State Models and Java Programs (2nd ed.), John Wiley & Sons, New York.
15. McAfee, R.P. and McMillan, J. (1987) Auctions and bidding. Journal of Economic Literature, 25(2): 699-738
16. Milner, R. (1999) Communicating and Mobile Systems: The p-calculus. Cambridge University Press, Cambridge.
17. Podorozhny, R. M., Khurshid, S., Perry, D. E. and Zhang, X. (2007) Verification of Multi-agent Negotiations Using the Alloy Analyzer. In Proc. 6th Int. Conf on Integrated Formal Methods, IFM 2007, Oxford, UK, pp. 501-517. Lecture Notes in Comp. Sc. 4591, Springer.
18. Rouff, C., Rash, J., Hinchey, M. and Truszkowski, W. (2006) Formal Methods at NASA Goddard Space Flight Center. In Rouff, C.A., Hinchey, M., Rash, J., Truszkowski, W. and Gordon-Spears, D. (eds.) Agent Technology from a Formal Perspective, pp. 287-309. NASA Monographs in Systems and Software Engineering, Springer