Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / Os sistemas de software adaptativos sensÃveis ao contexto, tambÃm conhecidos como auto-adaptativos, representam uma classe particular de sistemas de software complexos. Esse tipo de sistema de software tem como requisito bÃsico observar o ambiente (fÃsico e lÃgico) em que executa e reagir de forma apropriada Ãs mudanÃas, quer seja adaptando sua estrutura e comportamento ou executando tarefas de forma automÃtica. Nos ambientes ubÃquos, o software adaptativo sensÃvel ao contexto assume um papel fundamental, sendo projetado para interagir com o ambiente fÃsico com intuito de auxiliar as pessoas, de forma transparente, na execuÃÃo das suas atividades cotidianas, tornando a interaÃÃo humano-computador mais natural. Devido ao seu amplo domÃnio de aplicaÃÃo (e.g., casas inteligentes, guias mÃveis de visitaÃÃo, jogos, saÃde e missÃes de resgate), os sistemas de software adaptativo sensÃvel ao contexto precisam ser confiÃveis, para cumprir com a sua funÃÃo e lidar com situaÃÃes anormais, evitando eventuais falhas. Nesse sentido, o tratamento de exceÃÃo sensÃvel ao contexto vem sendo empregado na melhoria dos nÃveis de robustez e confiabilidade desse tipo de sistema de software. Entretanto, o projeto e implementaÃÃo do tratamento de exceÃÃo sensÃvel ao contexto exige dos projetistas insights e expertise de domÃnio, sendo uma atividade complexa e propensa a erros. Desse modo, para que o tratamento de exceÃÃo sensÃvel ao contexto atinja os objetivos esperados, à necessÃrio que ele seja projetado de forma rigorosa, buscando eliminar ao mÃximo o nÃmero de faltas de projeto (design faults). Nesse cenÃrio, esta tese de doutorado propÃe um mÃtodo para verificaÃÃo de modelos do tratamento de exceÃÃo sensÃvel ao contexto, denominado CAEHV (Context-Aware Exception Handling Verification). O CAEHV provà um conjunto de abstraÃÃes que permitem aos projetistas modelarem o comportamento excepcional sensÃvel contexto e mapeÃ-lo para uma estrutura de Kripke. AlÃm disso, um conjunto de propriedades comportamentais à estabelecido com o intuito de auxiliar os projetistas no processo de identificaÃÃo de determinados tipos de faltas de projeto. Por fim, com o objetivo de avaliar a viabilidade do mÃtodo, uma ferramenta para a modelagem e verificaÃÃo do comportamento excepcional sensÃvel ao contexto foi desenvolvida e cenÃrios de injeÃÃo de faltas (fault injection) foram modelados para analisar a sua efetividade na identificaÃÃo de faltas de projeto no modelo. / The context-aware adaptive software, also known as self-adaptive software, represents a specic class of complex software systems, which has as primary requirement the ability to monitor its execution environment (physical and logical) and reacts upon change, either adapting its internal structure and behavior or performing automatic tasks. In ubiquitous environments, context-aware adaptive software plays a fundamental role, as it must be designed to interact with the physical environment, aiming to transparently supporting users in their daily activities, improving or hiding the interaction between human and computer. In that direction, the application domain in which context-aware adaptive software may be applied is broad (e.g., smart home, mobile visit guide, gaming, health or rescue missions), requiring a high-degree of reliability, not only capable of performing its functional requirements, but also dealing with abnormal conditions, avoiding occasional failures. Although context-aware exception handling has been used to improve robustness and reliability levels of context-aware adaptive software, it requires from the software designers a good understanding of the application domain, turning out to be a complex and error-prone activity. In order to achieve the expected results of using context-aware exception handling, it is mandatory to follow a rigorous design approach, trying to minimize the number of design faults. In this scenario, this doctoral thesis proposes a method for model checking context-aware exception handling, named CAEH!(Context-Aware Exception Handling Verication). It provides a set of abstractions that permits designers to model the context-aware exceptional behavior and translates it to a Kripke structure. Additionally, a set of behavior properties is established, attempting to aid designers to identify specic types of design faults. To evaluate the feasibility of the proposed method, a tool, called JCAEH!, for modeling and verication of context-aware exceptional behavior is developed, and fault injection scenarios are modeled to analyze its eectiveness in identifying design faults.

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / FundaÃÃo de Amparo à Pesquisa do Estado do Cearà / Esta dissertaÃÃo trata da experimentaÃÃo com as performances sadomasoquistas em um processo de pensamento e criaÃÃo antropolÃgico e artÃstico, construindo uma poÃtica da crueldade. Nas aprendizagens desse trajeto, o autor vai propondo a realizaÃÃo de uma instalaÃÃo-performativa que transmita os signos sensÃveis (figurativos e figurais) do sadomasoquismo. Os atravessamentos teÃricos vÃo da antropologia simÃtrica de Bruno Latour, o teatro da crueldade de Antonin Artaud, a literatura de Clarice Lispector, a filosofia do sensÃvel de Jacques RanciÃre, a filosofia nÃmade de Deleuze e Guattari aos Performance Studies e os saberes dissidentes da Queer Theory, em especial com o saber da contrassexualidade de Paul Beatriz Preciado. Nas tomadas de sensaÃÃo e representaÃÃo das aprendizagens, buscar-se-à seguir as linhas de forÃa que permitam ao conhecimento antropolÃgico-artÃstico se movimentar pelas simultaneidades das agÃncias culturais e das agÃncias naturais que, na guinada pÃs-estruturalista, disparam rumo Ãs novas perspectivas do que sejam as artes, os gÃneros, os sexos, as sexualidades e as atuais mÃquinas de produÃÃo-injunÃÃo-reapropriaÃÃo dos prazeres e das tecnologias dos corpos. Em suma, a dissertaÃÃo tem o afecto como eixo daquilo que as ciÃncias chamam de metodologia e o percepto como epistemologia do vivido. / This dissertation deals with the experimentation with sadomasochistic performances in an anthropologic and artistic process of thinking by constructing a poetics of cruelty. On that learning journey, the author will propose the actualization of a performative-installation that transmits sensitive signs (figurative and figural ones) of sadomasochism. The theoretical traverse lines come from Bruno Latourâs symmetrical anthropology, Antonin Artaudâs theatre of cruelty, Clarice Lispectorâs literature, the philosophy of the sensible by Jacques RanciÃre with the nomadic philosophy of Deleuze and Guattari, the Performance Studies, and the dissident knowledges from Queer Theory, specially the contrasexual thinking by Paul Beatriz Preciado. Taking sensation and representation during this learning, the lines of force will be sought by allowing the anthropologic and artistic knowledge to move through the simultaneity of cultural and natural agencies which, in the poststructuralist turn, soar towards new perspectives on what arts, genders, sexualities, the current machines of production-injunction-reappropriation of pleasures and the technologies of bodies could be. To sum up, this dissertation has affect as an axe whose sciences named methodology and the percept as an epistemology of the lived experience.

nÃo hà / Este estudo trata da relaÃÃo da arte com a cidade, pensando a arte contemporÃnea como possibilidade de criaÃÃo de outras cidades ao provocar diferentes modos de olhar, sentir, imaginar e inventar o espaÃo-tempo urbano. Interessa pesquisar as intervenÃÃes artÃsticas do coletivo Acidum, em Fortaleza, observando como a arte urbana pode interferir nos modos de ser, de pensar e de viver, criando ficÃÃes, modificando o espaÃo. A pesquisa acontece como um exercÃcio, considerando as contribuiÃÃes teÃrico-metodolÃgicas dos estudos de Francisco Varela (1991,2001), em especial, a Abordagem Enativa, que compreende a cogniÃÃo como a invenÃÃo de realidades, opondo-se à noÃÃo representativa de uma realidade prÃ-definida a ser revelada pelo pesquisador. O pesquisar emerge no observar, acompanhando algumas intervenÃÃes do coletivo, atualizadas nas anotaÃÃes do diÃrio de bordo, analisando vÃdeos e fotografias e realizando âentrevistas enativasâ, proposiÃÃo apresentada nos estudos de LetÃcia Maria Renault de Barros (2010). O que faz com que algumas imagens produzam inquietaÃÃo e outras nÃo? Como as intervenÃÃes do Acidum afetam os modos de transitar e de olhar a cidade? No percurso da pesquisa, alguns conceitos colaboraram com as anÃlises, em especial, Partilha do SensÃvel e FicÃÃes, apresentados por Jacques RanciÃre (2005; 2010). Nessa perspectiva, enfatizo a relaÃÃo entre arte e polÃtica trazendo tambÃm contribuiÃÃes dos estudos de Giorgio Agamben, Hannah Arendt, Chantal Mouffe, Didi-Huberman e Gilles Deleuze. A arte do Acidum pode afetar a cidade à medida que produz imagens que provocam deslocamentos nos modos de olhar daqueles que caminham e as observam. A arte urbana pode problematizar criativamente o cotidiano, abrindo caminhos para a invenÃÃo de outras realidades. Constituindo resistÃncias moleculares que florescem em meio à solidez dos preconceitos e das concepÃÃes endurecidas. NÃo seria essa uma funÃÃo da arte, mas uma potÃncia. / Este estudio trata la relaciÃn del arte con la ciudad, pensando el arte contemporÃneo como la posibilidad de crear otras ciudades por provocar diferentes maneras de ver, sentir, imaginar e inventar el espacio-tiempo urbano. Me interesa investigar las intervenciones artÃsticas del colectivo Acidum en Fortaleza, ver como el arte urbano puede interferir en las formas de ser, de pensar y de vivir, creando ficciones, modificando el espacio. La bÃsqueda se lleva a cabo como un ejercÃcio, teniendo en cuenta los aportes teÃricos y metodolÃgicos de los estudios de Francisco Varela (1991.2001), en particular el enfoque enactivo, que comprende la cogniciÃn como la invenciÃn de realidades, oponiÃndose a la idea representativa de una realidad predefinida para ser revelada por el investigador. La bÃsqueda surge com el observar, acompaÃando algunas intervenciones del colectivo, actualizadas a travÃs de las notas en el diario de campo, analizando videos y fotos y haciendo "entrevistas enactivas" propuesta presentada en los estudios de Leticia Maria Renault de Barros (2010). ÂQuà hace que algunas imÃgenes produzcan inquietud y outras no? ÂComo las intervenciones de Acidum afectan los modos de transportar y de mirar la ciudad? En el curso de la investigaciÃn, algunos conceptos colaboraron con el anÃlisis, en particular, DivisiÃn de lo sensible y Ficciones, presentados por Jacques RanciÃre (2005; 2010). En esta perspectiva, subrayo la relaciÃn entre el arte y polÃtica trayendo tambiÃn las contribuciones de los estudios de Giorgio Agamben, Hannah Arendt, Chantal Mouffe, Didi-Huberman y Gilles Deleuze. El arte de Acidum puede afectar a la ciudad por producir imÃgenes que causan cambios en las formas de ver de aquellos que caminan y observan. El arte urbano puede discutir de manera creativa el cotidiano, abriendo el camino para la invenciÃn de otras realidades. Constituyendo resistencias moleculares que florecen en medio a la solidez de los prejuicios y concepciones endurecidos. No serÃa una funciÃn del arte, sino una potencia.

FundaÃÃo Cearense de Apoio ao Desenvolvimento Cientifico e TecnolÃgico / Este nÃo pretende ser um trabalho meramente expositivo. Portanto, deseja-se que, a partir dele, algumas questÃes de importÃncia capital para a compreensÃo da Filosofia TeÃrica de Kant sejam nÃo somente erigidas, mas principalmente solucionadas. O ponto de partida inicial consiste no levantamento da seguinte indagaÃÃo: âExerceriam as intuiÃÃes sensÃveis o papel de juiz supremo na dissoluÃÃo das ilusÃes transcendentais?â. Segundo a interpretaÃÃo mais recorrente da âCrÃtica da RazÃo Puraâ â como parece ser o caso das leituras de Cohen, Strawson, bem como de uma sÃrie de outras a serem identificadas â a resposta à questÃo anterior seria afirmativa. Tal concepÃÃo (conforme revelarà este estudo) advogarà que, em Ãltima instÃncia, todas as questÃes da MetafÃsica tradicional (prÃ-kantiana) sÃo denunciadas por Kant como ilegÃtimas precisamente porque nÃo pode ser apresentado, na intuiÃÃo sensÃvel, um objeto que seja correspondente Ãs idÃias por ela construÃdas. Portanto, Kant nÃo teria feito nada mais do que esboÃar uma teoria da possibilidade da experiÃncia (a EstÃtica e a AnalÃtica Transcendentais) e restringir todo o conhecimento humano a este domÃnio, de modo a postular que as questÃes metafÃsicas sÃo ilegÃtimas por nÃo se submeterem Ãs exigÃncias epistÃmicas originais aà esboÃadas. Este trabalho entende que a compreensÃo acima referida desta problemÃtica à insuficiente, haja vista negligenciar o fato de que hÃ, na âCrÃtica da RazÃo Puraâ, nÃo somente uma anunciaÃÃo dogmÃtica, mas uma justificaÃÃo da tese de que todo o conhecimento humano à restrito à esfera da sensibilidade (solo da experiÃncia possÃvel). Esta justificaÃÃo nÃo à outra se nÃo a crÃtica das ilusÃes transcendentais realizada pela DialÃtica Transcendental. Por meio dos Paralogismos da RazÃo Pura, das Antinomias da RazÃo Pura e do Ideal da RazÃo Pura, os silogismos realizados naturalmente pela razÃo serÃo revelados como as balizas para erigirem uma incoerÃncia que diz respeito antes à nÃo assunÃÃo dos propÃsitos iniciais da razÃo do que a uma inadequaÃÃo Ãs exigÃncias da sensibilidade. Tais incoerÃncias sÃo as ilusÃes transcendentais da existÃncia da alma, do mundo (totalidade dos fenÃmenos) e de Deus â os respectivos objetos da Psicologia, Cosmologia e Teologia Racionais. Tentaremos mostrar, por ocasiÃo deste trabalho, que a ilusÃo de afirmar, mediante silogismos a priori, a existÃncia destes objetos consiste primeiramente numa inadequaÃÃo com os propÃsitos iniciais da razÃo pura (mesmo que esta venha a, posteriormente, configurar ilusoriamente tais existÃncias) e, somente por conseqÃÃncia disto, tambÃm com as exigÃncias expressas na EstÃtica e na AnalÃtica Transcendentais. Isto exige do empreendimento a ser realizado neste estudo, portanto, uma CrÃtica da Psicologia Racional, uma CrÃtica da Cosmologia Racional e uma CrÃtica da Teologia Racional. Deste modo, justificarÃamos a tese de que todo conhecimento està reduzido à esfera da sensibilidade e esclarecerÃamos, assim, o porquà dessa ilusÃo ser considerada, por Kant, como transcendental, racional e, portanto, inevitÃvel â esclarecimento este que a referida âinterpretaÃÃo recorrenteâ se abstÃm de realizar. / This study is not meant to be merely expository. Therefore, the aim is that some questions of capital importance for the understanding of Kantâs Theoretic Philosophy not only be raised but also resolved, based on this study. The initial starting point consists of raising the following question: âWill sensitive intuition exercise the role of supreme judge in the dissolution of transcendental illusionsâ? According to the most reoccurring interpretation of the âCritique of Pure Reason,â the answer to the aforementioned question will be affirmative, as seems to be the case in the interpretations of Cohen, Strawson, as well as a series of others to be identified. Such a concept (according to what will be revealed in the study), will advocate, in the end, that all the questions of traditional Metaphysics (pre-Kant) are denounced by Kant as illegitimate, precisely because they can not be presented in sensitive intuition, an object which corresponds to the ideas which it, itself has constructed. Hence, Kant would have done nothing more than outline a theory of the possibility of experience (Transcendental Aesthetic and Transcendental Analytic) and restrict all human knowledge to this domain, in a way which assumes that metaphysical questions are illegitimate, as they are not subject to the original epistemic demands, therein outlined. This study assumes that the understanding of this problem, mentioned above, is insufficient, in that it has neglected the fact that there is, in the âCritique of Pure Reason,â not only a dogmatic announcement of, but also a justification of the thesis that all human knowledge is restricted to the sphere of sensibility (grounds of the possibility of experience). This justification is none other than the critique of transcendental illusions made by Transcendental Dialectic. Through the Paralogisms of Pure Reason, the Antinomies of Pure Reason and the Ideal of Pure Reason, the syllogism realized naturally by reason, will be revealed as the foundation for raising an incoherency regarding the non-assumption of the initial proposals of reason, rather than an inadequacy of the demands of sensibility. Such incoherencies are the transcendental illusions of the existence of the soul, the world (the totality of phenomenon) and of God â the respective objects of psychology, cosmology and Rational Theology. We will attempt to show, in this study, that the illusion of affirming the existence of these objects, in light of the syllogisms a priori, consists firstly, in an inadequacy with the initial proposals of pure reason (even if later this becomes an illusionary configuration of such existences) and only as a consequence of it; and also with the express demands of Transcendental Aesthetic and Transcendental Analytic. Hence, this requires a Critique of Rational Psychology, a Critique of Rational Cosmology and a Critique of Rational Theology for the realization of the task in this study. In this way we will justify the thesis that all knowledge is reduced to the sphere of sensibility and will thus clarity why this illusion is considered by Kant to be transcendental, rational and inevitable. This clarification is what the aforementioned âreoccurring interpretationâ fails to do.

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / As LPSs, alÃm do seu uso em aplicaÃÃes tradicionais, tÃm sido utilizadas no desenvolvimento de aplicaÃÃes que executam em dispositivos mÃveis e sÃo capazes de se adaptarem sempre que mudarem os elementos do contexto em que estÃo inseridas. Essas aplicaÃÃes, ao sofrerem alteraÃÃes devido a mudanÃas no seu ambiente de execuÃÃo, podem sofrer adaptaÃÃes inconsistentes e, consequentemente, comprometer o comportamento esperado. Por esse motivo, à essencial a criaÃÃo de um processo de verificaÃÃo que consiga checar a corretude e a consistÃncia dessas LPSS, bem como checar a corretude tanto dos produtos derivados como dos produtos adaptados dessas LPSs. Sendo assim, nesta tese de doutorado à proposto o PRECISE - um Processo de VerificaÃÃo Formal para Modelos de CaracterÃsticas de AplicaÃÃes MÃveis e SensÃveis ao Contexto. O PRECISE auxilia na identificaÃÃo de defeitos na modelagem da variabilidade de uma LPS para aplicaÃÃes mÃveis e sensÃveis ao contexto e, assim, minimiza problemas que ocorreriam durante a execuÃÃo dos produtos gerados a partir dessa LPS. à importante ressaltar que o PRECISE à definido com base em uma especificaÃÃo formal e em um conjunto de propriedades de boa formaÃÃo elaborados usando LÃgica de Primeira Ordem. Essa especificaÃÃo à um prÃ-requisito para a realizaÃÃo de uma modelagem da variabilidade sem ambiguidades. Para avaliar o PRECISE, uma validaÃÃo à realizada a partir da especificaÃÃo formal e das propriedades de boa formaÃÃo definidas no processo. Essa validaÃÃo tem como objetivo mostrar que o PRECISE consegue identificar defeitos, anomalias e inconsistÃncias existentes em um modelo de variabilidades de uma LPS para aplicaÃÃes mÃveis e sensÃveis ao contexto. Nessa validaÃÃo, cinco tÃcnicas diferentes sÃo utilizadas: Perfil UML, OCL, LÃgica Proposicional, Prolog e SimulaÃÃo. AlÃm de minimizar os defeitos e inconsistÃncias dos modelos de variabilidades das LPSs, o PRECISE ainda se beneficia da generalidade e flexibilidade intrÃnsecas à notaÃÃo formal usada na sua especificaÃÃo. / SPLc have been used to develop different types of applications, including the ones that run on mobile devices and are able to adapt when the context elements in which they are located change. These applications can change due to variations in their execution environment and inconsistent adaptations can occur, compromising the expected behavior. Then there is a need for creating a verification process to check the correctness and consistency of these SPLs as well as to check the correctness of both derived products and adapted products from these SPLs. Thus, this work proposes PRECISE - A Formal Verification Process for Feature Models of Mobile and Context-Aware Applications. PRECISE helps to identify defects in the variability modeling of an SPL for mobile and context-aware applications, minimizing problems that can take place during the execution of products generated from this SPL. It is worth noting that PRECISE is defined based on a formal specification and a set of well-formedness properties developed using First-Order Logic, which are prerequisites for the achievement of an unambiguous variability modeling. To evaluate PRECISE, a validation is performed from the formal specification and well-formedness properties defined in the process. This validation intends to show that PRECISE is able to identify defects, anomalies and inconsistencies in a variability model of an SPL for mobile and context-aware applications. In this validation, five different techniques are used: UML Profile, OCL, Propositional Logic, Prolog and Simulation. While minimizing the defects and inconsistencies in the variability models of an SPL, PRECISE still benefits from the generality and flexibility intrinsic to the formal notation used in its specification.

CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / As Linhas de produtos de software sÃo uma forma de maximizar o reuso de software, dado que proveem a customizaÃÃo de software em massa. Recentemente, Linhas de produtos de software (LPSs) tÃm sido usadas para oferecer suporte ao desenvolvimento de aplicaÃÃes sensÃveis ao contexto nas quais adaptabilidade em tempo de execuÃÃo à um requisito importante. Neste caso, as LPSs sÃo denominadas Linhas de produtos de software sensÃveis ao contexto (LPSSCs). O sucesso de uma LPSSC depende, portanto, da modelagem de suas caracterÃsticas e do contexto que lhe à relevante. Neste trabalho, essa modelagem à feita usando o diagrama de caracterÃsticas e o diagrama de contexto. Entretanto, um processo manual para construÃÃo e configuraÃÃo desses modelos pode facilitar a inclusÃo de diversos erros, tais como duplicaÃÃo de caracterÃsticas, ciclos, caracterÃsticas mortas e falsos opcionais sendo, portanto, necessÃrio o uso de tÃcnicas de verificaÃÃo de consistÃncia. A verificaÃÃo de consistÃncia neste domÃnio de aplicaÃÃes assume um papel importante, pois as aplicaÃÃes usam contexto tanto para prover serviÃos como para auto-adaptaÃÃo caso seja necessÃrio. Neste sentido, as adaptaÃÃes disparadas por mudanÃas de contexto podem levar a aplicaÃÃo a um estado indesejado. AlÃm disso, a descoberta de que algumas adaptaÃÃes podem levar a estados indesejados sà pode ser atestada durante a execuÃÃo pois o erro à condicionado à configuraÃÃo atual do produto. Ao considerar que tais aplicaÃÃes estÃo sujeitas a um grande volume de mudanÃas contextuais, a verificaÃÃo manual torna-se impraticÃvel. Logo, à interessante que seja possÃvel realizar a verificaÃÃo da consistÃncia de forma automatizada de maneira que uma entidade computacional possa realizar essas operaÃÃes. Dado o pouco suporte automatizado oferecido a esses processos, o objetivo deste trabalho à propor a automatizaÃÃo completa desses processos com uma ferramenta, chamada FixTure (FixTure), para realizar a verificaÃÃo da construÃÃo dos modelos de caracterÃsticas para LPSSC e da configuraÃÃo de produtos a partir desses modelos. A ferramenta FixTure tambÃm provà uma simulaÃÃo de situaÃÃes de contexto no ciclo de vida de uma aplicaÃÃo de uma LPSSC, com o objetivo de identificar inconsistÃncias que ocorreriam em tempo de execuÃÃo. / Software product lines are a way to maximize software reuse once it provides mass software customization. Software product lines (SPLs) have been also used to support contextaware applicationâs development where adaptability at runtime is an important issue. In this case, SPLs are known as Context-aware software product lines. Context-aware software product line (CASPL) success depends on the modelling of their features and relevant context. However, a manual process to build and configure these models can add several errors such as replicated features, loops, and dead and false optional features. Because of this, there is a need of techniques to verify the model consistency. In the context-aware application domain, the consistency verification plays an important role, since application in this domain use context to both provide services and self-adaptation, when it is needed. In this sense, context-triggered adaptations may lead the application to undesired state. Moreover, in some cases, the statement that a contex-triggered adaptation is undesired only can be made at runtime, because the error is conditioned to the current product configuration. Additionally, applications in this domain are submitted to large volumes of contextual changes, which imply that manual verification is virtually not viable. So, it is interesting to do consistency verification in a automated way such that a computational entity may execute these operations. As there is few automated support for these proccesses, the objective of this work is to propose the complete automation of these proccesses with a software tool, called FixTure, that does consistency verification of feature diagrams during their development and product configuration. FixTure tool also supports contextual changes simulation during the lifecycle of a CASPL application in order to identify inconsistencies that can happen at runtime.