{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T05:30:15Z","timestamp":1740547815473,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642161773"},{"type":"electronic","value":"9783642161780"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16178-0_4","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T10:34:50Z","timestamp":1283942090000},"page":"15-27","source":"Crossref","is-referenced-by-count":0,"title":["A Novel Formal Specification Approach for Real Time Multi-Agent System Functional Requirements"],"prefix":"10.1007","author":[{"given":"Mohamed Amin","family":"Laouadi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farid","family":"Mokhati","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hassina","family":"Seridi-Bouchelaghem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Juli\u00e1n, V., Soler, J., Moncho, M.C., Botti, V.: Real-Time Multi-Agent System Development and Implementation (2004)","DOI":"10.3233\/ICA-2004-11204"},{"key":"4_CR2","unstructured":"Meli\u00e1n, S.F., Mars\u00e1, I., Ukrania, M., Miguel, D.-R., Carmona, A.-L.: Extending the BDI ASDP methodologie for Real Time (2005)"},{"key":"4_CR3","unstructured":"Zhang, L.: Development Method for Multi-Agent Real Time Systems. Faculty of Computer Science and Technology Guangdong University of Technology. International Journal of Information Technology\u00a012(6) (2006)"},{"key":"4_CR4","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1999","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1999)"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Bauer, B., Muller, J.P., Odell, J.: An extension of UML by protocols for multiagent interaction. In: International Conference on MultiAgent Systems (ICMAS\u201900), Boston, Massachussetts, pp. 207\u2013214 (2000)","DOI":"10.1109\/ICMAS.2000.858455"},{"key":"4_CR6","unstructured":"Odell, J., Parunak, H.V.D., Bauer, B.: Extending UML for Agents. In: Wagner, G., Lesperance, Y., Yu, E. (eds.) Proceedings of the Agent-Oriented Information Systems Workshop at the 17th National Conference on Artificial Intelligence, Austin, Texas. ICue Publishing (2000)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/3-540-36540-0_12","volume-title":"Agent-Oriented Software Engineering III","author":"M.P. Huget","year":"2003","unstructured":"Huget, M.P.: Extending agent UML protocol diagrams. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol.\u00a02585, pp. 150\u2013161. Springer, Heidelberg (2003)"},{"key":"4_CR8","unstructured":"Huget, M.P.: Agent UML class diagrams revisited. Technical Report, Department of Computer Science, University of Liverpool, p. 1\u201313 (2002)"},{"key":"4_CR9","unstructured":"Ferber, J.: Les syst\u00e8mes Multi-Agents: vers une intelligence collective, Inter edn., Paris, France (1995)"},{"key":"4_CR10","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":"A. Omicini","year":"2001","unstructured":"Omicini, A.: 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":"4_CR11","unstructured":"Message, http:\/\/www.eurescom.de\/public\/projects\/P900-series\/p907\/"},{"key":"4_CR12","unstructured":"Message, Metamodel, http:\/\/www.eurescom.de\/~public-webspace\/P900-series\/P907\/MetaModel\/index.Htm"},{"key":"4_CR13","unstructured":"Clavel, M., Duran, F., Eker, S., Lincoln, P., Marti-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual (version 2.2). In: SRI International, Menlo Park, CA 94025, USA (2005)"},{"key":"4_CR14","unstructured":"Olveczky, P.C.: Real-Time Maude 2.3 Manual. Department of Informatics, University of Oslo (2007)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Heinze, C., Papasimeon, M., Goss, S.: Specifying Agent behaviour with use Case (2000)","DOI":"10.1007\/3-540-44594-3_10"},{"key":"4_CR16","unstructured":"Papasimeon, M., Heinze, C.: Specifying Requirement in Multi-agent System with use Cases (2000)"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Bauer, B., Odell, J.: UML 2.0 and Agents: How to Build Agent-based Systems with the New UML Standard (2005)","DOI":"10.1016\/j.engappai.2004.11.016"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BF03325096","volume":"1","author":"W. Shen","year":"1999","unstructured":"Shen, W., Norrie, D.-H.: Agent-Based Systems for Intelligent Manufacturing: A State-of-the-Art Survey. Knowledge and Information Systems\u00a01, 129\u2013156 (1999)","journal-title":"Knowledge and Information Systems"}],"container-title":["Lecture Notes in Computer Science","Multiagent System Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16178-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T16:56:59Z","timestamp":1740502619000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16178-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642161773","9783642161780"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16178-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}