A model checking approach for user relationship management in the social network
- 4 March 2019
- journal article
- research article
- Published by Emerald in Kybernetes
- Vol. 48 (3), 407-423
- https://doi.org/10.1108/k-02-2018-0092
Abstract
Purpose The purpose of this paper is to describe how formal verification strategies have been utilized to assess the correctness of Knowledge Creation Process (KCP) in the social systems. This paper analyzes a User Relationship Management (URM) approach in term of human behavior connection in the social systems. A formal framework is displayed for the URM which consolidates behavioral demonstrating strategy. Design/methodology/approach Evaluating the human behavior interactions is an important matter in the social systems. For this analysis, formal verification is an essential section in the complex information systems development. Model checking results satisfied the logical problems in the proposed behavior model analysis. Findings Model checking results represent satisfaction of the logical problems in the proposed behavior model analysis. In the statistical testing, the proposed URM mechanism supported KCP conditions. Also, the percentage of state reachability in the URM with KCP conditions is higher than the URM mechanism without supporting KCP conditions. Originality/value The model checking results show that the proposed URM mechanism with supporting the KCP conditions satisfies comprehensively behavioral interactions rather than the mechanism without KCP conditions in the social networks.Keywords
This publication has 41 references indexed in Scilit:
- A new scalable leader-community detection approach for community detection in social networksSocial Networks, 2018
- Fostering sustainability by linking co-creation and relationship management conceptsJournal of Cleaner Production, 2017
- Trust evaluation between users of social networks using the quality of service requirements and call log historiesKybernetes, 2016
- The Visualization of Socialization, Externalization, Combination, Internalization-Based Internalization Process for Higher Learning InstitutionAdvanced Science Letters, 2016
- Online knowledge sharing mechanisms: a systematic review of the state of the art literature and recommendations for future researchInformation Systems Frontiers, 2016
- A two-step model for self-organized social network pre-constructionTelematics and Informatics, 2016
- Dominant Cognitive Frames and the Innovative Power of Social NetworksOrganization Studies, 2016
- Design as learning---or "knowledge creation"---the SECI modelInteractions, 2011
- Organizational Knowledge Management: A Contingency PerspectiveJournal of Management Information Systems, 2001
- Developing a multidimensional measure of system-use in an organizational contextInformation & Management, 1998