×
亚历山德罗·马吉；玛丽内拉·彼得罗奇；安吉洛·斯波格纳迪；弗朗西斯科·蒂埃齐

一种基于语言的Twitter交互建模和分析方法。 （英语） Zbl 1359.68197号

J.日志。阿尔盖布。方法计划。 87, 67-91 (2017).
摘要：推特不仅仅是一个个人微博网站，它已经被普通用户转变为一个信息发布场所，公众人物、媒体渠道和普通人每天都依赖它来进行新闻报道和消费、营销和社交信息传递。在合作和互动的环境中使用推特需要精确地认识到控制信息传播的动态。在本文中，我们描述了Twitlang，一种建模推特账户之间交互的语言。相关的操作语义允许用户精确地确定他们在推特上的操作的效果，例如发布、回复或删除推特。该语言以Maude解释器Twitlanger的形式实现，该解释器将一个语言术语作为输入，并探索由该术语产生的计算。通过结合Twitlanger和Maude模型检查器的优点，可以自动验证Twitter帐户的通信属性。我们通过一个受现实生活启发的应用程序场景来说明可执行形式化的好处。虽然该场景强调了在日常生活中采用Twitter进行协作使用的好处，但我们的分析表明，适当的设置对于正确使用平台至关重要，因为它可以实现协作和交互环境中预期的通信属性。

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
91天30分 社交网络；意见动态

关键词：

twitter交互和通信；形式语义学；验证；模型检查

软件：

SCEL公司；科莱姆；MultiVeStA公司；莫德
PDF格式BibTeX公司 XML格式引用
\textit{A.Maggi}等人，J.Log。阿尔盖布。方法计划。87、67-91（2017年；Zbl 1359.68197）
全文： DOI程序

参考文献：

[1] 德尼古拉，R。；Maggi，A。；Petrocchi，M。；Spognardi，A。；Tiezzi，F.，Twitlang（er）：推特的交互建模语言（和解释器），（Proceedings Software Engineering and Formal Methods-13th International Conference.Proceeding Software Engineuring and FormalMethods–13th Internation Conference，SEFM 2015，York，2015（2015），2015年9月7日至11日，英国约克），327-343
[2] Smith，C.，170惊人的推特统计数据和事实。DMR（2016年11月）
[3] Brandwatch.com，《推特上的品牌》2013:Brandwatch报告（2013），上次检查时间：2015年12月18日
[4] 拯救孩子们，现在是飓风季节。你的家人准备好应付紧急情况了吗？（2014），上次检查日期：2015年12月18日
[5] 迈尔斯，S.A。；Sharma，A。；古普塔，P。；Lin，J.，信息网络还是社交网络？：推特跟踪图的结构，（WWW（2014），ACM），493-498
[6] 里特，A。；樱桃，C。；Dolan，B.，《推特对话的无监督建模》（HLT-NAACL（2010）），172-180
[7] Milner，R.，《沟通与并发》（1989），普伦蒂斯·霍尔·Zbl 0683.68008号
[8] Plotkin，G.，《操作语义的结构方法》，J.Log。代数程序。，60-61, 17-139 (2004) ·Zbl 1082.68062号
[9] 米尔纳，R。；帕罗，J。；Walker，D.，《移动进程演算》，Inf.Compute。，100, 1, 1-77 (1992) ·Zbl 0752.68037号
[10] Clavel，M。；杜兰，F。；埃克，S。；林肯，P。；Martí-Oliet，北卡罗来纳州。；梅塞盖尔，J。；Talcott，C.，《关于莫德的一切——高性能逻辑框架》（2007），施普林格出版社·Zbl 1115.68046号
[11] Verdejo，A。；Martí-Oliet，N.，《在莫德2号岛实施CCS》，（WRLA.WRLA，ENTCS，第71卷（2002年），爱思唯尔出版社），239-257
[12] 埃克，S。；梅塞盖尔，J。；Sridharanarayanan，A.，Maude LTL模型检查器，Electron。注释Theor。计算。科学。，71, 162-187 (2002) ·Zbl 1272.68243号
[13] 罗西，L。；Magnani，M.，《推特中的对话实践和网络结构》（第六届网络日志和社交媒体ICWSM国际会议（2012年））
[14] 马格纳尼，M。；Rossi，L.，多层社交网络的ML-模型，（ASONAM（2011）），5-12
[15] 阿贝尔·F。；高奇。；胡本，G.-J。；Tao，K.，《分析推特上的用户建模以获得个性化新闻推荐》（《用户建模、适应和个性化》（2011），施普林格出版社），1-12
[16] 阿贝尔·F。；Hauff，C。；胡本，G.-J。；斯特龙克曼，R。；Tao，K.，Twitcident:利用社交网络流信息灭火，（WWW（2012）），305-308
[17] 门多萨，M。；波布利特，B。；《危机下的推特：我们能相信我们的RT吗？》？，（SOMA（2010），ACM），71-79
[18] 拉尼亚多，D。；Mika，P.，《理解推特》，（ISWC，第1卷（2010）），第470-485页
[19] Gonçalves，B。；佩拉，N。；Vespignani，A.，《推特网络上用户活动建模：邓巴数字验证》，《公共科学图书馆·综合》，2011年第6期、第8期
[20] 罗森塔尔，S。；Nakov，P。；Kiritchenko，S。；穆罕默德，S。；里特，A。；Stoyanov，V.，SemEval-2015任务10：推特中的情感分析，（第九届语义评估国际研讨会（2015年），计算语言学协会），451-463
[21] 巴兹利，P。；Novielli，N.，UNIBA：结合微博客、词汇和语义特征的英语推文情感分析，（第九届语义评估国际研讨会（SemEval 2015）（2015），计算语言学协会），595-600
[22] Bollen，J。；毛，H。；Pepe，A.，《公众情绪和情绪建模：推特情绪和社会经济现象》（ICWSM（2011））
[23] Pak，A。；Paroubek，P.，推特作为情感分析和意见挖掘的语料库，（第七届国际语言资源与评估会议（2010年），ELRA）
[24] 洪，L。；Davison，B.D.，Twitter主题建模的实证研究，（SOMA（2010），ACM），80-88
[25] Larson，D.，关于推特、转发和DM的9件奇怪的事情，每个推特用户都必须知道（2011年），最后一次查看是2015年12月18日
[26] 斯特林基尼，G。；克鲁格尔，C。；Vigna，G.，《检测社交网络上的垃圾邮件发送者》（ACSAC（2010），ACM），1-9
[27] 杨，C。；Harkreader，R。；Gu，G.，《对抗不断演变的推特垃圾邮件发送者的经验评估和新设计》，IEEE Trans。Inf.法医安全。，8, 8, 1280-1293 (2013)
[28] 克雷西，S。；Di Pietro，R。；Petrocchi，M。；Spognardi，A。；Tesconi，M.，《社会批判》（见推特分析），（第34届分布式计算系统国际会议研讨会，第34届国际分布式计算系统研讨会，ICDCS 2014研讨会（DASec）（2014），IEEE），194-200
[29] 克雷西，S。；Di Pietro，R。；Petrocchi，M。；Spognardi，A。；Tesconi，M.，《出售名人：有效检测虚假推特关注者》，Decis。支持系统。，80, 56-71 (2015)
[30] 维斯瓦纳特，B。；巴希尔，医学硕士。；Zafar，M.B。；Bouget，S。；Guha，S。；Gummadi，K.P。；凯特·A。；Mislove，A.，《数字优势：人群计算中的鲁棒篡改检测》，（ACM on Conference on Online Social Networks，ACM on Online社交网络会议，COSN’15（2015），ACM），113-124
[31] 克雷西，S。；彼得罗，R.D。；Petrocchi，M。；Spognardi，A。；Tesconi，M.，受DNA启发的在线行为建模及其在垃圾邮件检测中的应用，IEEE Intell。系统。，31, 5, 58-64 (2016)
[32] 方，P.W.L。；安瓦尔，M。；Zhao，《脸书式社交网络系统的隐私保护模型》（Proceedings Computer Security-ESORICS 2009:14th European Symposium on Research in Computer Security），《Proceeding Computer Security-ESORIC 2009:14st Europeal Symposion on Researching on Computer Saint-Malo，France，2009年9月21-23日（2009），柏林施普林格-海德堡：柏林施普林格·海德堡，海德堡），303-320
[33] Fong，P.W.，基于关系的访问控制：保护模型和策略语言，（第一届ACM数据和应用程序安全与隐私会议记录。第一届ACM数据和应用程序安全与隐私会议记录，CODASPY’11（2011），ACM），191-202
[34] 帕尔多，R。；Schneider，G.，社交网络的正式隐私政策框架，（《软件工程与形式方法汇编》：第12届国际会议。《软件工程与形式方法汇编》：第12届国际会议，SEFM 2014，法国格勒诺布尔，2014年9月1日至5日（2014），施普林格国际出版），378-392
[35] 塞利格曼，J。；刘，F。；Girard，P.，《脸书与友谊的认知逻辑》，（《第十四届理性与知识理论方面会议论文集》，《第十四次理性与知识的理论方面会议文献集》，TARK 2013，印度钦奈，2013年1月7日至9日（2013））
[36] 德尼古拉，R。；费拉里，G。；Pugliese，R.，KLAIM:代理交互和移动性的核心语言，IEEE Trans。柔和。工程，24，5，315-330（1998）
[37] 德尼古拉，R。；洛雷蒂，M。；Pugliese，R。；Tiezzi，F.，《自主系统编程的正式方法：SCEL语言，ACM Trans》。自动。适应。系统。，9, 2 (2014)
[38] 塞巴斯蒂奥，S。；Vandin，A.，MultiVeStA：离散事件模拟器的统计模型检查，（ValueTools（2013），ICST/ACM），310-315
[39] Bae，K。；Meseguer，J.，局部公平下重写公式的模型检查线性时序逻辑，科学。计算。程序。，99, 193-234 (2015)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。