{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:23:56Z","timestamp":1725578636053},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642198748"},{"type":"electronic","value":"9783642198755"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","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-19875-5_18","type":"book-chapter","created":{"date-parts":[[2011,3,11]],"date-time":"2011-03-11T12:29:03Z","timestamp":1299846543000},"page":"135-140","source":"Crossref","is-referenced-by-count":3,"title":["Formal Specification of Holonic Multi-Agent Systems: Application to Distributed Maintenance Company"],"prefix":"10.1007","author":[{"given":"Belhassen","family":"Mazigh","sequence":"first","affiliation":[]},{"given":"Vincent","family":"Hilaire","sequence":"additional","affiliation":[]},{"given":"Abderrafiaa","family":"Koukam","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","first-page":"2499","volume-title":"2001 IEEE International Conference on Systems, Man, and Cybernetics","author":"J.P. Gruer","year":"2001","unstructured":"Gruer, J.P., Hilaire, V., Koukam, A.: Multi-agent approach to modeling and simulation of urban transportation systems. In: 2001 IEEE International Conference on Systems, Man, and Cybernetics, vol.\u00a04, pp. 2499\u20132504. IEEE, Los Alamitos (2001)"},{"key":"18_CR2","unstructured":"Gaud, N.: Syst\u00e8mes Multi-Agents Holoniques: de l\u2019analyse \u00e0 l\u2019implantation. PhD thesis, Universit\u00e9 de Technologie de Belfort-Montb\u00e9liard (2007)"},{"key":"18_CR3","series-title":"Lecture Notes in Artificial Intelligence","first-page":"237","volume-title":"HoloMAS 2007","author":"M. Cossentino","year":"2007","unstructured":"Cossentino, M., Gaud, N., Hilaire, V., Galland, S., Koukam, A.: A holonic metamodel for agent-oriented analysis and design. In: Ma\u0159\u00edk, V., Vyatkin, V., Colombo, A.W. (eds.) HoloMAS 2007. LNCS (LNAI), vol.\u00a04659, pp. 237\u2013246. Springer, Heidelberg (2007)"},{"key":"18_CR4","unstructured":"Object Management Group. MDA guide, v1.0.1, OMG\/2003-06-01 (2003)"},{"key":"18_CR5","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/s10458-009-9099-4","volume":"20","author":"M. Cossentino","year":"2010","unstructured":"Cossentino, M., Gaud, N., Hilaire, V., Galland, S., Koukam, A.: ASPECS: an agent-oriented software process for engineering complex systems How to design agent societies under a holonic perspective. Auton. Agent Multi-Agent Syst.\u00a020, 260\u2013304 (2010)","journal-title":"Auton. Agent Multi-Agent Syst."},{"key":"18_CR6","unstructured":"Mazigh, B.: Formal specification using Z and GSPN. Technical Report, the Department of Computer Science, Monastir University (2006)"},{"key":"18_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-349-12144-1","volume-title":"Formal specification using Z","author":"D. Lightfoot","year":"1991","unstructured":"Lightfoot, D.: Formal specification using Z. The Macmillan Press, Basingstoke (1991)"},{"key":"18_CR8","unstructured":"Mazigh, B.: Mod\u00e9lisation et \u00e9valuation des syst\u00e8mes de productions par les r\u00e9seaux de Petri stochastiques g\u00e9n\u00e9ralis\u00e9s. PhD thesis, Universit\u00e9 de Haute Alsace, Mulhouse. France (1994)"},{"key":"18_CR9","volume-title":"Published in the Proceedings of the 1991 Z User Meeting","author":"R.D. Arthan","year":"1992","unstructured":"Arthan, R.D.: On Free Type Definitions in Z. In: Published in the Proceedings of the 1991 Z User Meeting. Springer, Heidelberg (1992)"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1016\/j.simpat.2007.01.005","volume":"15","author":"S. Rodriguez","year":"2007","unstructured":"Rodriguez, S., Hilaire, V., Koukam, A.: Towards a holonic multiple aspect analysis and modeling approach for complex systems: Application to the simulation of industrial plants. Journal Simulation Modelling Practice and Theory\u00a015, 521\u2013543 (2007)","journal-title":"Journal Simulation Modelling Practice and Theory"}],"container-title":["Advances in Intelligent and Soft Computing","Advances on Practical Applications of Agents and Multiagent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19875-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T10:49:43Z","timestamp":1558435783000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19875-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642198748","9783642198755"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19875-5_18","relation":{},"ISSN":["1867-5662","1867-5670"],"issn-type":[{"type":"print","value":"1867-5662"},{"type":"electronic","value":"1867-5670"}],"subject":[],"published":{"date-parts":[[2011]]}}}