{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:30:19Z","timestamp":1725593419757},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642219993"},{"type":"electronic","value":"9783642220005"}],"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-22000-5_10","type":"book-chapter","created":{"date-parts":[[2011,6,27]],"date-time":"2011-06-27T05:21:59Z","timestamp":1309152119000},"page":"84-93","source":"Crossref","is-referenced-by-count":3,"title":["Formal Specification of Multi Agent System for Historical Information Retrieval from Online Social Networks"],"prefix":"10.1007","author":[{"given":"Ruqayya","family":"Abdulrahman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. R. W.","family":"Holton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Neagu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mick","family":"Ridley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","first-page":"1","volume-title":"The 4th International Conference for Internet Technology and Secured Transactions ICITST","author":"S. Alim","year":"2009","unstructured":"Alim, S., AbdulRahman, R., Neagu, D., Ridley, M.: Data retrieval from online social network profiles for social engineering applications. In: The 4th International Conference for Internet Technology and Secured Transactions ICITST, pp. 1\u20135. IEEE, London (2009)"},{"key":"10_CR2","series-title":"Wiley series in agent technology","doi-asserted-by":"crossref","DOI":"10.1002\/9780470061848","volume-title":"Building multi-agent systems: a practical introduction with Jason","author":"R.H. Bordini","year":"2007","unstructured":"Bordini, R.H., Wooldridge, M.J., H\u00e8ubner, J.F.: Building multi-agent systems: a practical introduction with Jason. Wiley series in agent technology. John Wiley, Chichester (2007)"},{"key":"10_CR3","doi-asserted-by":"publisher","DOI":"10.1002\/9780470058411","volume-title":"Developing Multi-Agent Systems with JADE","author":"F. Bellifemine","year":"2007","unstructured":"Bellifemine, F., Caire, G., Greenwood, D.: Developing Multi-Agent Systems with JADE. John Wiley & Sons Ltd., Chichester (2007)"},{"key":"10_CR4","first-page":"1174","volume-title":"the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems","author":"H. Zhu","year":"2003","unstructured":"Zhu, H.: A formal specification language for agent-oriented software engineering. In: the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 1174\u20131175. ACM, New York (2003)"},{"key":"10_CR5","series-title":"Lecture Notes in Artificial Intelligence","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 multi-agent systems. In: Omicini, A., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2000. LNCS (LNAI), vol.\u00a01972, pp. 114\u2013127. Springer, Heidelberg (2000)"},{"key":"10_CR6","unstructured":"Currie, E.: The essence of Z. Prentice Hall Europe (1999)"},{"key":"10_CR7","unstructured":"Aspray, W., Keil-Slawik, R., Parnas, D.: History of Software Engineering (1996), http:\/\/www.dagstuhl.de\/Reports\/96\/9635.pdf"},{"key":"10_CR8","volume-title":"An introduction to formal specification and Z","author":"B. Potter","year":"1991","unstructured":"Potter, B., Sinclair, J., Till, D.: An introduction to formal specification and Z. Prentice-Hall, Englewood Cliffs (1991)"},{"key":"10_CR9","unstructured":"Baryannis, G.: Formal Specification, definitons (2010), http:\/\/www.s-cube-network.eu\/km\/terms\/f\/formal-specification (accessed 21-12-2010)"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Dignum, V., Meyer, J., Dignum, F., Weigand, H.: Formal specification of interaction in agent societies. In: Formal Approaches to Agent-Based Systems, pp. 37\u201352 (2002)","DOI":"10.1007\/978-3-540-45133-4_4"},{"key":"10_CR11","unstructured":"Zhu, H.: A formal specification language for MAS engineering. In: The 2nd International Workshop on Agent-Oriented Software Engineering (2001), http:\/\/cms.brookes.ac.uk\/staff\/HongZhu\/AFM\/PublicationArchive\/AOSE2001CMR.pdf"},{"key":"10_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/3-540-45484-5_21","volume-title":"Formal Approaches to Agent-Based Systems","author":"H. Zhu","year":"2001","unstructured":"Zhu, H.: Formal specification of agent behaviour through environment scenarios. In: Rash, J.L., Rouff, C.A., Truszkowski, W., Gordon, D.F., Hinchey, M.G. (eds.) FAABS 2000. LNCS (LNAI), vol.\u00a01871, pp. 263\u2013277. Springer, Heidelberg (2001)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Niazi, M., Hussain, A.: A Novel Agent-Based Simulation Framework for Sensing in Com-plex Adaptive Environments. IEEE Sensors Journal, 404\u2013412 (2010)","DOI":"10.1109\/JSEN.2010.2068044"},{"key":"10_CR14","first-page":"31","volume-title":"The way of Z: practical programming with formal methods","author":"J. Jacky","year":"1997","unstructured":"Jacky, J.: The way of Z: practical programming with formal methods, pp. 31\u201332. Cambridge University Press, Cambridge (1997)"},{"key":"10_CR15","volume-title":"Specification case studies","author":"I. Hayes","year":"1987","unstructured":"Hayes, I., Flinn, B.: Specification case studies. Prentice Hall International Citeseer, Englewood Cliffs (1987)"},{"key":"10_CR16","unstructured":"Bowen, J.: Formal specification and documentation using Z: A case study approach, vol. 66. Citeseer (1996)"},{"issue":"4","key":"10_CR17","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1016\/j.engappai.2009.12.003","volume":"23","author":"V. Hilaire","year":"2010","unstructured":"Hilaire, V., Lauri, F., Gruer, P., Koukam, A., Rodriguez, S.: Formal specification of an im-mune based agent architecture. Engineering Applications of Artificial Intelligence\u00a023(4), 505\u2013513 (2010)","journal-title":"Engineering Applications of Artificial Intelligence"},{"key":"10_CR18","volume-title":"Formal object-oriented specification using Object-Z","author":"R. Duke","year":"2000","unstructured":"Duke, R., Rose, G.: Formal object-oriented specification using Object-Z. Macmillan, Basingstoke (2000)"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-22000-5_7","volume-title":"The 5th International KES Conference on Agents and Multiagent Systems -Technologies and Applications","author":"R. Abdulrahman","year":"2011","unstructured":"Abdulrahman, R., Neagu, D., Holton, D.R.W.: Multi Agent System for Historical Informa-tion Retrieval from Online Social Network. In: O\u2019Shea, J. (ed.) KES-AMSTA 2011. LNCS, vol.\u00a06682, pp. 54\u201363. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Agent and Multi-Agent Systems: Technologies and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22000-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T11:17:04Z","timestamp":1560338224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22000-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642219993","9783642220005"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22000-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}