{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T19:37:21Z","timestamp":1774294641896,"version":"3.50.1"},"reference-count":48,"publisher":"Emerald","issue":"3","license":[{"start":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T00:00:00Z","timestamp":1551657600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.emerald.com\/insight\/site-policies"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["K"],"published-print":{"date-parts":[[2019,3,4]]},"abstract":"<jats:sec>\n<jats:title content-type=\"abstract-subheading\">Purpose<\/jats:title>\n<jats:p>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.<\/jats:p>\n<\/jats:sec>\n<jats:sec>\n<jats:title content-type=\"abstract-subheading\">Design\/methodology\/approach<\/jats:title>\n<jats:p>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.<\/jats:p>\n<\/jats:sec>\n<jats:sec>\n<jats:title content-type=\"abstract-subheading\">Findings<\/jats:title>\n<jats:p>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.<\/jats:p>\n<\/jats:sec>\n<jats:sec>\n<jats:title content-type=\"abstract-subheading\">Originality\/value<\/jats:title>\n<jats:p>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.<\/jats:p>\n<\/jats:sec>","DOI":"10.1108\/k-02-2018-0092","type":"journal-article","created":{"date-parts":[[2018,9,26]],"date-time":"2018-09-26T05:22:35Z","timestamp":1537939355000},"page":"407-423","source":"Crossref","is-referenced-by-count":25,"title":["A model checking approach for user relationship management in the social network"],"prefix":"10.1108","volume":"48","author":[{"given":"Alireza","family":"Souri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monire","family":"Nourozi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amir Masoud","family":"Rahmani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nima","family":"Jafari Navimipour","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"140","reference":[{"key":"key2020092420312928600_ref001","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.socnet.2017.11.004","article-title":"A new scalable leader-community detection approach for community detection in social networks","volume":"54","year":"2018","journal-title":"Social Networks"},{"issue":"5","key":"key2020092420312928600_ref002","doi-asserted-by":"crossref","first-page":"1218","DOI":"10.1166\/asl.2016.6711","article-title":"The visualization of socialization, externalization, combination, internalization-based internalization process for higher learning institution","volume":"22","year":"2016","journal-title":"Advanced Science Letters"},{"issue":"10","key":"key2020092420312928600_ref003","article-title":"Trust evaluation between the users of social networks using the quality of service requirements and call log histories","volume":"45","year":"2016","journal-title":"Kybernetes"},{"key":"key2020092420312928600_ref004","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/j.jclepro.2015.03.059","article-title":"Fostering sustainability by linking co-creation and relationship management concepts","volume":"140","year":"2017","journal-title":"Journal of Cleaner Production"},{"issue":"1","key":"key2020092420312928600_ref005","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1080\/07421222.2001.11045676","article-title":"Organizational knowledge management: a contingency perspective","volume":"18","year":"2001","journal-title":"Journal of Management Information Systems"},{"issue":"1","key":"key2020092420312928600_ref006","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/j.tele.2015.06.013","article-title":"A two-step model for self-organized social network pre-construction","volume":"33","year":"2016","journal-title":"Telematics and Informatics"},{"key":"key2020092420312928600_ref007","doi-asserted-by":"crossref","unstructured":"Charband, Y. and Navimipour, N.J. (2016), \u201cOnline knowledge sharing mechanisms: a systematic review of the state of the art literature and recommendations for future research\u201d, Information Systems Frontiers, pp. 1-21.","DOI":"10.1007\/s10796-016-9628-z"},{"issue":"3","key":"key2020092420312928600_ref008","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1177\/0170840615613374","article-title":"Dominant cognitive frames and the innovative power of social networks","volume":"37","year":"2016","journal-title":"Organization Studies"},{"issue":"4","key":"key2020092420312928600_ref009","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/s0378-7206(98)00028-7","article-title":"Developing a multidimensional measure of system-use in an organizational context","volume":"33","year":"1998","journal-title":"Information and Management"},{"issue":"1","key":"key2020092420312928600_ref010","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1145\/1897239.1897256","article-title":"Design as learning\u2014or knowledge creation\u2014the SECI model","volume":"18","year":"2011","journal-title":"interactions"},{"issue":"1","key":"key2020092420312928600_ref011","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1108\/ITP-06-2016-0135","article-title":"Investigating the online social network development through the five cs model of similarity: the facebook case","volume":"31","year":"2018","journal-title":"Information Technology and People"},{"issue":"5","key":"key2020092420312928600_ref012","article-title":"Human resources ranking in a cloud-based knowledge sharing framework using the quality control criteria","volume":"46","year":"2017","journal-title":"Kybernetes"},{"key":"key2020092420312928600_ref013","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1016\/j.chb.2014.02.031","article-title":"Relational dialectics and social networking sites: the role of facebook in romantic relationship escalation, maintenance, conflict, and dissolution","volume":"35","year":"2014","journal-title":"Computers in Human Behavior"},{"key":"key2020092420312928600_ref014","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1016\/S2212-5671(16)30048-X","article-title":"Evaluating human factors in customer relationship management case study: Private banks of shiraz city","volume":"36","year":"2016","journal-title":"Procedia Economics and Finance"},{"issue":"8","key":"key2020092420312928600_ref015","doi-asserted-by":"publisher","first-page":"765","DOI":"10.1007\/s00236-016-0278-x","article-title":"Model checking the evolution of gene regulatory networks","volume":"54","year":"2017","journal-title":"Acta Informatica"},{"key":"key2020092420312928600_ref016","doi-asserted-by":"crossref","first-page":"1052","DOI":"10.1016\/j.chb.2015.10.036","article-title":"The impact of cost, technology acceptance and employees\u2019 satisfaction on the effectiveness of the electronic customer relationship management systems","volume":"55","year":"2016","journal-title":"Computers in Human Behavior"},{"key":"key2020092420312928600_ref017","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/j.chb.2015.01.001","article-title":"Expert cloud: a cloud-based framework to share the knowledge and skills of human resources","volume":"46","year":"2015","journal-title":"Computers in Human Behavior"},{"key":"key2020092420312928600_ref018","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1016\/j.socnet.2017.11.002","article-title":"Using modern methods for missing data analysis with the social relations model: a bridge to social network analysis","volume":"54","year":"2018","journal-title":"Social Networks"},{"key":"key2020092420312928600_ref019","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jss.2016.07.006","article-title":"An improved genetic algorithm for task scheduling in the cloud environments using the priority queues: Formal verification, simulation, and statistical testing","volume":"124","year":"2017","journal-title":"Journal of Systems and Software"},{"issue":"1","key":"key2020092420312928600_ref020","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/j.im.2013.09.001","article-title":"Exploring the role of customer relationship management (CRM) systems in customer knowledge creation","volume":"51","year":"2014","journal-title":"Information and Management"},{"issue":"5","key":"key2020092420312928600_ref021","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1016\/j.tele.2016.11.006","article-title":"Personality traits and psychological motivations predicting selfie posting behaviors on social networking sites","volume":"34","year":"2017","journal-title":"Telematics and Informatics"},{"issue":"4","key":"key2020092420312928600_ref022","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1016\/j.indmarman.2007.02.005","article-title":"Understanding success and failure in customer relationship management","volume":"37","year":"2008","journal-title":"Industrial Marketing Management"},{"issue":"1","key":"key2020092420312928600_ref023","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1177\/1094670509333238","article-title":"Knowledge creation through mobile social networks and its impact on intentions to use innovative mobile services","volume":"12","year":"2009","journal-title":"Journal of Service Research"},{"key":"key2020092420312928600_ref024","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1016\/j.ssci.2016.01.007","article-title":"Categorization and standardization of accidental risk-criticality levels of human error to develop risk and safety management policy","volume":"85","year":"2016","journal-title":"Safety Science"},{"key":"key2020092420312928600_ref025","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/j.techfore.2016.07.032","article-title":"Social network analysis: a tool for evaluating and predicting future knowledge flows from an insurance organization","volume":"114","year":"2017","journal-title":"Technological Forecasting and Social Change"},{"issue":"2","key":"key2020092420312928600_ref026","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1016\/j.datak.2007.12.003","article-title":"Designing evolving user profile in e-CRM with dynamic clustering of web documents","volume":"65","year":"2008","journal-title":"Data and Knowledge Engineering"},{"issue":"1","key":"key2020092420312928600_ref027","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1177\/0894439315617262","article-title":"Big data and political social networks","volume":"35","year":"2015","journal-title":"Social Science Computer Review"},{"key":"key2020092420312928600_ref028","doi-asserted-by":"crossref","first-page":"1052","DOI":"10.1016\/j.chb.2015.10.036","article-title":"The impact of cost, technology acceptance and employees\u2019 satisfaction on the effectiveness of the electronic customer relationship management systems","volume":"55","year":"2016","journal-title":"Computers in Human Behavior"},{"issue":"5","key":"key2020092420312928600_ref029","doi-asserted-by":"publisher","first-page":"819","DOI":"10.1007\/s12652-017-0552-y","article-title":"Optimizing influence diffusion in a social network with fuzzy costs for targeting nodes","volume":"8","year":"2017","journal-title":"Journal of Ambient Intelligence and Humanized Computing"},{"key":"key2020092420312928600_ref030","doi-asserted-by":"crossref","first-page":"743","DOI":"10.1016\/j.chb.2016.04.042","article-title":"Brand interactions and social media: enhancing user loyalty through social networking sites","volume":"62","year":"2016","journal-title":"Computers in Human Behavior"},{"issue":"1","key":"key2020092420312928600_ref031","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.tele.2014.08.003","article-title":"Analyzing the effects of technological, organizational and competition factors on web knowledge exchange in SMEs","volume":"32","year":"2015","journal-title":"Telematics and Informatics"},{"issue":"12","key":"key2020092420312928600_ref032","doi-asserted-by":"publisher","first-page":"1278","DOI":"10.1080\/0144929x.2013.824506","article-title":"Formal verification of collaboration patterns in healthcare","volume":"33","year":"2014","journal-title":"Behaviour and Information Technology"},{"key":"key2020092420312928600_ref033","article-title":"Model checking social network models","year":"2017","journal-title":"arXiv Preprint arXiv:1709.02105"},{"issue":"10","key":"key2020092420312928600_ref034","doi-asserted-by":"publisher","first-page":"1505","DOI":"10.1108\/K-07-2015-0171","article-title":"Trust evaluation between users of social networks using the quality of service requirements and call log histories","volume":"45","year":"2016","journal-title":"Kybernetes"},{"key":"key2020092420312928600_ref035","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1016\/j.ins.2016.08.038","article-title":"Ontology-based deep learning for human behavior prediction with explanations in health social networks","volume":"384","year":"2017","journal-title":"Information Sciences"},{"key":"key2020092420312928600_ref036","unstructured":"Qureshi, I., Fang, Y., Sun, H., Lim, K.H., Ramsey, E. and McCole, P. (2016), \u201cInvestigating the nonlinear and conditional effects of trust on effective customer retention\u2014the role of institutional contexts\u201d, Paper presented at the The 27th Australasian Conference on Information Systems (ACSIS, 2016)."},{"issue":"7","key":"key2020092420312928600_ref037","doi-asserted-by":"publisher","first-page":"1245","DOI":"10.1108\/K-02-2017-0070","article-title":"A method for trust evaluation in the cloud environments using a behavior graph and services grouping","volume":"46","year":"2017","journal-title":"Kybernetes"},{"issue":"1","key":"key2020092420312928600_ref038","article-title":"Formal specification and verification of a data replication approach in distributed systems","volume":"7","year":"2016","journal-title":"International Journal of Next-Generation Computing"},{"issue":"8","key":"key2020092420312928600_ref039","doi-asserted-by":"crossref","first-page":"3831","DOI":"10.1016\/j.eswa.2013.11.042","article-title":"Behavioral modeling and formal verification of a resource discovery approach in grid computing","volume":"41","year":"2014","journal-title":"Expert Systems with Applications"},{"issue":"2","key":"key2020092420312928600_ref040","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/s12927-017-0011-5","article-title":"Software as a service based CRM providers in the cloud computing: challenges and technical issues","volume":"9","year":"2017","journal-title":"Journal of Service Science Research"},{"key":"key2020092420312928600_ref041","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.csi.2017.11.007","article-title":"Formal verification approaches and standards in the cloud computing: a comprehensive and systematic review","volume":"58","year":"2018","journal-title":"Computer Standards and Interfaces"},{"issue":"3","key":"key2020092420312928600_ref042","first-page":"546","article-title":"A dynamic data replication with consistency approach in data grids: modeling and verification","volume":"4","year":"2016","journal-title":"Baltic Journal of Modern Computing"},{"key":"key2020092420312928600_ref043","first-page":"631","volume-title":"Analyzing SMV and UPPAAL Model Checkers in Real-Time Systems","year":"2012"},{"issue":"4","key":"key2020092420312928600_ref044","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1108\/K-09-2016-0229","article-title":"Measurement of knowledge diffusion efficiency for the weighted knowledge collaboration networks","volume":"46","year":"2017","journal-title":"Kybernetes"},{"issue":"2","key":"key2020092420312928600_ref045","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/j.im.2015.09.011","article-title":"Early mover advantage in e-commerce platforms with low entry barriers: the role of customer relationship management capabilities","volume":"53","year":"2016","journal-title":"Information and Management"},{"issue":"3","key":"key2020092420312928600_ref046","doi-asserted-by":"crossref","first-page":"740","DOI":"10.1016\/j.tele.2016.05.023","article-title":"Research on chinese social media users\u2019 communication behaviors during public emergency events","volume":"34","year":"2017","journal-title":"Telematics and Informatics"},{"issue":"4","key":"key2020092420312928600_ref047","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1108\/IntR-10-2014-0239","article-title":"Nurturing user creative performance in social media networks: an integration of habit of use with social capital and information exchange theories","volume":"26","year":"2016","journal-title":"Internet Research"},{"key":"key2020092420312928600_ref048","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.chb.2016.01.025","article-title":"The impact of electronic environmental knowledge on the environmental behaviors of people","volume":"59","year":"2016","journal-title":"Computers in Human Behavior"}],"container-title":["Kybernetes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.emerald.com\/insight\/content\/doi\/10.1108\/K-02-2018-0092\/full\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.emerald.com\/insight\/content\/doi\/10.1108\/K-02-2018-0092\/full\/html","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,24]],"date-time":"2025-07-24T21:46:51Z","timestamp":1753393611000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.emerald.com\/k\/article\/48\/3\/407-423\/269410"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3,4]]},"references-count":48,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,3,4]]}},"alternative-id":["10.1108\/K-02-2018-0092"],"URL":"https:\/\/doi.org\/10.1108\/k-02-2018-0092","relation":{},"ISSN":["0368-492X"],"issn-type":[{"value":"0368-492X","type":"print"}],"subject":[],"published":{"date-parts":[[2019,3,4]]}}}