Abstract
In the last few years, there has seen a marked increase in the usage of Online Social Networks (OSN). Coping with the real time changes of a huge amount of personal information requires new methods for retrieving information. Our previous approach for retrieving information from OSN was a centralized system that controlled and retrieved information of each user’s profile once. In order to enhance that approach, a Multi Agent System (MAS) was chosen for its ability to deploy agents to monitor profiles continuously. Since MAS is difficult to implement correctly, a formal specification of an OSN System was constructed to help us investigate the feasibility of using MAS technology in retrieving historical information from OSN sites.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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–5. IEEE, London (2009)
Bordini, R.H., Wooldridge, M.J., Hèubner, J.F.: Building multi-agent systems: a practical introduction with Jason. Wiley series in agent technology. John Wiley, Chichester (2007)
Bellifemine, F., Caire, G., Greenwood, D.: Developing Multi-Agent Systems with JADE. John Wiley & Sons Ltd., Chichester (2007)
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–1175. ACM, New York (2003)
Hilaire, V., Koukam, A., Gruer, P., Müller, J.-P.: Formal specification and prototyping of multi-agent systems. In: Omicini, A., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2000. LNCS (LNAI), vol. 1972, pp. 114–127. Springer, Heidelberg (2000)
Currie, E.: The essence of Z. Prentice Hall Europe (1999)
Aspray, W., Keil-Slawik, R., Parnas, D.: History of Software Engineering (1996), http://www.dagstuhl.de/Reports/96/9635.pdf
Potter, B., Sinclair, J., Till, D.: An introduction to formal specification and Z. Prentice-Hall, Englewood Cliffs (1991)
Baryannis, G.: Formal Specification, definitons (2010), http://www.s-cube-network.eu/km/terms/f/formal-specification (accessed 21-12-2010)
Dignum, V., Meyer, J., Dignum, F., Weigand, H.: Formal specification of interaction in agent societies. In: Formal Approaches to Agent-Based Systems, pp. 37–52 (2002)
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
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. 1871, pp. 263–277. Springer, Heidelberg (2001)
Niazi, M., Hussain, A.: A Novel Agent-Based Simulation Framework for Sensing in Com-plex Adaptive Environments. IEEE Sensors Journal, 404–412 (2010)
Jacky, J.: The way of Z: practical programming with formal methods, pp. 31–32. Cambridge University Press, Cambridge (1997)
Hayes, I., Flinn, B.: Specification case studies. Prentice Hall International Citeseer, Englewood Cliffs (1987)
Bowen, J.: Formal specification and documentation using Z: A case study approach, vol. 66. Citeseer (1996)
Hilaire, V., Lauri, F., Gruer, P., Koukam, A., Rodriguez, S.: Formal specification of an im-mune based agent architecture. Engineering Applications of Artificial Intelligence 23(4), 505–513 (2010)
Duke, R., Rose, G.: Formal object-oriented specification using Object-Z. Macmillan, Basingstoke (2000)
Abdulrahman, R., Neagu, D., Holton, D.R.W.: Multi Agent System for Historical Informa-tion Retrieval from Online Social Network. In: O’Shea, J. (ed.) KES-AMSTA 2011. LNCS, vol. 6682, pp. 54–63. Springer, Heidelberg (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abdulrahman, R., Holton, D.R.W., Neagu, D., Ridley, M. (2011). Formal Specification of Multi Agent System for Historical Information Retrieval from Online Social Networks. In: O’Shea, J., Nguyen, N.T., Crockett, K., Howlett, R.J., Jain, L.C. (eds) Agent and Multi-Agent Systems: Technologies and Applications. KES-AMSTA 2011. Lecture Notes in Computer Science(), vol 6682. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22000-5_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-22000-5_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21999-3
Online ISBN: 978-3-642-22000-5
eBook Packages: Computer ScienceComputer Science (R0)