{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T02:27:34Z","timestamp":1761964054609,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642212673"},{"type":"electronic","value":"9783642212680"}],"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-21268-0_3","type":"book-chapter","created":{"date-parts":[[2011,5,27]],"date-time":"2011-05-27T13:18:28Z","timestamp":1306502308000},"page":"39-57","source":"Crossref","is-referenced-by-count":13,"title":["Modeling Norms in Multi-agent Systems with NormML"],"prefix":"10.1007","author":[{"given":"Karen","family":"da Silva Figueiredo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viviane","family":"Torres da Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christiano","family":"de Oliveira Braga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"L\u00f3pez y L\u00f3pez, F.: Social power and norms: impact on agent behavior. PhD thesis, Univ. of Southampton, Department of Electronics and Computer Science (2003)"},{"key":"3_CR2","series-title":"LNAI","first-page":"39","volume-title":"COIN 2010","author":"V. Silva","year":"2011","unstructured":"Silva, V., Braga, C., Figueiredo, K.: A Modeling Language to Model Norms. In: De Vos, M., et al. (eds.) COIN 2010. LNCS (LNAI), vol.\u00a06541, pp. 39\u201357. Springer, Heidelberg (2011)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Aldewereld, H., Dignum, F., Garcia-Camino, A., Noriega, P., Rodriguez-Aguilar, J., Sierra, C.: Operationalisation of norms for usage in electronic institutions. In: Proc. 5th AAMAS, pp. 223\u2013225 (2006)","DOI":"10.1145\/1160633.1160669"},{"key":"3_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/978-3-540-74459-7_20","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent Systems II","author":"S. Cranefield","year":"2007","unstructured":"Cranefield, S.: Modelling and monitoring social expectations in multi-agent systems. In: Noriega, P., V\u00e1zquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS (LNAI), vol.\u00a04386, pp. 308\u2013321. Springer, Heidelberg (2007)"},{"key":"3_CR5","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1145\/1082473.1082575","volume-title":"Proc. 4th AAMAS","author":"A. Garc\u00eda-Camino","year":"2005","unstructured":"Garc\u00eda-Camino, A., Noriega, P., Rodr\u00edguez-Aguilar, J.: Implementing norms in electronic institutions. In: Proc. 4th AAMAS, pp. 667\u2013673. ACM Press, New York (2005)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-79488-2_1","volume-title":"Agent-Oriented Software Engineering VIII","author":"J. Garcia-Ojeda","year":"2008","unstructured":"Garcia-Ojeda, J., DeLoach, S., Robby, O., Valenzuela, J.: O-maSE: A customizable approach to developing multiagent development processes. In: Luck, M., Padgham, L. (eds.) AOSE VIII. LNCS, vol.\u00a04951, pp. 1\u201315. Springer, Heidelberg (2008)"},{"key":"3_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-25927-5_8","volume-title":"Deontic Logic in Computer Science","author":"G. Governatori","year":"2004","unstructured":"Governatori, G., Rotolo, A.: Defeasible logic: Agency, intention and obligation. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol.\u00a03065, pp. 114\u2013128. Springer, Heidelberg (2004)"},{"issue":"1","key":"3_CR8","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.jal.2004.01.005","volume":"2","author":"A. Lomuscio","year":"2004","unstructured":"Lomuscio, A., Sergot, M.: A formalization of violation, error recovery, and enforcement in the bit transmission problem. Journal of Applied Logic\u00a02(1), 93\u2013116 (2004)","journal-title":"Journal of Applied Logic"},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"674","DOI":"10.1145\/544862.544905","volume-title":"Proceedings of the 1st AAMAS","author":"F. L\u00f3pez y L\u00f3pez","year":"2002","unstructured":"L\u00f3pez y L\u00f3pez, F., Luck, M., d\u2019Inverno, M.: Constraining autonomy through norms. In: Proceedings of the 1st AAMAS, pp. 674\u2013681. ACM Press, New York (2002)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Silva, V.: From the specification to the implementation of norms: an automatic approach to generate rules from norms to govern the behaviour of agents. In: IJAAMAS, Special Issue on Norms in Multi-Agent Systems, pp. 113\u2013155 (2008)","DOI":"10.1007\/s10458-008-9039-8"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Vasconcelos, W., Kollingbaum, M. and Norman, T.: Resolving conflict and inconsistency in norm-regulated virtual organizations. In Proc. AAMAS 2007 (2007)","DOI":"10.1145\/1329125.1329236"},{"key":"3_CR12","volume-title":"Deontic logic in computer science: normative system specification","author":"J.J. Meyer","year":"1991","unstructured":"Meyer, J.J., Wieringa, R.J.: Deontic logic in computer science: normative system specification. John Wiley and Sons, Chichester (1991)"},{"key":"3_CR13","unstructured":"Odell, J., Parunak, H., Bauer, B.: Extending UML for agents. In: Proc. Agent-Oriented Information Systems Workshop at National Conf. of AI, pp. 3\u201317 (2000)"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-540-31846-0_12","volume-title":"Software Engineering for Multi-Agent Systems III","author":"R. Choren","year":"2005","unstructured":"Choren, R., Lucena, C.: The ANote Modeling Language for Agent-Oriented Specification. In: Choren, R., Garcia, A., Lucena, C., Romanovsky, A. (eds.) SELMAS 2004. LNCS, vol.\u00a03390, pp. 198\u2013212. Springer, Heidelberg (2005)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/3-540-70657-7_8","volume-title":"Agent-Oriented Software Engineering II","author":"G. Caire","year":"2002","unstructured":"Caire, G., Coulier, W., Garijo, F., Gomez, J., Pavon, J., Leal, F., Chainho, P., Kearney, P., Stark, J., Evans, R., Massonet, P.: Agent Oriented Analysis Using Message\/UML. In: Wooldridge, M.J., Wei\u00df, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol.\u00a02222, pp. 119\u2013135. Springer, Heidelberg (2002)"},{"key":"3_CR16","unstructured":"Danc, J.: Formal specification of AML. Department of Computer Science, Comenius University, Master\u2019s Thesis (2008)"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Wagner, G.: The Agent-Object-Relationship meta-model: towards a unified view of state and behavior. Information Systems, 475\u2013504 (2003)","DOI":"10.1016\/S0306-4379(02)00027-3"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Zambonelli, F., Jennings, N.R., Wooldridge, M.J.: Developing multiagent systems: the Gaia methodology. ACM TSEM, 417\u2013470 (2003)","DOI":"10.1145\/958961.958963"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"79","DOI":"10.4018\/978-1-59140-581-8.ch004","volume-title":"Agent-oriented Methods","author":"M. Cossentino","year":"2005","unstructured":"Cossentino, M.: From requirements to code with the PASSI methodology. In: Agent-oriented Methods, pp. 79\u2013106. Idea group, USA (2005)"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1002\/0470861223","volume-title":"Developing intelligent agent systems: a practical guide","author":"L. Padgham","year":"2004","unstructured":"Padgham, L., Winikoff, M.: Developing intelligent agent systems: a practical guide, 225 pages. John Wiley and Sons, Chichester (2004)"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Juan, T., Pierce, A., Sterling, L.: ROADMAP: extending the Gaia methodology for complex open systems. In: Proc. 1st AAMAS, pp. 3\u201310 (2002)","DOI":"10.1145\/544741.544744"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Giorgini, P., Mouratidis, H., Zannone, N.: Modelling security and trust with Secure Tropos. In: Integrating Security Soft. Eng.: Advances and Future Vision (2006)","DOI":"10.4018\/978-1-59904-147-6.ch008"},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/3-540-44564-1_12","volume-title":"Agent-Oriented Software Engineering","author":"S.-W. Zhang","year":"2001","unstructured":"Zhang, S.-W.: SODA: Societies and infrastructures in the analysis and design of agent-based systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, pp. 185\u2013193. Springer, Heidelberg (2001)"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Ferber, J., Stratulat, T., Tranier, J.: Towards an integral approach of organizations: the MASQ approach in multi-agent systems. In: Multi-agent Systems: Semantics and Dynamics of Organizational Models. IGI (2009)","DOI":"10.4018\/978-1-60566-256-5.ch003"},{"key":"3_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/3-540-36127-8_12","volume-title":"Advances in Artificial Intelligence","author":"J.F. H\u00fcbner","year":"2002","unstructured":"H\u00fcbner, J.F., Sichman, J.S., Olivier, B.: A model for the structural, functional, and deontic specification of organizations in multiagent systems. In: Bittencourt, G., Ramalho, G.L. (eds.) SBIA 2002. LNCS (LNAI), vol.\u00a02507, pp. 118\u2013128. Springer, Heidelberg (2002)"},{"key":"3_CR26","unstructured":"Dignum, V.: A model for organizational interaction: based on agents, founded in logic. PhD dissertation, Universiteit Utrecht, SIKS dissertation series 2004-1 (2004)"},{"key":"3_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-642-02562-4_4","volume-title":"Engineering Societies in the Agents World IX","author":"A. Molesini","year":"2009","unstructured":"Molesini, A., Denti, E., Omicini, A.: RBAC-MAS & SODA: experimenting RBAC in AOSE engineering societies in the agents world. In: Artikis, A., Picard, G., Vercouter, L. (eds.) ESAW 2008. LNCS, vol.\u00a05485, pp. 69\u201384. Springer, Heidelberg (2009)"},{"key":"3_CR28","unstructured":"Oren, N., Luck, M., Miles, S., Norman, T.J.: An argumentation inspired heuristic for resolving normative conflict. In: Proc. of Workshop COIN at AAMAS, pp. 41\u201356 (2008)"},{"key":"3_CR29","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-540-32258-0_9","volume-title":"Agent Communication","author":"L. Kagal","year":"2005","unstructured":"Kagal, L., Finin, T.: Modeling Conversation Policies using Permissions and Obligations. In: van Eijk, R., Huget, M., Dignum, F. (eds.) AC 2004. LNCS (LNAI), vol.\u00a03396, pp. 120\u2013133. Springer, Heidelberg (2005)"},{"key":"3_CR30","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-540-75524-1_11","volume-title":"Engineering Societies in the Agents World VII","author":"A. Garc\u00eda-Camino","year":"2007","unstructured":"Garc\u00eda-Camino, A., Noriega, P., Rodr\u00edguez-Aguilar, J.A.: An Algorithm for Confict Resolution in Regulated Compound Activities. In: O\u2019Hare, G.M.P., Ricci, A., O\u2019Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS (LNAI), vol.\u00a04457, pp. 193\u2013208. Springer, Heidelberg (2007)"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Silva, V., Choren, R., Lucena, C.: MAS-ML: a multi-agent system modelling language. In: IJAOSE, Modeling Lang. for Agent Systems, pp. 382\u2013421 (2008)","DOI":"10.1504\/IJAOSE.2008.020138"},{"key":"3_CR32","volume-title":"Role-based access control","author":"D.F. Ferraiolo","year":"2007","unstructured":"Ferraiolo, D.F., Kuhn, D.R., Chandramouli, R.: Role-based access control, 2nd edn. Artech House Publishers, Boston (2007)","edition":"2"},{"key":"3_CR33","doi-asserted-by":"crossref","unstructured":"Basin, D., Doser, J., Lodderstedt, T.: Model driven security: from UML models to access control infrastructures. ACM TSEM, 39\u201391 (2006)","DOI":"10.1145\/1125808.1125810"},{"key":"3_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-540-69100-6_22","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"M. Clavel","year":"2008","unstructured":"Clavel, M., Silva, V., Braga, C., Egea, M.: Model-driven security in practice: An industrial experience. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol.\u00a05095, pp. 326\u2013337. Springer, Heidelberg (2008)"},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"Basin, D., Clavel, M., Doser, J., Egea, M.: Automated analysis of security-design models. Inf. Software Technology, 815\u2013831 (2009)","DOI":"10.1016\/j.infsof.2008.05.011"},{"key":"3_CR36","unstructured":"Object Management Group: OCL Specification, OMG, http:\/\/www.omg.org\/docs\/ptc\/03-10-14.pdf (accessed: May 1, 2010)"},{"key":"3_CR37","unstructured":"EOS, http:\/\/maude.sip.ucm.es\/eos\/ (accessed: May 1, 2010)"}],"container-title":["Lecture Notes in Computer Science","Coordination, Organizations, Institutions, and Norms in Agent Systems VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21268-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,7]],"date-time":"2023-06-07T03:05:30Z","timestamp":1686107130000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21268-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642212673","9783642212680"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21268-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}