Les techniques dynamiques de vérification et validation (V&V) de modèles sont nécessaires pour assurer la qualité des modèles exécutables. La plupart de ces techniques reposent sur la concept de trace d'exécution, une séquence contenant un ensemble d'informations sur une exécution. Par conséquent, pour permettre la V&V dynamique de modèles exécutables conformes à n'importe quel langage de modélisation dédié exécutable (LMDx), il est crucial de fournir des outils pour construire et manipuler toutes sortes de traces d'exécution. À cet effet, nous proposons d'abord une approche de clonage efficace de modèles afin de pouvoir construire des traces d'exécution génériques à base de clones. À l'aide d'un générateur aléatoire de métamodèles, nous montrons que cette approche passe à l'échelle avec seulement un léger surcoût lors de la manipulation de clones. Nous présentons ensuite une approche générative pour définir des métamodèles dédiés et multidimensionnels pour représenter des traces d'exécution, qui consiste à créer la structure de données spécifique aux traces d'exécution d'un LMDx donné. Ainsi, les traces d'exécution de modèles conformes à ce LMDx peuvent être capturées et manipulées efficacement de manière dédiée et à l'aide de différentes dimensions. Nous appliquons cette approche à deux techniques de V&V dynamiques existantes, à savoir la différentiation sémantique et le débogage omniscient. Nous montrons qu'un tel métamodèle de traces d'exécution généré fournit une bonne facilité d'usage et un bon passage à l'échelle pour la V&V dynamique au plus tôt pour n'importe quel LMDx. Nous avons intégré notre travail au sein du GEMOC Studio, un environnement de définition de langages et de modélisation issu de l'initiative internationale du même nom. / Dynamic verification and validation (V&V) techniques are required to ensure the correctness of executable models. Most of these techniques rely on the concept of execution trace, which is a sequence containing information about an execution. Therefore, to enable dynamic V&V of executable models conforming to any executable domain-specific modeling language (xDSML), it is crucial to provide efficient facilities to construct and manipulate all kinds of execution traces. To that effect, we first propose a scalable model cloning approach to conveniently construct generic execution traces using model clones. Using a random metamodel generator, we show that this approach is scalable in memory with little manipulation overhead. We then present a generative approach to define multidimensional and domain-specific execution trace metamodels, which consists in creating the execution trace data structure specific to an xDSML. Thereby, execution traces of models conforming to this xDSML can be efficiently captured and manipulated in a domain-specific way. We apply this approach to two existing dynamic V&V techniques, namely semantic differencing and omniscient debugging. We show that such a generated execution trace metamodel provides good usability and scalability for dynamic early V&V support for any xDSML. Our work have been implemented and integrated within the GEMOC Studio, which is a language and modeling workbench resulting from the eponym international initiative.

No romance The Awakening (1899), de Kate Chopin, a busca da individualidade e da liberdade financeira e sexual da protagonista Edna Pontellier fundem-se à tentativa de realização do amor extraconjugal, que, frustradas, a levam ao suicídio. Essa busca frustrada carrega em si contradições históricas inerentes à ideologia burguesa, que promete igualdade a todos, mas não permite a realização concreta de tal promessa. Essas contradições se fazem presentes não apenas no tema do romance, mas em sua estrutura formal: o recorte sócio-histórico do romance implica uma série de fissuras em sua estrutura, também reveladoras de contradições ideológicas. Para a análise dessa obra, faz-se necessário o estudo das relações sociais traçadas no romance e suas implicações estéticas, como a questão do narrador onisciente e do desenvolvimento da narrativa, os limites desta, bem como os limites da ideologia da modernização. / In The Awakening (1899) the protagonist\'s search for individuality, economic and sexual freedom merge with the attempt of finding fulfillment outside her marriage. When these possibilities are frustrated, she is drawn to suicide. This unsuccessful quest carries within itself the historical contradictions which are inherent to the bourgeois ideology, which promises equality for all but eventually fails to keep its promise. These contradictions are present not only in the content of the novel, but in its formal structure as well: the historical and social frame of the novel entangles several breaks in its structure, which also reveal ideological contradictions. In order to analyze this novel, it is mandatory to study the social relationships established in it and its aesthetic implications, as well as the question of the omniscient narrator and of how the narrative unfolds; the limits of the latter as well as the limits of the ideology of modernization.

No romance The Awakening (1899), de Kate Chopin, a busca da individualidade e da liberdade financeira e sexual da protagonista Edna Pontellier fundem-se à tentativa de realização do amor extraconjugal, que, frustradas, a levam ao suicídio. Essa busca frustrada carrega em si contradições históricas inerentes à ideologia burguesa, que promete igualdade a todos, mas não permite a realização concreta de tal promessa. Essas contradições se fazem presentes não apenas no tema do romance, mas em sua estrutura formal: o recorte sócio-histórico do romance implica uma série de fissuras em sua estrutura, também reveladoras de contradições ideológicas. Para a análise dessa obra, faz-se necessário o estudo das relações sociais traçadas no romance e suas implicações estéticas, como a questão do narrador onisciente e do desenvolvimento da narrativa, os limites desta, bem como os limites da ideologia da modernização. / In The Awakening (1899) the protagonist\'s search for individuality, economic and sexual freedom merge with the attempt of finding fulfillment outside her marriage. When these possibilities are frustrated, she is drawn to suicide. This unsuccessful quest carries within itself the historical contradictions which are inherent to the bourgeois ideology, which promises equality for all but eventually fails to keep its promise. These contradictions are present not only in the content of the novel, but in its formal structure as well: the historical and social frame of the novel entangles several breaks in its structure, which also reveal ideological contradictions. In order to analyze this novel, it is mandatory to study the social relationships established in it and its aesthetic implications, as well as the question of the omniscient narrator and of how the narrative unfolds; the limits of the latter as well as the limits of the ideology of modernization.

Tendo em vista um cenário em que os dispositivos de registro do real adquirem onipresença na vida cotidiana, o jornalismo se encontra em um período de readequação de suas estratégias narrativas e de seu modus operandi. A presente tese procura investigar as reconfigurações no telejornalismo em razão da ubiquidade de câmeras, que capturam registros produzidos tanto pelas mídias quanto por instâncias externas a elas, e que oferecem aos veículos jornalísticos um material inesgotável e irrecusável, visto estar cercado de uma expectativa de autenticidade. Propõe-se então uma categorização às câmeras, sistematizadas como câmeras oniscientes e onipresentes, de modo a nos aproximarmos à especificidade do fenômeno. Em comum, todas as câmeras apontam à busca de uma estética realista, baseada no reconhecimento de uma baixa interferência midiática. Desse modo, o que se observa é o emprego de estratégias narrativas e estéticas para que o telejornalismo possa se apropriar destes conteúdos gerados por estas máquinas de visibilidade, que trazem às mídias algo que ficaria anteriormente restrito aos bastidores, operando também com sintoma da desfronteirização entre o público e o privado. A partir deste percurso metodológico, intenta-se por fim compreender de que forma estes dispositivos são utilizados para a concretização de novos efeitos de realismo ao jornalismo. / Considering a scenario where the technologic devices that visually register the world acquire omnipresence in everyday life, journalism is in a period of readjustment of its narrative strategies and its modus operandi. This research intents to investigate the changes in TV journalism because of the ubiquity of cameras, which capture images produced both by the media and by external institutions, since they offer to the journalistic enterprises an inexhaustible and irresistible material, because it is surrounded by an expectation of authenticity. We propose then a categorization of these machines, which are systematized as omniscient and omnipresent cameras, for the purpose of understanding the specificity of the phenomenon. In common, all of these cameras point to the search for a realistic aesthetics, based on the recognition of a low media interference. Thus, it is observed that the TV stations use some strategies to adapt these contents in their narratives, which bring to the media something that would previously be restrict to the backstage area. In a sense, they operate as a symptom o the erosion of the boundaries between public and private. With this methodological course, we finally attempt to understand how these technologic devices are used to achieve effects of realism to journalism.

Tendo em vista um cenário em que os dispositivos de registro do real adquirem onipresença na vida cotidiana, o jornalismo se encontra em um período de readequação de suas estratégias narrativas e de seu modus operandi. A presente tese procura investigar as reconfigurações no telejornalismo em razão da ubiquidade de câmeras, que capturam registros produzidos tanto pelas mídias quanto por instâncias externas a elas, e que oferecem aos veículos jornalísticos um material inesgotável e irrecusável, visto estar cercado de uma expectativa de autenticidade. Propõe-se então uma categorização às câmeras, sistematizadas como câmeras oniscientes e onipresentes, de modo a nos aproximarmos à especificidade do fenômeno. Em comum, todas as câmeras apontam à busca de uma estética realista, baseada no reconhecimento de uma baixa interferência midiática. Desse modo, o que se observa é o emprego de estratégias narrativas e estéticas para que o telejornalismo possa se apropriar destes conteúdos gerados por estas máquinas de visibilidade, que trazem às mídias algo que ficaria anteriormente restrito aos bastidores, operando também com sintoma da desfronteirização entre o público e o privado. A partir deste percurso metodológico, intenta-se por fim compreender de que forma estes dispositivos são utilizados para a concretização de novos efeitos de realismo ao jornalismo. / Considering a scenario where the technologic devices that visually register the world acquire omnipresence in everyday life, journalism is in a period of readjustment of its narrative strategies and its modus operandi. This research intents to investigate the changes in TV journalism because of the ubiquity of cameras, which capture images produced both by the media and by external institutions, since they offer to the journalistic enterprises an inexhaustible and irresistible material, because it is surrounded by an expectation of authenticity. We propose then a categorization of these machines, which are systematized as omniscient and omnipresent cameras, for the purpose of understanding the specificity of the phenomenon. In common, all of these cameras point to the search for a realistic aesthetics, based on the recognition of a low media interference. Thus, it is observed that the TV stations use some strategies to adapt these contents in their narratives, which bring to the media something that would previously be restrict to the backstage area. In a sense, they operate as a symptom o the erosion of the boundaries between public and private. With this methodological course, we finally attempt to understand how these technologic devices are used to achieve effects of realism to journalism.