Specification case studies
An introduction to formal specification and Z
An introduction to formal specification and Z
The way of Z: practical programming with formal methods
The way of Z: practical programming with formal methods
Formal Specification and Prototyping of Multi-agent Systems
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
Formal Specification of Agent Behaviour through Environment Scenarios
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
A formal specification language for agent-oriented software engineering
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Developing Multi-Agent Systems with JADE (Wiley Series in Agent Technology)
Developing Multi-Agent Systems with JADE (Wiley Series in Agent Technology)
Formal specification of an immune based agent architecture
Engineering Applications of Artificial Intelligence
Multi agent system for historical information retrieval from online social networks
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
Multi agent system approach for vulnerability analysis of online social network profiles over time
International Journal of Knowledge and Web Intelligence
| Hi-index | 0.00 |
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.