Model checking GSM-based multi-agent systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8377 LNCS, Issue , 2014, Pages 54-68

  Gonzalez, Pavel ^a   Griesmayer, Andreas ^b   Lomuscio, Alessio ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b ARM LTD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

MODEL CHECKING; SEMANTICS;

BUSINESS ARTIFACTS; INTERFACE LEVEL; MODELLING LANGUAGE; PROCESS DESCRIPTIONS; SERVICE COMMUNITY; SERVICE ORIENTED COMPUTING; SYMBOLIC MODEL CHECKERS;

MULTI AGENT SYSTEMS;

EID: 84901357455     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-06859-6_6     Document Type: Conference Paper

References (19)

1. Singh, M., Rao, A.S., Georgeff, M.: Formal methods in DAI: Logic-based representation and reasoning. In: Weiß, G. (ed.) Multiagent Systems: A Modern Approach to Distributed Artifical Intelligence, pp. 331-376. MIT Press (1999
2. Bultan, T., Su, J., Fu, X.: Analyzing conversations of web services. IEEE Internet Computing 10(1), 18-25 (2006) (Pubitemid 43159609
3. Lomuscio, A., Qu, H., Solanki, M.: Towards verifying contract regulated service composition. Autonomous Agents and Multi-Agent Systems 24(3), 345-373 (2012
4. Singh, M.P., Huhns, M.N.: Service-oriented computing-semantics, processes, agents. Wiley (2005
5. Baldoni, M., Baroglio, C., Mascardi, V.: Special issue: Agents, web services and ontologies: Integrated methodologies. Multiagent and Grid Systems 6(2), 103-104 (2010
6. Cohn, D., Hull, R.: Business artifacts: A data-centric approach to modeling business operations and processes. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering 32(3), 3-9 (2009
7. Hull, R., Damaggio, E., De Masellis, R., et al.: Business artifacts with guard-stagemilestone lifecycles: Managing artifact interactions with conditions and events. In: Proceedings of the International Conference on Distributed Event-Based Systems (DEBS 2011), pp. 51-62 (2011
8. Object Management Group: Proposal for: Case management modeling and notation (CMMN) specification 1.0, Document bmi/12-02-09 (February 2012
9. Deutsch, A., Sui, L., Vianu, V.: Specification and verification of data-driven web applications. Journal of Computer and System Sciences 73(3), 442-474 (2007
10. Hariri, B.B., Calvanese, D., Giacomo, G.D., Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. CoRR (2012
11. Belardinelli, F., Lomuscio, A., Patrizi, F.: Verification of deployed artifact systems via data abstraction. In: Kappel, G., Maamar, Z., Motahari-Nezhad, H.R. (eds.) ICSOC 2011. LNCS, vol. 7084, pp. 142-156. Springer, Heidelberg (2011
12. Belardinelli, F., Lomuscio, A., Patrizi, F.: Verification of GSM-based artifactcentric systems through finite abstraction. In: Liu, C., Ludwig, H., Toumani, F., Yu, Q. (eds.) ICSOC 2012. LNCS, vol. 7636, pp. 17-31. Springer, Heidelberg (2012
13. Gonzalez, P., Griesmayer, A., Lomuscio, A.: Verifying GSM-based business artifacts. In: Proceedings of ICWS 2012, pp. 25-32 (2012
14. Belardinelli, F., Lomuscio, A., Patrizi, F.: An abstraction technique for the verification of artifact-centric systems. In: Proceedings of Principles of Knowledge Representation and Reasoning (KR 2012), pp. 319-328 (2012
15. Parikh, R., Ramanujam, R.: Distributed processes and the logic of knowledge. In: Parikh, R. (ed.) Logic of Programs 1985. LNCS, vol. 193, pp. 256-268. Springer, Heidelberg (1985
16. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press (1995
17. Somenzi, F.: CUDD: CU decision diagram package-release 2.5.0 (2012), http://vlsi.colorado.edu/~fabio/CUDD/(January 2013
18. Lomuscio, A., Qu, H., Raimondi, F.: Mcmas: A model checker for the verification of multi-Agent systems. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 682-688. Springer, Heidelberg (2009
19. Shoham, S., Grumberg, O.: 3-valued abstraction: More precision at less cost. Information and Computation 206(11), 1313-1333 (2008