{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:51:04Z","timestamp":1725583864537},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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_2","type":"book-chapter","created":{"date-parts":[[2011,5,27]],"date-time":"2011-05-27T09:18:28Z","timestamp":1306487908000},"page":"21-38","source":"Crossref","is-referenced-by-count":5,"title":["Generating Executable Multi-agent System Prototypes from SONAR Specifications"],"prefix":"10.1007","author":[{"given":"Michael","family":"K\u00f6hler-Bu\u00dfmeier","sequence":"first","affiliation":[]},{"given":"Matthias","family":"Wester-Ebbinghaus","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Moldt","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","first-page":"229","volume-title":"Multiagent Systems","author":"K.M. Carley","year":"1999","unstructured":"Carley, K.M., Gasser, L.: Computational organisation theory. In: Wei\u00df, G. (ed.) Multiagent Systems, pp. 229\u2013330. MIT Press, Cambridge (1999)"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Dignum, V. (ed.): Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models. IGI Global, Information Science Reference (2009)","DOI":"10.4018\/978-1-60566-256-5"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-642-00899-3_6","volume-title":"Transactions on Petri Nets and Other Models of Concurrency II","author":"M. K\u00f6hler-Bu\u00dfmeier","year":"2009","unstructured":"K\u00f6hler-Bu\u00dfmeier, M., Wester-Ebbinghaus, M., Moldt, D.: A formal model for organisational structures behind process-aware information systems. In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets and Other Models of Concurrency II. LNCS, vol.\u00a05460, pp. 98\u2013114. Springer, Heidelberg (2009)"},{"key":"2_CR4","first-page":"415","volume":"79","author":"M. K\u00f6hler","year":"2007","unstructured":"K\u00f6hler, M.: A formal model of multi-agent organisations. Fundamenta Informaticae\u00a079, 415\u2013430 (2007)","journal-title":"Fundamenta Informaticae"},{"volume-title":"Petri Nets for System Engineering \u2013 A Guide to Modeling, Verification, and Applications","year":"2003","key":"2_CR5","unstructured":"Girault, C., Valk, R. (eds.): Petri Nets for System Engineering \u2013 A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2003)"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"819","DOI":"10.1007\/978-3-540-27755-2_23","volume-title":"Lectures on Concurrency and Petri Nets","author":"R. Valk","year":"2004","unstructured":"Valk, R.: Object Petri nets: Using the nets-within-nets paradigm. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Advanced Course on Petri Nets. LNCS, vol.\u00a03098, pp. 819\u2013848. Springer, Heidelberg (2004)"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-540-27793-4_29","volume-title":"Applications and Theory of Petri Nets 2004","author":"O. Kummer","year":"2004","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M., Schumacher, J., K\u00f6hler, M., Moldt, D., R\u00f6lke, H., Valk, R.: An extensible editor and simulation engine for Petri nets: Renew. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 484\u2013493. Springer, Heidelberg (2004)"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/3-540-45740-2_14","volume-title":"Applications and Theory of Petri Nets 2001","author":"M. K\u00f6hler","year":"2001","unstructured":"K\u00f6hler, M., Moldt, D., R\u00f6lke, H.: Modeling the behaviour of Petri net agents. In: Colom, J.M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol.\u00a02075, pp. 224\u2013241. Springer, Heidelberg (2001)"},{"key":"2_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-540-87805-6_5","volume-title":"Multiagent System Technologies","author":"L. Cabac","year":"2008","unstructured":"Cabac, L., D\u00f6rges, T., Duvigneau, M., Moldt, D., Reese, C., Wester-Ebbinghaus, M.: Agent models for concurrent software systems. In: Bergmann, R., Lindemann, G. (eds.) MATES 2008. LNCS (LNAI), vol.\u00a05244, pp. 37\u201348. Springer, Heidelberg (2008)"},{"key":"2_CR10","volume-title":"Fundamentals of algebraic graph transformation","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of algebraic graph transformation. Springer, Heidelberg (2006)"},{"key":"2_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-540-45185-3_7","volume-title":"Holonic and Multi-Agent Systems for Manufacturing","author":"K. Fischer","year":"2003","unstructured":"Fischer, K., Schillo, M., Siekmann, J.: Holonic multiagent systems: A foundation for the organisation of multiagent systems. In: Ma\u0159\u00edk, V., McFarlane, D.C., Valckenaers, P. (eds.) HoloMAS 2003. LNCS (LNAI), vol.\u00a02744, pp. 71\u201380. Springer, Heidelberg (2003)"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-642-18222-8_8","volume-title":"Transactions on Petri Nets and Other Models of Concurrency IV","author":"M. Wester-Ebbinghaus","year":"2010","unstructured":"Wester-Ebbinghaus, M., Moldt, D., K\u00f6hler-Bu\u00dfmeier, M.: Modelling an open and controlled system unit as a modular component of systems of systems. In: Jensen, K., Donatelli, S., Koutny, M. (eds.) Transactions on Petri Nets and Other Models of Concurrency IV. LNCS, vol.\u00a06550, pp. 174\u2013198. Springer, Heidelberg (2010)"},{"key":"2_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-75524-1_5","volume-title":"Engineering Societies in the Agents World VII","author":"O. Boissier","year":"2007","unstructured":"Boissier, O., H\u00fcbner, J.F., Sichman, J.S.: Organization oriented programming: From closed to open organizations. In: O\u2019Hare, G., Ricci, A., O\u2019Grady, M., Dikenelli, O. (eds.) ESAW 2006. LNCS (LNAI), vol.\u00a04457, pp. 86\u2013105. Springer, Heidelberg (2007)"},{"key":"2_CR14","unstructured":"K\u00f6hler-Bu\u00dfmeier, M., Wester-Ebbinghaus, M.: A Petri net based prototype for MAS organisation middleware. In: Moldt, D. (ed.) Workshop on Modelling, object, components, and agents (MOCA 2009), University of Hamburg, Department for Computer Science, pp. 29\u201344 (2009)"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-642-04143-3_27","volume-title":"Multiagent System Technologies","author":"M. K\u00f6hler-Bu\u00dfmeier","year":"2009","unstructured":"K\u00f6hler-Bu\u00dfmeier, M., Wester-Ebbinghaus, M.: Sonar: A multi-agent infrastructure for active application architectures and inter-organisational information systems. In: Braubach, L., van der Hoek, W., Petta, P., Pokahr, A. (eds.) MATES 2009. LNCS, vol.\u00a05774, pp. 248\u2013257. Springer, Heidelberg (2009)"},{"key":"2_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/11775331_5","volume-title":"Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems","author":"J.F. H\u00fcbner","year":"2006","unstructured":"H\u00fcbner, J.F., Sichman, J.S., Boissier, O.: S-MOISE: A middleware for developing organised multi-agent systems. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., V\u00e1zquez-Salceda, J. (eds.) ANIREM 2005 and OOOP 2005. LNCS (LNAI), vol.\u00a03913, pp. 64\u201378. Springer, Heidelberg (2006)"},{"key":"2_CR17","unstructured":"Esteva, M., Rodriguez-Aguilar, J., Rosell, B., Arcos, J.: Ameli: An agent-based middleware for electronic institutions. In: Sierra, C., Sonenberg, L., Tambe, M. (eds.) Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004), pp. 236\u2013243 (2004)"},{"key":"2_CR18","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1023\/A:1024176820874","volume":"7","author":"D. Pynadath","year":"2003","unstructured":"Pynadath, D., Tambe, M.: An automated teamwork infrastructure for heterogeneous software agents and humans. Autonomous Agents and Multi-Agent Systems\u00a07, 71\u2013100 (2003)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s10458-009-9084-y","volume":"20","author":"J.F. H\u00fcbner","year":"2010","unstructured":"H\u00fcbner, J.F., Boissier, O., Kitio, R., Ricci, A.: Instrumenting multi-agent organisations with organisational artifacts and agents. Autonomous Agents and Multi-Agent Systems\u00a020, 369\u2013400 (2010)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-642-02562-4_3","volume-title":"Engineering Societies in the Agents World IX","author":"M. Wester-Ebbinghaus","year":"2009","unstructured":"Wester-Ebbinghaus, M., K\u00f6hler-Bu\u00dfmeier, M., Moldt, D.: From multi-agent to multi-organization systems: Utilizing middleware approaches. In: Artikis, A., Picard, G., Vercouter, L. (eds.) ESAW 2008. LNCS, vol.\u00a05485, pp. 46\u201365. Springer, Heidelberg (2009)"},{"key":"2_CR21","unstructured":"Wester-Ebbinghaus, M., Moldt, D.: Structure in threes: Modelling organization-oriented software architectures built upon multi-agent systems. In: Proceedings of the 7th International Conference an Autonomous Agents and Multi-Agent Systems (AAMAS 2008), pp. 1307\u20131311 (2008)"}],"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_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T03:32:23Z","timestamp":1560223943000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21268-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642212673","9783642212680"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21268-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}