{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:43:29Z","timestamp":1771026209987,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540248439","type":"print"},{"value":"9783540318460","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31846-0_11","type":"book-chapter","created":{"date-parts":[[2010,7,5]],"date-time":"2010-07-05T19:28:48Z","timestamp":1278358128000},"page":"180-197","source":"Crossref","is-referenced-by-count":5,"title":["Specification of Role-Based Interactions Components in Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Nabil","family":"Hameurlain","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Sibertin-Blanc","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1142\/S0218843097000069","volume":"6","author":"F.M.T. Brazier","year":"1997","unstructured":"Brazier, F.M.T., Dunin Keplicz, B., Jennings, N., Treur, J.: Desire: Modelling Multi-agent Systems in a Compositional Formal Framework. International Journal of Cooperative Information Systems\u00a06, 67\u201394 (1997)","journal-title":"International Journal of Cooperative Information Systems"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Dastani, M., Dignum, V., Dignum, F.: Role Assignment in Open Agent Societies. In: AAMAS 2003. ACM, New York (2003)","DOI":"10.1145\/860575.860654"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-540-30578-1_13","volume-title":"Agent-Oriented Software Engineering V","author":"M. Dastani","year":"2005","unstructured":"Dastani, M., van Riemsdijk, M.B., Huslstijn, J., Dignum, F., Meyer, J.-J.: Enacting and Deacting Roles in Agent Programming. In: Odell, J.J., Giorgini, P., M\u00fcller, J.P. (eds.) AOSE 2004. LNCS, vol.\u00a03382, pp. 189\u2013204. Springer, Heidelberg (2005)"},{"issue":"3","key":"11_CR4","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1142\/S0218194001000529","volume":"11","author":"R. Depke","year":"2001","unstructured":"Depke, R., Heckel, R., Kuster, J.M.: Roles in Agent-Oriented Modeling. International Journal of Software engineering and Knowledge engineering\u00a011(3), 281\u2013302 (2001)","journal-title":"International Journal of Software engineering and Knowledge engineering"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-540-39964-3_11","volume-title":"On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE","author":"G. Cabri","year":"2003","unstructured":"Cabri, G., Leonardi, L., Zambonelli, F.: BRAIN: a Framework for Flexible Role-based Interactions in Multi-agent Systems. In: Meersman, R., Tari, Z., Schmidt, D.C. (eds.) CoopIS 2003, DOA 2003, and ODBASE 2003. LNCS, vol.\u00a02888, pp. 145\u2013161. Springer, Heidelberg (2003)"},{"issue":"2","key":"11_CR6","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic Verification of finite-State Concurrent Systems using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"11_CR7","unstructured":"Ferber, J., Gutknecht, O.: Aalaadin: A Meta-model for the Analysis and Design of Organizations in Multiagent system. In: ICMAS (1998)"},{"key":"11_CR8","volume-title":"ICMAS 2000","author":"P. Gruer","year":"2000","unstructured":"Gruer, P., Hilaire, V., Koukam, A.: Formal Specification and Verification of Multi-agent Systems. In: ICMAS 2000. IEEE, Los Alamitos (2000)"},{"key":"11_CR9","volume-title":"Essential IDL: Interface Design for COM.","author":"M. Gudgin","year":"2001","unstructured":"Gudgin, M.: Essential IDL: Interface Design for COM. Addison-Wesley, Reading (2001)"},{"key":"11_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/3-540-45941-3_14","volume-title":"From Theory to Practice in Multi-Agent Systems","author":"N. Hameurlain","year":"2002","unstructured":"Hameurlain, N.: Formal Semantics for Behavioural Substitutability of Agent Components: Application to Interaction Protocols. In: Dunin-Keplicz, B., Nawarecki, E. (eds.) CEEMAS 2001. LNCS (LNAI), vol.\u00a02296, pp. 131\u2013140. Springer, Heidelberg (2002)"},{"key":"11_CR11","first-page":"131","volume-title":"AAMAS","author":"C. Hanachi","year":"2004","unstructured":"Hanachi, C., Sibertin-Blanc, C.: Protocol Moderators as Active Middle-Agents in Multi-Agent Systems. In: AAMAS, vol.\u00a08(3), pp. 131\u2013164. Kluwer Academic Publishers, Dordrecht (2004)"},{"issue":"2","key":"11_CR12","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/4434.846192","volume":"8","author":"E.A. Kendall","year":"2000","unstructured":"Kendall, E.A.: Role Modelling for Agent Systems Analysis, Design and Implementation. IEEE Concurrency\u00a08(2), 34\u201341 (2000)","journal-title":"IEEE Concurrency"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/3-540-70657-7_5","volume-title":"Agent-Oriented Software Engineering II","author":"J.-L. Koning","year":"2002","unstructured":"Koning, J.-L., Huget, M.-P., Wei, J., Wang, X.: Extended Modeling Languages for Interaction Protocol Design. In: Wooldridge, M.J., Wei\u00df, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol.\u00a02222, pp. 93\u2013100. Springer, Heidelberg (2002)"},{"key":"11_CR14","first-page":"57","volume-title":"Proc. 2nd International Conference on Object-Oriented Information Systems (OOIS 1995)","author":"B.B. Kristensen","year":"1995","unstructured":"Kristensen, B.B.: Object Oriented Modeling with Roles. In: Proc. 2nd International Conference on Object-Oriented Information Systems (OOIS 1995), pp. 57\u201371. Springer, Heidelberg (1995)"},{"key":"11_CR15","doi-asserted-by":"crossref","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, Heidelberg (1995)"},{"issue":"4","key":"11_CR16","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"11_CR17","volume-title":"Object-Oriented software Construction.","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented software Construction. Prentice Hall, Upper Saddle River (1997)"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-540-24620-6_14","volume-title":"Agent-Oriented Software Engineering IV","author":"J. Odell","year":"2004","unstructured":"Odell, J., Parunak, H.V.D., Brueckner, S., Sauter, J.: Temporal Aspects of Dynamic Role Assignment. In: Giorgini, P., M\u00fcller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol.\u00a02935, pp. 201\u2013213. Springer, Heidelberg (2004)"},{"key":"11_CR19","unstructured":"OMG.: OMG Unified Modeling Language specifications. Report V1.3, OMG (June 1999)"},{"key":"11_CR20","unstructured":"OMG.: The Common Object Request Broker: Architecture and Specifications. Report V2.4, OMG (2000)"},{"key":"11_CR21","unstructured":"Luck, M., d\u2019Inverno, M.: A formal Framework for Agency and Autonomy. In: ICMAS 1995. AAAI Press\/MIT Press (1995)"},{"key":"11_CR22","unstructured":"Roch, S., Starke, P.H.: INA: Integrated Net Analyzer, Version 2.2., Humboldt-Universitat of Berlin (April 1999)"},{"key":"11_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/3-540-45397-0_7","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"C. Sibertin-Blanc","year":"2001","unstructured":"Sibertin-Blanc, C.: CoOperative Objects: Principles, Use and Implementation. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02001, p. 216. Springer, Heidelberg (2001)"},{"key":"11_CR24","unstructured":"Sibertin-Blanc, C., et al.: SYROCO: Reference Manual V7., University Toulouse1 (C) 1995, 97, CNET and University Toulouse 1 (October 1996), Available at \n                    \n                      http:\/\/www.daimi.aau.dk\/PetriNet\/tools"},{"key":"11_CR25","unstructured":"Sun Microsystems,JavaBeans 1.01 Specification, Available at \n                    \n                      http:\/\/java.sun.com\/beans"},{"key":"11_CR26","volume-title":"Component Software-Beyond Object-Oriented Programming","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C.: Component Software-Beyond Object-Oriented Programming. Addison-Wesley, Reading (2002)"},{"key":"11_CR27","volume-title":"The Object Constraint Language","author":"J. Warmer","year":"1999","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language. Addison Wesley, Reading (1999)"},{"issue":"3","key":"11_CR28","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1145\/958961.958963","volume":"12","author":"F. Zambonelli","year":"2003","unstructured":"Zambonelli, F., Jennings, N., Wooldridge, M.: Developing Multiagent Systems: The Gaia Methodology. ACM Transactions on Software Engineering and Methodology\u00a012(3), 317\u2013370 (2003)","journal-title":"ACM Transactions on Software Engineering and Methodology"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Multi-Agent Systems III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31846-0_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:42:08Z","timestamp":1620013328000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31846-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540248439","9783540318460"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31846-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}