{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:06:48Z","timestamp":1725631608055},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642250316"},{"type":"electronic","value":"9783642250323"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-25032-3_13","type":"book-chapter","created":{"date-parts":[[2011,11,9]],"date-time":"2011-11-09T01:27:53Z","timestamp":1320802073000},"page":"188-203","source":"Crossref","is-referenced-by-count":1,"title":["A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic"],"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","reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/BFb0028774","volume-title":"Computer Aided Verification","author":"R. Alur","year":"1998","unstructured":"Alur, R., Henzinger, T., Mang, F., Qadeer, S., Rajamani, S., Tasiran, S.: MOCHA: Modularity in model checking. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 521\u2013525. Springer, Heidelberg (1998)"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T., Kupferman, O.: Alternating-time temporal logic. J. ACM, 672\u2013713 (2002)","DOI":"10.1145\/585265.585270"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An agent-oriented software development methodology. Autonomous Agents and Multi-Agent Systems, 203\u2013236 (2004)","DOI":"10.1023\/B:AGNT.0000018806.20944.ef"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Brihaye, T., Da Costa, A., Laroussinie, F., Markey, N.: ATL with strategy contexts and bounded memory. Logical Foundations of Computer Science, 92\u2013106 (2009)","DOI":"10.1007\/978-3-540-92687-0_7"},{"key":"13_CR5","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":"A. Chopra","year":"2010","unstructured":"Chopra, A., Dalpiaz, F., Giorgini, P., Mylopoulos, J.: Modeling and reasoning about service-oriented applications via goals and commitments. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol.\u00a06051, pp. 113\u2013128. Springer, Heidelberg (2010)"},{"key":"#cr-split#-13_CR6.1","unstructured":"Chopra, A., 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-464 (2010);"},{"key":"#cr-split#-13_CR6.2","unstructured":"International Foundation for Autonomous Agents and Multiagent Systems"},{"key":"#cr-split#-13_CR7.1","unstructured":"Chopra, A., Singh, M.: Multiagent commitment alignment. In: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, vol.??2, pp. 937-944 (2009);"},{"key":"#cr-split#-13_CR7.2","unstructured":"International Foundation for Autonomous Agents and Multiagent Systems"},{"key":"13_CR8","unstructured":"Du Bois, P.: The Albert II reference manual. Tech. rep., University of Namur, Belgium (1997)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Dubois, E., Du Bois, P., Petit, M.: ALBERT: an agent-oriented language for building and eliciting requirements for real-time systems. In: Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences. Information Systems: Collaboration Technology Organizational Systems and Technology, vol.\u00a04, pp. 713\u2013722. IEEE (1994)","DOI":"10.1109\/HICSS.1994.323448"},{"key":"13_CR10","unstructured":"van Lamsweerde, A.: Requirements engineering, From System Goals to UML Models to Software Specifications. Wiley (2009)"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Letier, E., van Lamsweerde, A.: Agent-based tactics for goal-oriented requirements elaboration. In: Proceedings of the 24rd International Conference on Software Engineering, ICSE 2002, pp. 83\u201393 (May 2002)","DOI":"10.1145\/581352.581353"},{"key":"13_CR12","first-page":"128","volume-title":"Proceedings of the 10th ACM SIGSOFT Symposium on Foundations of Software Engineering","author":"E. Letier","year":"2002","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, New York (2002)"},{"key":"13_CR13","unstructured":"Letier, E.: Reasoning about Agents in Goal-Oriented Requirements Engineering. Ph.D. thesis, Universite Catholique de Louvain (November 05, 2002)"},{"key":"13_CR14","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":"A. Mallya","year":"2006","unstructured":"Mallya, A., Singh, M.: Incorporating commitment protocols into Tropos. In: M\u00fcller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, vol.\u00a03950, pp. 69\u201380. Springer, Heidelberg (2006)"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Compouter Science, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Silva, C., Castro, J., Tedesco, P., Ara\u00fajo, J., Moreira, A., Mylopoulos, J.: Improving the architectural design of multi-agent systems: the tropos case. In: Proceedings of the 2006 International Workshop on Software Engineering for Large-Scale Multi-Agent Systems, pp. 107\u2013113. ACM (2006)","DOI":"10.1145\/1138063.1138083"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/3-540-70657-7_14","volume-title":"Agent-Oriented Software Engineering II","author":"E. Yu","year":"2002","unstructured":"Yu, E.: Agent-oriented modelling: software versus the world. In: Wooldridge, M.J., Wei\u00df, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol.\u00a02222, pp. 206\u2013225. Springer, Heidelberg (2002)"},{"key":"13_CR18","unstructured":"Yu, E.: Social modelling and i*. In: Conceptual Modelling: Foundations and Applications (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-642-25032-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T08:01:18Z","timestamp":1560931278000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25032-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642250316","9783642250323"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25032-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}