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.

Enunciados do tipo injuntivo em géneros de texto publicitários sobre o vinho.

A partir de um corpus de géneros de texto publicitários, rótulos e contrarrótulos de garrafa de vinho e anúncios sobre o vinho, neste trabalho, serão analisados os enunciados injuntivos em ocorrência para averiguar as relações que se estabelecem entre marcas comerciais e consumidores, o tipo de informação veiculada e as representações linguisticamente construídas destes sujeitos. Situando-se no âmbito da Teoria do Texto e combinando patamares de análise linguística com a dimensão social, esta investigação convoca ainda o Interacionismo Sociodiscursivo que defende uma perspetiva ontogenética da linguagem, consentânea com uma abordagem discursivo-textual da Linguística. A análise dos dados indica que os domínios sociais ou as atividades envolvidas, publicitária e de produção e de comercialização do vinho, preconizam imagens do consumidor ideal de vinho no que diz respeito à prova de vinho, a um comportamento socialmente adequado e sobre as boas propriedades do vinho.