Esta tese oferece uma análise para os verbos auxiliares em geral e para os auxiliares do português em particular. A nossa proposta é a de caracterizar universalmente os verbos auxiliares como uma classe de elementos verbais que apresentam as seguintes propriedades: pertencem à categoria verbal, apresentam um traço verbal não-valorado [uV], não atribuem papel temático e compõem, juntamente com o verbo principal, um mesmo domínio oracional. A presença do traço [uV] na estrutura dos verbos auxiliares tem como consequência o fato de esses verbos selecionarem uma projeção verbal como complemento. Dentro dessa projeção estará o alvo que vai valorar esse traço não-interpretável por meio da operação Agree (Chomsky 2000, 2001). A postulação dessas quatro propriedades nos permitiu a derivação de critérios de auxiliaridade, uma reinterpretação dos critérios comumente propostos na literatura. Com esse trabalho, chegamos a uma lista de oito critérios necessários e suficientes para a definição de um verbo como auxiliar no português. Da aplicação desses critérios resultou a composição dos membros da classe dos verbos auxiliares do português: ser, ter, estar e ir. Para a análise das passivas, foi adotado o sistema de derivação por smuggling, sugerido por Collins (2005) e o auxiliar ser foi analisado como um verbo funcional que valora o traço [perfectivo] do particípio passivo. Apontamos para a existência de um outro tipo de passiva, as passivas não-canônicas, que apresentam como traço característico a presença do verbo auxiliar ter. Argumentamos que esse verbo é um produto computacional que resulta da combinação dos traços do auxiliar ser com os traços do núcleo funcional v*. Na análise dos auxiliares ter perfectivo e estar progressivo, adotamos uma postura decomposicional, tal como proposta por Kayne (1993), que deriva esses verbos a partir da incorporação de elementos preposicionais aos traços de um verbo auxiliar abstrato. Com isso, temos três verbos auxiliares que resultam da computação sintática: o auxiliar passivo ter, que é a realização dos traços [vSER v*], o auxiliar perfectivo ter, que realiza os traços [vAUX PDEPOIS] e o verbo auxiliar progressivo estar, cujo conjunto de traços inclui [vAUX PDENTRO]. Por fim o auxiliar ir é tratado como um núcleo modal que, em combinação com os traços do núcleo T, gera a interpretação de futuro. / This dissertation puts forward an analysis of auxiliary verbs in general, and of Portuguese auxiliary verbs in particular. The proposal is to universally characterize auxiliary verbs as a class of verbal elements which (i) belong to the verbal category ; (ii) have a unvalued verbal feature [uV] ; (iii) do not assign theta roles ; and (iv), together with the main verb, compose one single phrasal domain. The presence of [uV] guarantees that the auxiliary verb will select a verbal projection as its complement, within which is the target that will value the uninterpretable [uV] feature by means of the operation Agree (Chomsky 2000, 2001). The four characteristics proposed to describe auxiliary verbs allowed for the derivation of criteria of auxiliarity, a reinterpretation of the criteria usually discussed in the literature. Eight necessary and sufficient criteria define an auxiliary verb in Portuguese. The composition of THE Portuguese auxiliary class with its four members ser, ter, estar and ir resulted from the application of these eight criteria. Passives were analysed by means of the smuggling system, proposed by Collins (2005) and the auxiliary ser was considered to be a functional verb which values the [perfective] feature of the passive participle. A non-canonical passive was found to co-exist with canonical passives, one which shows the auxiliary ter. We argue that ter is the computational product of features of the auxiliary ser with features of the functional node v*. For the analysis of perfective ter and progressive estar, we have adopted a decompositional view along the lines of Kayne (1993), which derives these verbs from the incoporation of prepositional elements to the features of an abstract auxiliary verb. So, three of the Portuguese auxiliary verbs result from syntactic computation: passive ter is the manifestation of the features [vSER - v*]; perfective ter is the manifestation of the features [vAUX - PDEPOIS]; and progressive estar includes the features [vAUX - PDENTRO]. And the auxiliary verb ir is treated as a modal head, which, when combined with features of the head T, generate a future reading.

Esta tese oferece uma análise para os verbos auxiliares em geral e para os auxiliares do português em particular. A nossa proposta é a de caracterizar universalmente os verbos auxiliares como uma classe de elementos verbais que apresentam as seguintes propriedades: pertencem à categoria verbal, apresentam um traço verbal não-valorado [uV], não atribuem papel temático e compõem, juntamente com o verbo principal, um mesmo domínio oracional. A presença do traço [uV] na estrutura dos verbos auxiliares tem como consequência o fato de esses verbos selecionarem uma projeção verbal como complemento. Dentro dessa projeção estará o alvo que vai valorar esse traço não-interpretável por meio da operação Agree (Chomsky 2000, 2001). A postulação dessas quatro propriedades nos permitiu a derivação de critérios de auxiliaridade, uma reinterpretação dos critérios comumente propostos na literatura. Com esse trabalho, chegamos a uma lista de oito critérios necessários e suficientes para a definição de um verbo como auxiliar no português. Da aplicação desses critérios resultou a composição dos membros da classe dos verbos auxiliares do português: ser, ter, estar e ir. Para a análise das passivas, foi adotado o sistema de derivação por smuggling, sugerido por Collins (2005) e o auxiliar ser foi analisado como um verbo funcional que valora o traço [perfectivo] do particípio passivo. Apontamos para a existência de um outro tipo de passiva, as passivas não-canônicas, que apresentam como traço característico a presença do verbo auxiliar ter. Argumentamos que esse verbo é um produto computacional que resulta da combinação dos traços do auxiliar ser com os traços do núcleo funcional v*. Na análise dos auxiliares ter perfectivo e estar progressivo, adotamos uma postura decomposicional, tal como proposta por Kayne (1993), que deriva esses verbos a partir da incorporação de elementos preposicionais aos traços de um verbo auxiliar abstrato. Com isso, temos três verbos auxiliares que resultam da computação sintática: o auxiliar passivo ter, que é a realização dos traços [vSER v*], o auxiliar perfectivo ter, que realiza os traços [vAUX PDEPOIS] e o verbo auxiliar progressivo estar, cujo conjunto de traços inclui [vAUX PDENTRO]. Por fim o auxiliar ir é tratado como um núcleo modal que, em combinação com os traços do núcleo T, gera a interpretação de futuro. / This dissertation puts forward an analysis of auxiliary verbs in general, and of Portuguese auxiliary verbs in particular. The proposal is to universally characterize auxiliary verbs as a class of verbal elements which (i) belong to the verbal category ; (ii) have a unvalued verbal feature [uV] ; (iii) do not assign theta roles ; and (iv), together with the main verb, compose one single phrasal domain. The presence of [uV] guarantees that the auxiliary verb will select a verbal projection as its complement, within which is the target that will value the uninterpretable [uV] feature by means of the operation Agree (Chomsky 2000, 2001). The four characteristics proposed to describe auxiliary verbs allowed for the derivation of criteria of auxiliarity, a reinterpretation of the criteria usually discussed in the literature. Eight necessary and sufficient criteria define an auxiliary verb in Portuguese. The composition of THE Portuguese auxiliary class with its four members ser, ter, estar and ir resulted from the application of these eight criteria. Passives were analysed by means of the smuggling system, proposed by Collins (2005) and the auxiliary ser was considered to be a functional verb which values the [perfective] feature of the passive participle. A non-canonical passive was found to co-exist with canonical passives, one which shows the auxiliary ter. We argue that ter is the computational product of features of the auxiliary ser with features of the functional node v*. For the analysis of perfective ter and progressive estar, we have adopted a decompositional view along the lines of Kayne (1993), which derives these verbs from the incoporation of prepositional elements to the features of an abstract auxiliary verb. So, three of the Portuguese auxiliary verbs result from syntactic computation: passive ter is the manifestation of the features [vSER - v*]; perfective ter is the manifestation of the features [vAUX - PDEPOIS]; and progressive estar includes the features [vAUX - PDENTRO]. And the auxiliary verb ir is treated as a modal head, which, when combined with features of the head T, generate a future reading.

In this dissertation we lay the groundwork of automated analysis of extended feature models with constraint programming. Among different proposals, feature modeling has proven to be very effective for modeling and managing variability in Software Product Lines. However, industrial experiences showed that feature models often grow too large with hundreds of features and complex cross-tree relationships, which necessitates automated analysis support. To address this issue we present a mapping from extended feature models, which may include complex feature-feature, feature-attribute and attribute-attribute cross-tree relationships as well as global constraints, to constraint logic programming over finite domains. Then, we discuss the effects of including complex feature attribute relationships on various analysis operations defined on the feature models. As new types of variability emerge due to the inclusion of feature attributes in cross-tree relationships, we discuss the necessity of reformulation of some of the analysis operations and suggest a revised understanding for some other. We also propose new analysis operations arising due to the nature of the new variability introduced. Then we propose a transformation from extended feature models to basic/cardinality-based feature models that may be applied under certain circumstances and enables using SAT or BDD solvers in automated analysis of extended feature models. Finally, we discuss the role of the context information in feature modeling, and propose to use context information in staged configuration of feature-models.