By Topic

A Process Algebraic Approach to Modeling Collective Behaviors in Social Networks

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Zongjian He ; Tongji Univ., Shanghai ; Lulai Yuan ; Guosun Zeng

The properties of social networks, such as concurrency, mobility and distribution, play a negative affect on the modeling and simulation of collective behaviors. This paper presents a process algebraic approach to formal specification and verification of collective behaviors in complex social networks. The social network mainly consists of many collectives, each of which is composed of many agents (or nodes). The agents are described in pi-calculus processes owing to the similarity in attributes between them. The specification of a collective is focused on the internal communication and cooperation among its all agents. Each collective has only one core agent, either a "doer" responsible for bringing behaviors, or "getter" responsible for responding behaviors, which represents the interests of the collective. The interactive behavior between two collectives is simplified into that of a pair of core agents. Finally, we reason and verify the formal systems by the Mobility Workbench (MWB), a model checker of pi-calculus.

Published in:

Semantics, Knowledge and Grid, Third International Conference on

Date of Conference:

29-31 Oct. 2007