Abstract
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 Analysis 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 formulae, finally obtain analyzing results with model checker SPIN. Online shopping process is illustrated to explain this whole framework.
The work of C. Wang is sponsored by Australian Research Discovery Grant (DP0988016).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
References
Bonnie, B.A., James, V.H., Paul, B.L., Scott, L.S.: Model checking for design and assurance of e-business processes. Decis. Support Syst. 39, 333–344 (2004)
Brachman, R.J., Levesque, H.J.: Knowledge Representation and Reasoning. Elsevier, Amsterdam (2004)
Cao, L.: In-depth behavior understanding and use: the behavior informatics approach. Inf. Sci. 180, 3067–3085 (2010)
Christel, B., Joost, P.K.: Principles of Model Checking. MIT Press, Cambridge (2008)
Chung, S.Y., Park, C.: Online shopping behavior model: a literature review and proposed model. In: Proceedings of the 11th International Conference on Advanced Communication Technology, pp. 2276–2282 (2009)
Edelkamp, S., Kissmann, P.: Optimal symbolic planning with action costs and preferences. In: Proceedings of IJCAI-09, pp. 1690–1695 (2009)
Eertink, H., Janssen, W.P.M., Oude Luttighuis, P.H.W.M., Teeuw, W., Vissers, C.A.: A business process design language. In: Proceedings World Congress on Formal Methods, Toulouse. Springer LNCS (1999)
Fast, A., Friedland, L., Maier, M., Taylor, B., Jensen, D., Goldberg, H., Komoroske, J.: Relational data preprocessing techniques for improved securities fraud detection. In: KDD (2007)
Gabaldon, A.: Activity recognition with intended actions. In: Proceedings of IJCAI-09, pp. 1696–1701 (2009)
Gu, Y., Soutchanski, M.: Decidable reasoning in a modified situation calculus. In: Proceedings of IJCAI-07, pp. 1891–1897 (2007)
Havelund, K., Lowry, M., Penix, J.: Formal analysis of a space craft controller using spin. In: Holzman, G., Najm, E., Serhrouchni, A. (eds.) Proceedings of the 4th International SPIN Workshop, pp. 147–167 (1998)
Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Lucent Technologies (2004)
Janssen, W., Mateescu, R., Mauw, S., Springintveld, J.: Verifying business processes using SPIN. In: Holzman, G., Najm, E., Serhrouchni, A. (eds.) Proceedings of the 4th International SPIN Workshop, pp. 21–36 (1998)
Kars, P.: The application of Promela and Spin in the BOS project. In: Proceedings of Second Spin Workshop (1996)
Koenig, S., Keskinocak, P., Tovey, C.: Progress on agent coordination with cooperative auctions. In: Proceedings of AAAI-10, pp. 1713–1717 (2010)
Pierce, W.D., Cheney, C.D.: Behavior Analysis and Learning. Lawrence Erlbaum Associates, 3rd edn. (2004)
Sardina, S., Patrizi, F., de Giacomo, G.: Behavior composition in the presence of failure. In: Proceedings of KR-08, pp. 640–650 (2008)
Serrano, J.M., Saugar, S.: An architectural perspective on multiagent societies. In: Proceedings of AOSE-10 at AAMAS-10, pp. 85–90 (2010)
Subramanian, K.: Task space behavior learning for humanoid robots using Gaussian mixture models. In: Proceedings of AAAI-10, pp. 1961 (2010)
Wang, F.Y., Carley, K.M., Zeng, D., Mao, W.J.: Social computing: from social informatics to social intelligence. IEEE Intell. Syst. 22(2), 79–83 (2007)
Weiss, G., Hirsh, H.: Learning to predict rare events in event sequences. In: KDD-98, pp. 359–363 (1998)
Wooldridge, M.: Reasoning About Rational Agents. MIT Press, Cambridge (2000)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag London
About this chapter
Cite this chapter
Wang, C., Cao, L. (2012). Modeling and Analysis of Social Activity Process. In: Cao, L., Yu, P. (eds) Behavior Computing. Springer, London. https://doi.org/10.1007/978-1-4471-2969-1_2
Download citation
DOI: https://doi.org/10.1007/978-1-4471-2969-1_2
Publisher Name: Springer, London
Print ISBN: 978-1-4471-2968-4
Online ISBN: 978-1-4471-2969-1
eBook Packages: Computer ScienceComputer Science (R0)