Marina Bagić Babac

A sentiment analysis of who participates, how and why, at social media sport websites: How differently men and women write about football

Purpose Due to an immense rise of social media in recent years, the purpose of this paper is to investigate who, how and why participates in creating content at football websites. Specifically, it provides a sentiment analysis of user comments from gender perspective, i.e. how differently men and women write about football. The analysis is based on user comments published on Facebook pages of the top five 2015-2016 Premier League football clubs during the 1st and the 19th week of the season. Design/methodology/approach This analysis uses a data collection via social media website and a sentiment analysis of the collected data. Findings Results show certain unexpected similarities in social media activities between male and female football fans. A comparison of the user comments from Facebook pages of the top five 2015-2016 Premier League football clubs revealed that men and women similarly express hard emotions such as anger or fear, while there is a significant difference in expressing soft emotions such as joy or sadness. Originality/value This paper provides an original insight into qualitative content analysis of male and female comments published at social media websites of the top five Premier League football clubs during the 1st and the 19th week of the 2015-2016 season.

SDL Ontology for Specifying Systems Based on Finite State Machines

Specification and Description Language (SDL) is an object-oriented and formal standardized language for the specification of complex, event-driven, real-time and interactive applications involving many concurrent activities that communicate using discrete signals. Using SDL formal model for system specification we bridge the gap between ideas in our minds and the actual implementation of the system. In this paper we propose the ontology for the basic SDL elements. We also propose a formal framework of SDL Markup Language as a medium for translating SDL model to SDL ontology.

What social media activities reveal about election results? The use of Facebook during the 2015 general election campaign in Croatia

Purpose Due to the significant rise in the use of social media in recent years, this paper investigates who, how and why participates in creating content at political social networking websites utilizing a content analysis of posts and comments published on Facebook during the 2015 general election campaign in Croatia. It shows consequences of a transition from traditional to social media campaigns and the effectiveness of social media at activating and moving public opinion during the general election campaign. Design/methodology/approach This study uses a data collection through a social media website, a classification of dataset items by content attributes, and a statistical analysis of the classified data. Findings Building on empirical dataset from Croatia, this study reveals that different political parties implement different election campaign strategies on social media to influence citizens who, consequently, respond differently to each of them. Our results indicate that political messages with po...

AgentTest: A specification language for agent-based system testing

AgentTest is a sublanguage of TTCN-3, aimed at specifying and testing agent-based systems. Its major strength is its unification and automation of abstract test suite generation and structured testing methodology for agent-based systems. AgentTest enables formal and strongly typed modelling of agent-based systems and their unit and agent testing. This paper introduces the syntax and semantics of AgentTest language and its modelling and testing methodology through the example of an agent-based weather system. AgentTest methodology is also complemented with an evolutionary testing methodology for test case generation based on a multi-objective genetic algorithm.

Abstract Test Suite Specification for ACL Communicating Agents

Although accepted as a standard language for writing test specifications, TTCN-3 has not yet been used for an agent system testing. As TTCN-3 is best suited for black-box conformance testing of communicating systems, agents can be tested for conformance with their standard protocols. Therefore, we provide the abstract test suite for communicating agents exchanging ACL (Agent Communication Language) messages in order to achieve FIPA Request interaction protocol.

Implementation of Epistemic Operators for Model Checking Multi-agent Systems

The problem of multi-agent system (MAS) specification and verification has been introduced in this paper, Epistemic transition system (ETS) represents an agent as the smallest unit in a multi-agent system, while Epistemic synchronous product (ESP) represents the formal model for a multi-agent system. Therefore, a formal framework for epistemic properties of multi-agent systems has been provided. A special extension of Action computation tree logic with unless operator for epistemic reasoning (ACTLW-ER) is used for MAS model checking. Epistemic operators of ACTLW-ER are implemented by symbolic model checking algorithms using binary decision diagrams.