Model checking auctions as artifact systems: Decidability via finite abstraction

Frontiers in Artificial Intelligence and Applications

Volumn 263, Issue , 2014, Pages 81-86

  Belardinelli, Francesco ^a  

^a UNIVERSITÉ D EVRY VAL D ESSONNE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMMERCE; COMPUTABILITY AND DECIDABILITY; DISTRIBUTED COMPUTER SYSTEMS; FORMAL VERIFICATION; MODEL CHECKING;

ARTIFACT-CENTRIC; BID AUCTION; FINITE ABSTRACTION; FIRST ORDER; FORMAL FRAMEWORK; METHODOLOGY AND TECHNIQUES; MODEL CHECKING PROBLEM; MODELS CHECKING; MULTI-AGENT SETTING; SERVICE ORIENTED COMPUTING;

MULTI AGENT SYSTEMS;

EID: 84923129398     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-61499-419-0-81     Document Type: Conference Paper

References (26)

1. S. Abiteboul et al. Foundations of Databases, Addison-Wesley, 1995.
2. T. Agotnes et al. 'Verifiable equilibria in boolean games', In Rossi [24].
3. A. Badica and C. Badica, 'Specification and verification of an agentbased auction service', in Information Systems Development, 239-248, (2010).
4. F. Belardinelli and A. Lomuscio, 'Decidability of model checking nonuniform artifact-centric quantified interpreted systems', In Rossi [24].
5. F. Belardinelli et al. 'Verification of Deployed Artifact Systems via Data Abstraction', in Proc. of ICSOC'11, pp. 142-156, (2011).
6. F. Belardinelli et al. 'An Abstraction Technique for the Verification of Artifact-Centric Systems', in Proc. of KR'12, pp. 319-328, (2012).
7. F. Belardinelli et al. 'Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction', in Proc. of ICSOC'12, pp. 17-31, (2012).
8. F. Belardinelli, 'Model checking auctions as artifact systems via finite abstraction', Technical report, Université d'Evry, (2014).
9. K. Bhattacharya et al. 'Towards Formal Analysis of Artifact-Centric Business Process Models', in Proc. of BPM'07, pp. 288-304, (2007).
10. P. Blackburn et al. Modal Logic, Cambridge University Press, 2001.
11. E. Damaggio et al. 'Artifact Systems with Data Dependencies and Arithmetic', ACM Transactions on Database Systems, 37(3), 22:1-22:36, (2012).
12. G. De Giacomo et al. 'Bounded Situation Calculus Action Theories and Decidable Verification', in Proc. of KR'12, pp. 467-477, (2012).
13. A. Deutsch et al. 'Automatic Verification of Data-centric Business Processes', in Proc. of ICDT'09, pp. 252-267, (2009).
14. D. Easley and J. Kleinberg, Networks, Crowds, and Markets, Cambridge University Press, 2010.
15. R. Fagin et al. Reasoning About Knowledge, The MIT Press, 1995.
16. D. Fischer et al. 'Model Checking Games for the Quantitative mu-Calculus', Theory Comput. Syst. , 47(3), 696-719, (2010).
17. C. Gerede, J. Su, 'Specification and Verification of Artifact Behaviors in Business Process Models', in Proc. of ICSOC'07, pp. 181-192, (2007).
18. E. Tadjouddine et al. 'Abstractions for model-checking game-theoretic properties of auctions', in Proc. of AAMAS '08, pp. 1613-1616, (2008).
19. N. Haque et al. 'Resource allocation in communication networks using market-based agents', Knowledge-Based Systems, 18(4-5), 163-170, (2005).
20. B. Hariri et al. 'Verification of relational data-centric dynamic systems with external services', in Proc. of PODS, pp. 163-174. ACM, (2013).
21. R. Hull, 'Artifact-Centric Business Process Models', in Proc. of OTM'08, pp. 1152-1163, (2008).
22. A. Lomuscio et al. 'MCMAS: A Model Checker for the Verification of Multi-Agent Systems', in Proc. of CAV'09, pp. 682-688, (2009).
23. D. Reeves et al. 'Exploring bidding strategies for market-based scheduling', Decision Support Systems, 39(1), 67-85, (2005).
24. F. Rossi, ed. Proc. of IJCAI 2013, Beijing, August 3-9, 2013.
25. N. Troquard et al. 'Model checking strategic equilibria', in Proc. of MoChArt, pp. 166-188, (2008).
26. H. Xu et al. 'Real-time model checking for shill detection in live online auctions', in Software Engineering Research and Practice, pp. 134-140, (2009).