Specification of a partial replication protocol with TLA+

Nowadays, data available and used by companies is growing very fast creating the need to use and manage this data in the most efficient way. To this end, data is replicated overmultiple datacenters and use different replication protocols, according to their needs, like more availability or stronger consistency level. The costs associated with full data replication can be very high, and most of the times, full replication is not needed since information can be logically partitioned. Another problem, is that by using datacenters to store and process information clients become heavily dependent on them. We propose a partial replication protocol called ParTree, which replicates data to clients, and organizes clients in a hierarchy, using communication between them to propagate information. This solution addresses some of these problems, namely by supporting partial data replication and offline execution mode. Given the complexity of the protocol, the use of formal verification is crucial to ensure the protocol two correctness properties: causal consistency and preservation of data. The use of TLA+ language and tools to formally specificity and verify the proposed protocol are also described.

What Fidelidade group should do to convey its human centric brand identity values to millennial insurance consumers

Companies are concerned in attracting and retaining Millennial consumers, especially if their relation with this target audience is weak. This happens in the insurance industry in Portugal and in Fidelidade group specifically. The aim of this study is to recommend a strategy for the insurance group to improve its relationship with these consumers, by conveying its human centric values. In order to address this goal, we developed a qualitative research. The main insight is that Millennials may perceive those values in the industry but do not associate them with insurance brands.