{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T17:40:02Z","timestamp":1746207602989,"version":"3.40.4"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319068589"},{"type":"electronic","value":"9783319068596"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06859-6_6","type":"book-chapter","created":{"date-parts":[[2014,5,2]],"date-time":"2014-05-02T12:58:33Z","timestamp":1399035513000},"page":"54-68","source":"Crossref","is-referenced-by-count":3,"title":["Model Checking GSM-Based Multi-Agent Systems"],"prefix":"10.1007","author":[{"given":"Pavel","family":"Gonzalez","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Griesmayer","sequence":"additional","affiliation":[]},{"given":"Alessio","family":"Lomuscio","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Singh, M., Rao, A.S., Georgeff, M.: Formal methods in DAI: Logic-based representation and reasoning. In: Wei\u00df, G. (ed.) Multiagent Systems: A Modern Approach to Distributed Artifical Intelligence, pp. 331\u2013376. MIT Press (1999)"},{"issue":"1","key":"6_CR2","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MIC.2006.1","volume":"10","author":"T. Bultan","year":"2006","unstructured":"Bultan, T., Su, J., Fu, X.: Analyzing conversations of web services. IEEE Internet Computing\u00a010(1), 18\u201325 (2006)","journal-title":"IEEE Internet Computing"},{"issue":"3","key":"6_CR3","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/s10458-010-9152-3","volume":"24","author":"A. Lomuscio","year":"2012","unstructured":"Lomuscio, A., Qu, H., Solanki, M.: Towards verifying contract regulated service composition. Autonomous Agents and Multi-Agent Systems\u00a024(3), 345\u2013373 (2012)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Singh, M.P., Huhns, M.N.: Service-oriented computing - semantics, processes, agents. Wiley (2005)","DOI":"10.1002\/0470091509"},{"issue":"2","key":"6_CR5","doi-asserted-by":"crossref","first-page":"103","DOI":"10.3233\/MGS-2010-0143","volume":"6","author":"M. Baldoni","year":"2010","unstructured":"Baldoni, M., Baroglio, C., Mascardi, V.: Special issue: Agents, web services and ontologies: Integrated methodologies. Multiagent and Grid Systems\u00a06(2), 103\u2013104 (2010)","journal-title":"Multiagent and Grid Systems"},{"issue":"3","key":"6_CR6","first-page":"3","volume":"32","author":"D. Cohn","year":"2009","unstructured":"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\u00a032(3), 3\u20139 (2009)","journal-title":"Bulletin of the IEEE Computer Society Technical Committee on Data Engineering"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Hull, R., Damaggio, E., De Masellis, R., et al.: Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events. In: Proceedings of the International Conference on Distributed Event-Based Systems (DEBS 2011), pp. 51\u201362 (2011)","DOI":"10.1145\/2002259.2002270"},{"key":"6_CR8","unstructured":"Object Management Group: Proposal for: Case management modeling and notation (CMMN) specification 1.0, Document bmi\/12-02-09 (February 2012)"},{"issue":"3","key":"6_CR9","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1016\/j.jcss.2006.10.006","volume":"73","author":"A. Deutsch","year":"2007","unstructured":"Deutsch, A., Sui, L., Vianu, V.: Specification and verification of data-driven web applications. Journal of Computer and System Sciences\u00a073(3), 442\u2013474 (2007)","journal-title":"Journal of Computer and System Sciences"},{"key":"6_CR10","unstructured":"Hariri, B.B., Calvanese, D., Giacomo, G.D., Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. CoRR (2012)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-25535-9_10","volume-title":"Service-Oriented Computing","author":"F. Belardinelli","year":"2011","unstructured":"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.\u00a07084, pp. 142\u2013156. Springer, Heidelberg (2011)"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-34321-6_2","volume-title":"Service-Oriented Computing","author":"F. Belardinelli","year":"2012","unstructured":"Belardinelli, F., Lomuscio, A., Patrizi, F.: Verification of GSM-based artifact-centric systems through finite abstraction. In: Liu, C., Ludwig, H., Toumani, F., Yu, Q. (eds.) ICSOC 2012. LNCS, vol.\u00a07636, pp. 17\u201331. Springer, Heidelberg (2012)"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Gonzalez, P., Griesmayer, A., Lomuscio, A.: Verifying GSM-based business artifacts. In: Proceedings of ICWS 2012, pp. 25\u201332 (2012)","DOI":"10.1109\/ICWS.2012.31"},{"key":"6_CR14","unstructured":"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\u2013328 (2012)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/3-540-15648-8_21","volume-title":"Logics of Programs","author":"R. Parikh","year":"1985","unstructured":"Parikh, R., Ramanujam, R.: Distributed processes and the logic of knowledge. In: Parikh, R. (ed.) Logic of Programs 1985. LNCS, vol.\u00a0193, pp. 256\u2013268. Springer, Heidelberg (1985)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press (1995)","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"6_CR17","unstructured":"Somenzi, F.: CUDD: CU decision diagram package - release 2.5.0 (2012), http:\/\/vlsi.colorado.edu\/~fabio\/CUDD\/ (January 2013)"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1007\/978-3-642-02658-4_55","volume-title":"Computer Aided Verification","author":"A. Lomuscio","year":"2009","unstructured":"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.\u00a05643, pp. 682\u2013688. Springer, Heidelberg (2009)"},{"issue":"11","key":"6_CR19","doi-asserted-by":"publisher","first-page":"1313","DOI":"10.1016\/j.ic.2008.07.004","volume":"206","author":"S. Shoham","year":"2008","unstructured":"Shoham, S., Grumberg, O.: 3-valued abstraction: More precision at less cost. Information and Computation\u00a0206(11), 1313\u20131333 (2008)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2013 Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06859-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T17:13:38Z","timestamp":1746206018000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06859-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319068589","9783319068596"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06859-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}