Formal Specification of Multi Agent System for Historical Information Retrieval from Online Social Networks.
Ruqayya AbdulrahmanD. R. W. HoltonDaniel NeaguMick J. RidleyPublished in: KES-AMSTA (2011)
Keyphrases
- online social networks
- formal specification
- information retrieval
- multi agent systems
- social networks
- model checking
- specification languages
- specification language
- object oriented design
- network structure
- social networking
- reverse engineering
- social relations
- formal methods
- process algebra
- concurrent systems
- cooperative
- search engine
- social relationships
- social media
- viral marketing
- social ties
- social graphs
- protocol specification
- online social
- social networking sites
- business rules
- query language