{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T07:10:10Z","timestamp":1748761810828,"version":"3.41.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319294728"},{"type":"electronic","value":"9783319294735"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-29473-5_4","type":"book-chapter","created":{"date-parts":[[2016,1,23]],"date-time":"2016-01-23T07:58:11Z","timestamp":1453535891000},"page":"56-73","source":"Crossref","is-referenced-by-count":0,"title":["Evaluating the Assignment of Behavioral Goals to Coalitions of Agents"],"prefix":"10.1007","author":[{"given":"Christophe","family":"Chareton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julien","family":"Brunel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Chemouil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,24]]},"reference":[{"issue":"5","key":"4_CR1","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672\u2013713 (2002)","journal-title":"J. ACM"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-92687-0_7","volume-title":"Logical Foundations of Computer Science","author":"T Brihaye","year":"2008","unstructured":"Brihaye, T., Da Costa, A., Laroussinie, F., Markey, N.: $${\\sf {ATL}}$$ with strategy contexts and bounded memory. In: Artemov, S., Nerode, A. (eds.) LFCS 2009. LNCS, vol. 5407, pp. 92\u2013106. Springer, Heidelberg (2008)"},{"issue":"7","key":"4_CR3","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.774917","volume":"32","author":"A Beugnard","year":"1999","unstructured":"Beugnard, A., J\u00e9z\u00e9quel, J.-M., Plouzeau, N., Watkins, D.: Making components contract aware. Computer 32(7), 38\u201345 (1999)","journal-title":"Computer"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/B:AGNT.0000018806.20944.ef","volume":"8","author":"P Bresciani","year":"2004","unstructured":"Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: an agent-oriented software development methodology. Auton. Agents Multi-Agent Syst. 8, 203\u2013236 (2004)","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-25032-3_13","volume-title":"Formal Methods, Foundations and Applications","author":"J Brunel","year":"2011","unstructured":"Brunel, J., Chareton, C., Chemouil, D.: A formal treatment of agents, goals and operations using alternating-time temporal logic. In: Simao, A., Morgan, C. (eds.) SBMF 2011. LNCS, vol. 7021, pp. 188\u2013203. Springer, Heidelberg (2011)"},{"key":"4_CR6","doi-asserted-by":"crossref","first-page":"91","DOI":"10.4204\/EPTCS.112.14","volume":"112","author":"Christophe Chareton","year":"2013","unstructured":"Chareton, C., Brunel, J., Chemouil, D.: Towards an updatable strategy logic. In: Proceedings of the 1st International WS on Strategic Reasoning SR (2013)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/j.ic.2015.03.015","volume":"242","author":"C Chareton","year":"2015","unstructured":"Chareton, C., Brunel, J., Chemouil, D.: A logic with revocable and refinable strategies. Inf. Comput. 242, 157\u2013182 (2015)","journal-title":"Inf. Comput."},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-642-13094-6_10","volume-title":"Advanced Information Systems Engineering","author":"J Mylopoulos","year":"2010","unstructured":"Mylopoulos, J., Giorgini, P., Dalpiaz, F., Chopra, A.K.: Modeling and reasoning about service-oriented applications via goals and commitments. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol. 6051, pp. 113\u2013128. Springer, Heidelberg (2010)"},{"unstructured":"Chopra, A.K., Dalpiaz, F., Giorgini, P., Mylopoulos, J.: Reasoning about agents and protocols via goals and commitments. In: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, vol. 1, pp. 457\u2013464 (2010)","key":"4_CR9"},{"issue":"6","key":"4_CR10","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1016\/j.ic.2009.07.004","volume":"208","author":"K Chatterjee","year":"2010","unstructured":"Chatterjee, K., Henzinger, T.A., Piterman, N.: Strategy logic. Inf. Comput. 208(6), 677\u2013693 (2010)","journal-title":"Inf. Comput."},{"unstructured":"A.K. Chopra and M.P. Singh.: Multiagent commitment alignment. In: Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, vol. 2, pp. 937\u2013944 (2009)","key":"4_CR11"},{"unstructured":"Da Costa, A., Laroussinie, F., Markey, N.: ATL with strategy contexts: expressiveness and model checking. In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), vol. 8, pp. 120\u2013132 (2010)","key":"4_CR12"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-540-45069-6_3","volume-title":"Computer Aided Verification","author":"C Eisner","year":"2003","unstructured":"Eisner, C., Fisman, D., Havlicek, J., Lustig, Y., McIsaac, A., Van Campenhout, D.: Reasoning with temporal logic on truncated paths. In: Hunt, W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 27\u201339. Springer, Heidelberg (2003)"},{"unstructured":"Letier, E.: Reasoning about agents in goal-oriented requirements engineering. Ph.D. thesis, Universit\u00e9 Catholique de Louvain (2002)","key":"4_CR14"},{"doi-asserted-by":"crossref","unstructured":"Letier, E., Van Lamsweerde, A.: Agent-based tactics for goal-oriented requirements elaboration. In: Proceedings of the 24th International Conference on Software Engineering, pp. 83\u201393. ACM (2002)","key":"4_CR15","DOI":"10.1145\/581352.581353"},{"doi-asserted-by":"crossref","unstructured":"Letier, E., Van Lamsweerde, A.: Deriving operational software specifications from system goals. In: Proceedings of the 10th ACM SIGSOFT Symposium on Foundations of Software Engineering, p. 128. ACM (2002)","key":"4_CR16","DOI":"10.1145\/587068.587070"},{"issue":"4","key":"4_CR17","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D","volume":"1","author":"MW Maier","year":"1998","unstructured":"Maier, M.W.: Architecting principles for systems-of-systems. Syst. Eng. 1(4), 267\u2013284 (1998)","journal-title":"Syst. Eng."},{"issue":"4","key":"4_CR18","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/2631917","volume":"15","author":"F Mogavero","year":"2014","unstructured":"Mogavero, F., Murano, A., Perelli, G., Vardi, M.Y.: Reasoning about strategies: on the model-checking problem. ACM Trans. Comput. Logic (TOCL) 15(4), 34 (2014)","journal-title":"ACM Trans. Comput. Logic (TOCL)"},{"unstructured":"Mogavero, F., Murano, A., Vardi, M.Y.: Reasoning about strategies. In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), vol. 8, pp. 133\u2013144 (2010)","key":"4_CR19"},{"key":"4_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal Verification of Reactive Systems - Safety","author":"Z Manna","year":"1995","unstructured":"Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems - Safety. Springer, New York (1995)"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/11752660_6","volume-title":"Agent-Oriented Software Engineering VI","author":"AU Mallya","year":"2006","unstructured":"Mallya, A.U., Singh, M.P.: Incorporating commitment protocols into tropos. In: M\u00fcller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, vol. 3950, pp. 69\u201380. Springer, Heidelberg (2006)"},{"key":"4_CR22","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C Szyperski","year":"2002","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley, Reading (2002)","edition":"2"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-39800-4_2","volume-title":"Formal Methods for Software Architectures","author":"A Lamsweerde van","year":"2003","unstructured":"van Lamsweerde, A.: From system goals to software architecture. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, pp. 25\u201343. Springer, Heidelberg (2003)"},{"doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A.: Elaborating security requirements by construction of intentional anti-models. In: ICSE, pp. 148\u2013157 (2004)","key":"4_CR24","DOI":"10.1109\/ICSE.2004.1317437"},{"key":"4_CR25","volume-title":"Requirements Engineering - From System Goals to UML Models to Software Specifications","author":"A Lamsweerde van","year":"2009","unstructured":"van Lamsweerde, A.: Requirements Engineering - From System Goals to UML Models to Software Specifications. Wiley, Chichester (2009)"},{"unstructured":"Yu, E.S.-K.: Modelling strategic relationships for process reengineering. Ph.D. thesis, University of Toronto, Toronto, ON, Canada, UMI Order No. GAXNN-02887 (Canadian dissertation) (1996)","key":"4_CR26"},{"key":"4_CR27","first-page":"99","volume-title":"Conceptual Modeling: Foundations and Applications","author":"Eric S. Yu","year":"2009","unstructured":"Yu, E.S.-K.: Social modeling and i*. In: Conceptual Modeling: Foundations and Applications, pp. 99\u2013121 (2009)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-29473-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T06:36:43Z","timestamp":1748759803000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-29473-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319294728","9783319294735"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29473-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}