{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T06:45:02Z","timestamp":1742971502115,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642013379"},{"type":"electronic","value":"9783642013386"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-01338-6_11","type":"book-chapter","created":{"date-parts":[[2009,3,23]],"date-time":"2009-03-23T02:25:59Z","timestamp":1237775159000},"page":"145-158","source":"Crossref","is-referenced-by-count":9,"title":["The Formal Semantics of the Domain Specific Modeling Language for Multiagent Systems"],"prefix":"10.1007","author":[{"given":"Christian","family":"Hahn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Fischer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-44564-1_6","volume-title":"Agent-Oriented Software Engineering","author":"B. Bauer","year":"2001","unstructured":"Bauer, B., M\u00fcller, J., Odell, J.: Agent UML: A formalism for specifying multiagent interaction. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, pp. 91\u2013103. Springer, Heidelberg (2001)"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/11767138_31","volume-title":"Advanced Information Systems Engineering","author":"L. Penserini","year":"2006","unstructured":"Penserini, L., Perini, A., Susi, A., Mylopoulos, J.: From stakeholder intentions to software agent implementations. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol.\u00a04001, pp. 465\u2013479. Springer, Heidelberg (2006)"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Papasimeon, M., Heinze, C.: Extending the UML for designing JACK agents. In: Proceedings of the Australian Software Engineering Conference, ASWEC 2001 (2001)","DOI":"10.1109\/ASWEC.2001.948502"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-540-75524-1_3","volume-title":"Engineering Societies in the Agents World VII","author":"R.H. Bordini","year":"2007","unstructured":"Bordini, R.H., Dastani, M., Winikoff, M.: Current issues in multi-agent systems development. In: O\u2019Hare, G.M.P., Ricci, A., O\u2019Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS, vol.\u00a04457, pp. 38\u201361. Springer, Heidelberg (2007)"},{"key":"11_CR5","unstructured":"Hahn, C.: A platform independent agent-based modeling language. In: Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 233\u2013240 (2008)"},{"key":"11_CR6","series-title":"Advances in Formal Methods","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5265-9","volume-title":"The Object-Z Specification Language","author":"G. Smith","year":"2000","unstructured":"Smith, G.: The Object-Z Specification Language. Advances in Formal Methods, vol.\u00a01. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"11_CR7","volume-title":"Using Z: Specification, Refinement, and Proof","author":"J. Woodcock","year":"1996","unstructured":"Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. Prentice-Hall International, Englewood Cliffs (1996)"},{"key":"11_CR8","volume-title":"The Z Notation: A Reference Manual","author":"J.M. Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice Hall International Series in Computer Science, Englewood Cliffs (1992)","edition":"2"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/3-540-40911-4_7","volume-title":"Integrated Formal Methods","author":"G. Smith","year":"2000","unstructured":"Smith, G., Hayes, I.J.: Structuring real-time Object-Z specifications. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol.\u00a01945, pp. 97\u2013115. Springer, Heidelberg (2000)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Hahn, C., Madrigal-Mora, C., Fischer, K.: A platform-independent metamodel for multiagent systems. International Journal of Autonomous Agents and Multi-Agent Systems (2008)","DOI":"10.1007\/s10458-008-9042-0"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Warwas, S., Hahn, C.: The contrete syntax of the platform independent modeling language for multiagent systems. In: Proceedings of the Agent-based Technologies and applications for enterprise interOPerability (ATOP 2008). Workshop hold at the Seventh International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2008 (2008)","DOI":"10.1007\/978-3-642-01668-4_8"},{"key":"11_CR12","unstructured":"Roe, D., Broda, K., Russo, A.: Mapping UML models incorporating OCL constraints into Object-Z. Technical Report 2003\/9, Imperial College, 180 Queen\u2019s Gate, London (2002)"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/11880240_4","volume-title":"Model Driven Engineering Languages and Systems","author":"G. O\u2019Keefe","year":"2006","unstructured":"O\u2019Keefe, G.: Improving the definition of UML. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 42\u201356. Springer, Heidelberg (2006)"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/978-3-540-69489-2_39","volume-title":"Models in Software Engineering","author":"M. Broy","year":"2007","unstructured":"Broy, M., Crane, M.L., Dingel, J., Hartman, A., Rumpe, B., Selic, B.: 2 $^{\\mbox{nd}}$ UML 2 semantics symposium: Formal semantics for UML. In: K\u00fchne, T. (ed.) MoDELS 2006. LNCS, vol.\u00a04364, pp. 318\u2013323. Springer, Heidelberg (2007)"},{"key":"11_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04607-4","volume-title":"Understanding agent systems","author":"M. d\u2019Inverno","year":"2001","unstructured":"d\u2019Inverno, M., Luck, M.: Understanding agent systems. Springer, New York (2001)"},{"key":"11_CR16","volume-title":"The Z notation: a reference manual","author":"J.M. Spivey","year":"1989","unstructured":"Spivey, J.M.: The Z notation: a reference manual. Prentice-Hall, Inc., Upper Saddle River (1989)"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/11426714_9","volume-title":"Agent-Oriented Information Systems II","author":"A. Brand\u00e3o","year":"2005","unstructured":"Brand\u00e3o, A., Alencar, P.S.C., de Lucena, C.J.P.: AgentZ: Extending Object-Z for multi-agent systems specification. In: Bresciani, P., Giorgini, P., Henderson-Sellers, B., Low, G., Winikoff, M. (eds.) AOIS 2004. LNCS, vol.\u00a03508, pp. 125\u2013139. Springer, Heidelberg (2005)"},{"key":"11_CR18","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/3-540-44539-0_9","volume-title":"Engineering Societies in the Agents World","author":"V. Hilaire","year":"2000","unstructured":"Hilaire, V., Koukam, A., Gruer, P., M\u00fcller, J.P.: Formal specification and prototyping of MAS. In: Omicini, A., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2000. LNCS (LNAI), vol.\u00a01972, pp. 114\u2013127. Springer, Heidelberg (2000)"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Yu, E.: Towards modelling and reasoning support for early-phase requirements engineering. In: 3rd IEEE Int. Symp. on Requirements Engineering, pp. 226\u2013235 (1997)","DOI":"10.1109\/ISRE.1997.566873"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Vilkomir, S., Ghose, A., Krishna, A.: Combining agent-oriented conceptual modelling with formal methods. In: Proceedings of the Australian Software Engineering Conference, pp. 147\u2013155 (2004)","DOI":"10.1109\/ASWEC.2004.1290467"}],"container-title":["Lecture Notes in Computer Science","Agent-Oriented Software Engineering IX"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01338-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T20:59:18Z","timestamp":1558213158000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01338-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642013379","9783642013386"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01338-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}