Modeling and analysis of social activity process
- Publication Type:
- Behavior Computing: Modeling, Analysis, Mining and Decision, 2012, pp. 21 - 35
- Issue Date:
© Springer-Verlag London 2012. Behavior modeling has been increasingly recognized as a crucial means for disclosing interior driving forces and impact in social activity processes. Traditional behavior modeling in behavior and social sciences that mainly relies on qualitative methods is not aimed at deep and quantitative analysis of social activities. However, with the booming needs of understanding customer behaviors and social networks etc., there is a shortage of formal, systematic and unified behavior modeling and analysis methodologies and techniques. This paper proposes a novel and unified general framework, called Social Activity Process Modeling and Anal-ysis System (SAPMAS). Our approach is to model social behaviors and analyze social activity processes by using model checking. More specifically, we construct behavior models from sub-models of actor, action, environment and relationship, followed by the translation from concrete properties to formal temporal logic for-mulae, finally obtain analyzing results with model checker SPIN. Online shopping process is illustrated to explain this whole framework.
Please use this identifier to cite or link to this item: