{"id":"https://openalex.org/W2893780590","doi":"https://doi.org/10.1108/k-02-2018-0092","title":"A model checking approach for user relationship management in the social network","display_name":"A model checking approach for user relationship management in the social network","publication_year":2018,"publication_date":"2018-09-26","ids":{"openalex":"https://openalex.org/W2893780590","doi":"https://doi.org/10.1108/k-02-2018-0092","mag":"2893780590"},"language":"en","primary_location":{"id":"doi:10.1108/k-02-2018-0092","is_oa":false,"landing_page_url":"https://doi.org/10.1108/k-02-2018-0092","pdf_url":null,"source":{"id":"https://openalex.org/S168682784","display_name":"Kybernetes","issn_l":"0368-492X","issn":["0368-492X","1758-7883"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319811","host_organization_name":"Emerald Publishing Limited","host_organization_lineage":["https://openalex.org/P4310319811"],"host_organization_lineage_names":["Emerald Publishing Limited"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kybernetes","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5080921529","display_name":"Alireza Souri","orcid":"https://orcid.org/0000-0001-8314-9051"},"institutions":[{"id":"https://openalex.org/I155419210","display_name":"Islamic Azad University, Science and Research Branch","ror":"https://ror.org/03187yj51","country_code":"IR","type":"education","lineage":["https://openalex.org/I110525433","https://openalex.org/I155419210"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Alireza Souri","raw_affiliation_strings":["Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran","institution_ids":["https://openalex.org/I155419210"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073677909","display_name":"Monire Nourozi","orcid":null},"institutions":[{"id":"https://openalex.org/I4210159652","display_name":"Islamic Azad University Islamshahr Branch","ror":"https://ror.org/04zdgqb89","country_code":"IR","type":"education","lineage":["https://openalex.org/I110525433","https://openalex.org/I4210159652"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Monire Nourozi","raw_affiliation_strings":["Young Researchers and Elite Club, Islamshahr Branch, Islamic Azad University, Islamshahr, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Young Researchers and Elite Club, Islamshahr Branch, Islamic Azad University, Islamshahr, Iran","institution_ids":["https://openalex.org/I4210159652"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021772077","display_name":"Amir Masoud Rahmani","orcid":"https://orcid.org/0000-0001-8641-6119"},"institutions":[{"id":"https://openalex.org/I155419210","display_name":"Islamic Azad University, Science and Research Branch","ror":"https://ror.org/03187yj51","country_code":"IR","type":"education","lineage":["https://openalex.org/I110525433","https://openalex.org/I155419210"]},{"id":"https://openalex.org/I4210118815","display_name":"University of Human Development","ror":"https://ror.org/02jz38b76","country_code":"IQ","type":"education","lineage":["https://openalex.org/I4210118815"]}],"countries":["IQ","IR"],"is_corresponding":false,"raw_author_name":"Amir Masoud Rahmani","raw_affiliation_strings":["Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran and Computer Science, University of Human Development, Sulaimanyah, Iraq"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran and Computer Science, University of Human Development, Sulaimanyah, Iraq","institution_ids":["https://openalex.org/I155419210","https://openalex.org/I4210118815"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007907571","display_name":"Nima Jafari Navimipour","orcid":"https://orcid.org/0000-0002-5514-5536"},"institutions":[{"id":"https://openalex.org/I4210159652","display_name":"Islamic Azad University Islamshahr Branch","ror":"https://ror.org/04zdgqb89","country_code":"IR","type":"education","lineage":["https://openalex.org/I110525433","https://openalex.org/I4210159652"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Nima Jafari Navimipour","raw_affiliation_strings":["Young Researchers and Elite Club, Islamshahr Branch, Islamic Azad University, Islamshahr, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Young Researchers and Elite Club, Islamshahr Branch, Islamic Azad University, Islamshahr, Iran","institution_ids":["https://openalex.org/I4210159652"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":9.2617,"has_fulltext":false,"cited_by_count":30,"citation_normalized_percentile":{"value":0.97967854,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"48","issue":"3","first_page":"407","last_page":"423"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10734","display_name":"Information and Cyber Security","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10734","display_name":"Information and Cyber Security","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9914000034332275,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9810000061988831,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7821804285049438},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7356592416763306},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7037383913993835},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6052579879760742},{"id":"https://openalex.org/keywords/originality","display_name":"Originality","score":0.5129441618919373},{"id":"https://openalex.org/keywords/mechanism","display_name":"Mechanism (biology)","score":0.46523183584213257},{"id":"https://openalex.org/keywords/behavioral-modeling","display_name":"Behavioral modeling","score":0.4349161684513092},{"id":"https://openalex.org/keywords/cybernetics","display_name":"Cybernetics","score":0.42848724126815796},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4274926483631134},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.41310298442840576},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32566481828689575},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3134489059448242},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.14915084838867188},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10081729292869568},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.0965999960899353}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7821804285049438},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7356592416763306},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7037383913993835},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6052579879760742},{"id":"https://openalex.org/C2776950860","wikidata":"https://www.wikidata.org/wiki/Q2914681","display_name":"Originality","level":3,"score":0.5129441618919373},{"id":"https://openalex.org/C89611455","wikidata":"https://www.wikidata.org/wiki/Q6804646","display_name":"Mechanism (biology)","level":2,"score":0.46523183584213257},{"id":"https://openalex.org/C78639753","wikidata":"https://www.wikidata.org/wiki/Q3318160","display_name":"Behavioral modeling","level":2,"score":0.4349161684513092},{"id":"https://openalex.org/C115286129","wikidata":"https://www.wikidata.org/wiki/Q123637","display_name":"Cybernetics","level":2,"score":0.42848724126815796},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4274926483631134},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.41310298442840576},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32566481828689575},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3134489059448242},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.14915084838867188},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10081729292869568},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0965999960899353},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C11012388","wikidata":"https://www.wikidata.org/wiki/Q170658","display_name":"Creativity","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1108/k-02-2018-0092","is_oa":false,"landing_page_url":"https://doi.org/10.1108/k-02-2018-0092","pdf_url":null,"source":{"id":"https://openalex.org/S168682784","display_name":"Kybernetes","issn_l":"0368-492X","issn":["0368-492X","1758-7883"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319811","host_organization_name":"Emerald Publishing Limited","host_organization_lineage":["https://openalex.org/P4310319811"],"host_organization_lineage_names":["Emerald Publishing Limited"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kybernetes","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.5099999904632568}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W1437266093","https://openalex.org/W1972784453","https://openalex.org/W1982283195","https://openalex.org/W2019496850","https://openalex.org/W2030646489","https://openalex.org/W2045290959","https://openalex.org/W2046207087","https://openalex.org/W2047727587","https://openalex.org/W2048224296","https://openalex.org/W2055410913","https://openalex.org/W2059060110","https://openalex.org/W2079923099","https://openalex.org/W2107634268","https://openalex.org/W2147486909","https://openalex.org/W2171216111","https://openalex.org/W2177307695","https://openalex.org/W2261330476","https://openalex.org/W2273341698","https://openalex.org/W2282963973","https://openalex.org/W2310167541","https://openalex.org/W2388120601","https://openalex.org/W2393454891","https://openalex.org/W2411929522","https://openalex.org/W2461686565","https://openalex.org/W2477940074","https://openalex.org/W2494789511","https://openalex.org/W2495349330","https://openalex.org/W2495379676","https://openalex.org/W2515637793","https://openalex.org/W2518487536","https://openalex.org/W2545713075","https://openalex.org/W2553648169","https://openalex.org/W2599001800","https://openalex.org/W2606440216","https://openalex.org/W2611958289","https://openalex.org/W2618553373","https://openalex.org/W2622711808","https://openalex.org/W2735243677","https://openalex.org/W2751728516","https://openalex.org/W2771276885","https://openalex.org/W2773588639","https://openalex.org/W2773847204","https://openalex.org/W2779488527","https://openalex.org/W2781543123"],"related_works":["https://openalex.org/W2884574904","https://openalex.org/W2006962382","https://openalex.org/W2037121848","https://openalex.org/W4312733571","https://openalex.org/W2149716943","https://openalex.org/W4315606162","https://openalex.org/W2340807904","https://openalex.org/W1547517160","https://openalex.org/W1483297389","https://openalex.org/W2060070465"],"abstract_inverted_index":{"Purpose":[0],"The":[1,153],"purpose":[2],"of":[3,20,40,109,133],"this":[4,76],"paper":[5,30],"is":[6,51,67,80,142],"to":[7,16],"describe":[8],"how":[9],"formal":[10,49,78],"verification":[11,79],"strategies":[12],"have":[13],"been":[14],"utilized":[15],"assess":[17],"the":[18,26,45,54,63,72,85,94,98,110,114,120,123,131,137,145,159,165,174,180],"correctness":[19],"Knowledge":[21],"Creation":[22],"Process":[23],"(KCP)":[24],"in":[25,38,44,71,84,97,113,136,179],"social":[27,46,73,181],"systems.":[28,47,74],"This":[29],"analyzes":[31],"a":[32],"User":[33],"Relationship":[34],"Management":[35],"(URM)":[36],"approach":[37],"term":[39],"human":[41,64],"behavior":[42,65,100,116],"connection":[43],"A":[48],"framework":[50],"displayed":[52],"for":[53],"URM":[55,125,138,146,161],"which":[56],"consolidates":[57],"behavioral":[58,170],"demonstrating":[59],"strategy.":[60],"Design/methodology/approach":[61],"Evaluating":[62],"interactions":[66,171],"an":[68,81],"important":[69],"matter":[70],"For":[75],"analysis,":[77],"essential":[82],"section":[83],"complex":[86],"information":[87],"systems":[88],"development.":[89],"Model":[90,104],"checking":[91,105,155],"results":[92,106,156],"satisfied":[93],"logical":[95,111],"problems":[96,112],"proposed":[99,115,124,160],"model":[101,117,154],"analysis.":[102,118],"Findings":[103],"represent":[107],"satisfaction":[108],"In":[119],"statistical":[121],"testing,":[122],"mechanism":[126,147,162,175],"supported":[127],"KCP":[128,140,150,166,177],"conditions.":[129,151],"Also,":[130],"percentage":[132],"state":[134],"reachability":[135],"with":[139,163],"conditions":[141,167,178],"higher":[143],"than":[144,173],"without":[148,176],"supporting":[149,164],"Originality/value":[152],"show":[157],"that":[158],"satisfies":[168],"comprehensively":[169],"rather":[172],"networks.":[182]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":12},{"year":2018,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}