A área de gerenciamento de processos de negócio apresenta-se ativa e tem recebido atenção tanto da comunidade de pesquisa como da indústria. Uma das principais preocupações nessa área é a escolha da melhor abordagem para modelagem e implementação de processos de negócio. Atualmente, organizações possuem processos de negócio com complexas estruturas que são reavaliados e ajustados com frequência, exigindo flexibilidade das linguagens para modelagem de processos. Além disso, processos de negócio atuais também exigem ambientes para implementação capazes de garantir confiabilidade na execução de instâncias do processo modelado, especialmente em caso de falhas. Embora diversos modelos transacionais tenham sido propostos com o objetivo de garantir propriedades transacionais adaptadas ao contexto de processos de negócio, a implementação de processos transacionais ainda oferece um cenário com desafios teóricos e práticos. Neste trabalho apresentamos uma implementação da abordagem WED-flow para controle de processos transacionais. A WED-flow é uma abordagem que combina conceitos de modelos transacionais avançados, eventos e estados de dados com o objetivo principal de reduzir a complexidade no tratamento de exceções. A ferramenta de software desenvolvida é capaz de controlar a execução de instâncias de processos de negócio, permite a evolução incremental do modelo projetado e ainda disponibiliza a estrutura necessária para apoiar a implementação de mecanismos de recuperação para tratar interrupções em instâncias causadas por exceções. / Business processes management is an active area which have received increased attention from research and industry communities. A major concern is the selection of the best approach for modeling and implementing business processes. Nowadays, organizations have business processes with complex structures, which are reevaluated and adjusted frequently, requiring flexibility from modeling languages. In addition, current business processes also require implementation environments capable of ensuring execution reliability, especially in case of failures. Although several transactional models have been proposed in order to guarantee transactional properties adapted to the context of business processes, the implementation of transactional processes still offers a scenario with several theoretical and practical challenges. In this work, we present an implementation of WED-flow approach for controlling transactional processes. WED-flow is an approach which combines the concepts of advanced transactional models, events and data states for the purpose of reducing exception handling complexity. The developed software tool is able of controlling the execution of business processes instances, allows incremental evolution of the designed model and also provides the necessary structure to support recovery mechanisms implementation to handle instances interruptions caused by exceptions.

Poderíamos afirmar que o projeto Homo Sacer, que marcará o pensamento de Giorgio Agamben em sua fase mais recente, busca colocar em operação uma crítica do aparato político ocidental, sustentada por uma leitura da modernidade que aponta a persistência em seu núcleo de dispositivos ligados a uma metafísica negativa de origem jurídicoteológica. Tal crítica será construída fundamentalmente a partir da leitura dos estudos elaborados por Michel Foucault em torno do tema da biopolítica, aliado a um segundo debate, realizado entre Carl Schmitt e Walter Benjamin em torno da relação entre soberania e estado de exceção. Para o filósofo italiano, a modernidade estaria marcada pela coincidência progressiva entre espaço político, gestão da vida e a generalização de dispositivos próprios ao Estado de Exceção, afirmando não a polis, mas o campo de concentração, como o paradigma político fundamental do Ocidente. / The Homo Sacer project, the pillar of Giorgio Agambens later thought, seeks to operate a critique of the Western political apparatus, supported by a reading of modernity that points to the persistence, at its very core, of a negative metaphysics of juridicotheological origin. This critique derives primarily from a reading of Michel Foucaults studies on biopolitics, allied with a second debate, held between Carl Schmitt and Walter Benjamin, on the relationship between sovereignty and the state of exception. For the Italian thinker, the modern state is marked by the progressive coincidence between the political space, life-management and the state of exception. Based on this thesis, Agamben elects the concentration camp rather than the polis as the fundamental political paradigm of the West.

Com o intuito de tornarem-se mais eficientes, muitas organizações -- empresas, órgãos governamentais, centros de pesquisa, etc. -- optam pela utilização de ferramentas de software para apoiar a realização de seus processos. Uma opção que vem se tornando cada vez mais popular é a utilização de sistemas de Gestão de Processos de Negócio (GPN), que são ferramentas genéricas, ou seja, não são específicas a nenhuma organização, altamente configuráveis e ajustáveis às necessidades dos objetos de atuação de cada organização. Uma das principais responsabilidades de um sistema de GPN é prover mecanismos de tratamento de exceções à execução de instâncias de processos de negócio. Exceções, se forem ignoradas ou se não forem corretamente tratadas, podem causar o aborto da execução de instâncias e, dependendo da gravidade da situação, podem causar falhas em sistemas de GPN ou até mesmo em sistemas subjacentes (sistema operacional, sistema gerenciador de banco de dados, etc.). Sendo assim, mecanismos de tratamento de exceções têm por objetivo resolver a situação excepcional ou conter seus efeitos colaterais garantindo, ao menos, uma degradação controlada (graceful degradation) do sistema. Neste trabalho, estudamos algumas das principais deficiências de modelos atuais de tratamento de exceções, no contexto de sistemas de GPN, e apresentamos soluções baseadas em Modelos Transacionais Avançados para contorná-las. Isso é feito por meio do aprimoramento dos mecanismos de tratamento de exceções da abordagem de modelagem e gerenciamento de execução de processos de negócio WED-flow. Por fim, estendemos a ferramenta WED-tool, uma implementação da abordagem WED-flow, através do desenvolvimento de seu gerenciador de recuperação de falhas. / With the aim of becoming more efficient, many organizations -- companies, governmental entities, research centers, etc -- choose to use software tools for supporting the accomplishment of its processes. An option that becomes more popular is the usage of Business Process Management Systems (BPM), which are generic tools, that is, not specific to any organization and highly configurable to the domain needs of any organization. One of the main responsibilities of BPM Systems is to provide exception handling mechanisms for the execution of business process instances. Exceptions, if ignored or incorrectly handled, may induce the abortion of instance executions and, depending on the gravity of the situation, induce failures on BPM Systems or even on subjacent systems (operational system, database management systems, etc.). Thus, exception handling mechanisms aim to solve the exceptional situation or stopping its collateral effects by ensuring, at least, a graceful degradation to the system. In this work, we study some of the main deficiencies of present exception handling models -- in the context of BPM Systems -- and present solutions based on Advanced Transaction Models to bypass them. We do this through the improvement of exception handling mechanisms from WED-flow, a business process modelling and instance execution managing approach. Lastly, we extend the WED-tool, an implementation of WED-flow approach, through the development of its failure recovery manager.

Esta pesquisa procura discutir tensões existentes entre direitos, democracia, igualdade e Estado de Direito no Brasil, valendo-se do estudo do caso de Champinha jovem autor de ato infracional que transitou de uma medida socioeducativa para uma internação psiquiátrica compulsória. O trabalho procura destacar o aspecto de exceção que marca o caso analisado, ao mesmo tempo em que busca situá-lo em um cenário mais amplo, de criação de outras modalidades de exceção no Brasil contemporâneo. Através dessa discussão, espera-se contribuir para uma sociologia política que articule esses fenômenos ao modelo de democracia brasileira e suas consequências para as possibilidades de política democrática. / This research discusses the tensions that exist between human rights, democracy, equality and the rule of Law in Brazil, using the case study of Champinha a young criminal offender for whom an exception was made where upon a sentence of social education was switched for that of mandatory psychiatric hospitalization. The work seeks to analyze and highlight the exception made in this case, while contextualizing it among other contemporary legal exceptions made in Brazil. This discussion aims to contribute to political sociology, linking the phenomenon of exceptions to the Brazilian model of democracy and its consequences for the possibilities of democratic policy.

Esta pesquisa parte da observação de algumas poéticas artísticas contemporâneas que têm experiências e/ou memórias a respeito de Estados de exceção como objeto central de seus trabalhos. A investigação baseia-se na hipótese de que esses trabalhos de arte podem ser percebidos também como espaços para elaborações de memórias, e que a partir dessas construções mnêmicas as identidades sociais fraturadas durante esses momentos de exceção podem ser reestruturadas. A cada uma dessas poéticas artísticas propõe-se a denominação de \"arte da elaboração\", conceito formulado nesta pesquisa tendo por base dois dos usos que o termo \"elaboração\" recebe na teoria psicanalítica freudiana. / This research has as a starting point the observation of some poetics contemporary art that present experiences and/or memories concerning the States of exception as the main object of their work. This critical study is based on the hypothesis that these works of art can also be interpreted as spaces for the elaboration of memories and that these mnemonics constructions lead to a reconstruction of social identities fractured during the moment of exception. For each of these works of art the name \"elaboration\"s art\" is suggested. This concept is adopted in this research and is based on two different appliances of the term \"elaboration\" that can be found in the Freudian psychoanalytical theory.

Este trabalho consiste numa análise sobre a configuração contemporânea do estado de exceção. Tornando-se atualmente a regra na atual experiência governamental, o estado de exceção tem extrapolado sua excepcionalidade e se constituído em técnica de governo. Recorrendo a leituras de Arendt e, principalmente, de Foucault, busco aqui caracterizar o sentido da biopolítica na sua concepção propriamente agambeniana. Em seguida, por meio do diálogo de Agamben com Schmitt, caracterizo a passagem do estado de exceção da excepcionalidade para a regra. Todavia, o ponto de fuga desta exposição é a busca de uma interlocução deste debate com o que Loïc Wacquant tem chamado de período de fortalecimento do braço penal do Estado. Recorrendo ainda a Melossi e De Giorgio, que concebem uma economia política da pena no capitalismo contemporâneo, intento chamar a atenção para o que considero um limite do pensamento de Agamben: o fato de ele não levar em conta as relações econômico-mercantis e sua expressão na luta de classes. Dessa forma, a proposta desta tese é pensar a segurança como paradigma contemporâneo da reprodução do capital e o Estado penal como sua expressão. / This work is an analysis of the contemporary state of exception. Currently becoming the rule in the present governmental experience, the state of exception has extrapolated its exceptionality and constituted into a technique of government. Drawing on readings by Arendt and especially by Foucault, I aim here in characterizing the meaning of biopolitics in its Agambenian design properly. Then, through Agambens dialogue with Schmitt I characterize the passage of the state of exception from exceptionality to the norm. However, the vanishing point of this exposition is to seek a dialogue between this debate and that Loïc Wacquant has called a period of strengthening of the punitive arm of the state. Using in addiction Melossi and De Giorgio, who conceive a \"political economy of punishment\" in contemporary capitalism, I attempt to draw attention to what I consider a limitation in Agamben\'s thought: the fact that he did not take into account the economic-commodities relations and its expression in the class struggle. Thus, the purpose of this dissertation is to think the safety as a contemporary paradigm of capital reproduction and Penal State as its expression.

Um sistema de software que apresente problemas em sua execução pode gerar conseqüências desde um simples incômodo ao usuário, até desastres como a perda de uma sonda da NASA em Marte. As atividades de teste visam identificar erros nos sistemas de software, prevenindo estas conseqüências indesejáveis. Porém, os testes podem envolver entre 30% e 40% do esforço de desenvolvimento do sistema, e em sistemas críticos, seu custo pode ser de 3 a 5 vezes maior do que o custo combinado das demais atividades. Para tentar reduzir estes custos podemos automatizar parte das atividades. No presente caso, pretende-se minimizar os casos de teste gerados manualmente, utilizando uma técnica denominada verificação de modelos. Esta técnica consiste em verificar propriedades definidas formalmente através de expressões matemáticas, utilizando uma ferramenta de verificação que simula a execução do código. Além disso, um sistema que utilize um tratamento de condições excepcionais eficiente, tem sua manutenibilidade, robustez e confiabilidade melhoradas. Por isso, definimos propriedades relacionadas ao tratamento de exceções, como ponto de entrada para a verificação de modelos. Apresentamos um ambiente de testes criado para permitir a verificação destas propriedades com o verificador Java PathFinder e a exibição das estatísticas de cobertura de testes de acordo com o critério selecionado. Este ambiente facilita a execução dos testes, pois apresenta uma interface gráfica com o usuário que permite a configuração e execução dos testes sem que seja necessária a escrita de código pelo testador. Apresentamos também o resultado do uso deste ambiente para o teste de vários programas exemplo, utilizando desde código concorrente até diferentes estratégias de tratamento de exceção e discutimos as características, cuidados no uso e limitações das ferramentas utilizadas. / A software system that shows some failure at runtime execution may bring consequences that range from a simple user annoyance to great disasters such as the lost NASA probe on Mars. The test activities aim to find errors in software systems, preventing these undesirable consequences. However, tests may take between 30% and 40% of total development time, and on critical systems, its cost can be from 3 to 5 times greater than the combined cost of the other activities. In an effort to reduce these costs, we may automate some of the activities. In this work we intend to minimize test case manual generation, using a technique called model checking. This technique involves the checking of properties defined through the use of mathematical formulas, using a tool, that simulates code execution. In addition, a system with an efficient exception handling mechanism, has its maintainability, robustness and reliability enhanced. So, in this work we define exception handling related properties, as an input for model checking. We present a test tool created to allow checking of these properties using the Java PathFinder model checker, and to list the test coverage statistics, according to the selected test criteria. This tool makes easy the test execution, since it presents a graphical user interface that allows configuration and running of tests with no need to write any lines of code. We also show the results of running several tests with the GUI, using some programs implemented with concurrent code and several exception handling techniques and discuss the main features, pitfalls and limitations of the underlying tools.

Estruturas de tratamento de exceção são extremamente comuns em softwares desenvolvidos em linguagens modernas, como Java, e afetam de forma contundente o comportamento de um software quando exercitadas. Apesar destas duas características, as principais técnicas de verificação, teste de software e verificação formal, e as ferramentas a elas vinculadas, tendem a negligenciar o comportamento excepcional. Alguns dos fatores que levam a esta negligência são a não especificação do comportamento excepcional em termos de projeto e a consequente implementação das estruturas de tratamento com base no julgamento individual de cada programador. Isto resulta na não consideração de partes expressivas do código em termos de verificação e, consequentemente, a possibilidade de não serem detectados erros relativos tanto às próprias estruturas de tratamento quanto às estruturas de código vinculadas a estas. A fim de abordar este problema, propomos uma técnica, baseada em model checking, que automatiza o processo de exercício de caminhos excepcionais. Isto permite que seja observado o comportamento de um software quando da ocorrência de uma exceção. Pretendemos, com esta técnica, dar suporte para que seja aplicado aos caminhos que representam o comportamento excepcional de um software as mesmas técnicas de detecção de erros que são aplicadas aos caminhos que representam o comportamento normal e, com isso, agregar um aumento na qualidade do desenvolvimento de software. / Software developed in modern languages, such as Java, commonly present structures of exception handling. These structures, when exercised, may affect the software behavior. Despite these two characteristics, the main verification techniques, software testing and formal verification and the tools related to them, tend to neglect the exceptional behavior. The nonexistent specification of software exceptional behaviors at the design level, and, the subsequent implementation of exception handling based on the judgment of each programmer, are some factors that lead to this neglect. These factors result in the non-consideration of the expressive parts of the code in verification terms and, consequently, the impossibility of errors detection concerning either the exception treatment structures or the code structures linked to them. Taking this fact into consideration, we propose a technique based on the model checking process, which automates the process of exercising exceptional paths to address this problem. This allows the observation of the software behavior when an exception occurs. With this technique, we intend to support the application of the same error detection techniques for program normal behavior paths to the paths that represent the software exceptional behavior. Therefore, using the proposed technique, we aim to increase the software development quality.

Com este trabalho apresentamos uma leitura do texto da peça didática Die Ausnahme und die Regel (A exceção e a regra) do dramaturgo alemão Bertolt Brecht, escrita em 1929/1930. Trata-se de uma leitura feita a partir de uma ótica acadêmica brasileira, que leva em consideração aspectos do procedimento estilístico do autor, sua posição em relação ao teatro, o contexto em que a peça foi produzida, o público a que a peça se destina, o seu lugar dentro do conjunto das outras peças didáticas e o resgate de textos inéditos para dois coros, bem como indicações para outras leituras e encenações. A partir destes pressupostos, busca-se delinear ao final um possível diálogo que Brecht estabelece com o jurista Carl Schmitt e com a sociedade de seu tempo. / This work consists of a reading of the text of the German playwright Bertold Brechts didactic play Die Ausnahme und die Regel (The exception and the rule), written in 1929/1930. This is a reading from a Brazilian academic perspective which takes into consideration aspects of the authors stylistic procedure, his positioning towards theater, the context in which the play was written, the audience to whom it was produced, its place in Brechts set of didactic plays and the review of unpublished texts for two choruses, as well as indications for other readings and stagings. From these assumptions, in the end of the work, we aim at outlining a possible dialogue Brecht established with the jurist Carl Schmitt and with society in his times.

Com o intuito de tornarem-se mais eficientes, muitas organizações -- empresas, órgãos governamentais, centros de pesquisa, etc. -- optam pela utilização de ferramentas de software para apoiar a realização de seus processos. Uma opção que vem se tornando cada vez mais popular é a utilização de sistemas de Gestão de Processos de Negócio (GPN), que são ferramentas genéricas, ou seja, não são específicas a nenhuma organização, altamente configuráveis e ajustáveis às necessidades dos objetos de atuação de cada organização. Uma das principais responsabilidades de um sistema de GPN é prover mecanismos de tratamento de exceções à execução de instâncias de processos de negócio. Exceções, se forem ignoradas ou se não forem corretamente tratadas, podem causar o aborto da execução de instâncias e, dependendo da gravidade da situação, podem causar falhas em sistemas de GPN ou até mesmo em sistemas subjacentes (sistema operacional, sistema gerenciador de banco de dados, etc.). Sendo assim, mecanismos de tratamento de exceções têm por objetivo resolver a situação excepcional ou conter seus efeitos colaterais garantindo, ao menos, uma degradação controlada (graceful degradation) do sistema. Neste trabalho, estudamos algumas das principais deficiências de modelos atuais de tratamento de exceções, no contexto de sistemas de GPN, e apresentamos soluções baseadas em Modelos Transacionais Avançados para contorná-las. Isso é feito por meio do aprimoramento dos mecanismos de tratamento de exceções da abordagem de modelagem e gerenciamento de execução de processos de negócio WED-flow. Por fim, estendemos a ferramenta WED-tool, uma implementação da abordagem WED-flow, através do desenvolvimento de seu gerenciador de recuperação de falhas. / With the aim of becoming more efficient, many organizations -- companies, governmental entities, research centers, etc -- choose to use software tools for supporting the accomplishment of its processes. An option that becomes more popular is the usage of Business Process Management Systems (BPM), which are generic tools, that is, not specific to any organization and highly configurable to the domain needs of any organization. One of the main responsibilities of BPM Systems is to provide exception handling mechanisms for the execution of business process instances. Exceptions, if ignored or incorrectly handled, may induce the abortion of instance executions and, depending on the gravity of the situation, induce failures on BPM Systems or even on subjacent systems (operational system, database management systems, etc.). Thus, exception handling mechanisms aim to solve the exceptional situation or stopping its collateral effects by ensuring, at least, a graceful degradation to the system. In this work, we study some of the main deficiencies of present exception handling models -- in the context of BPM Systems -- and present solutions based on Advanced Transaction Models to bypass them. We do this through the improvement of exception handling mechanisms from WED-flow, a business process modelling and instance execution managing approach. Lastly, we extend the WED-tool, an implementation of WED-flow approach, through the development of its failure recovery manager.