O presente trabalho é um estudo dos efeitos da Copa do Mundo FIFA 2014, a partir das relações de poder e resistência que se estabeleceram ao seu redor. Ao investigar a produção normativa leis, decretos, portarias e demais normas que se produziram sob a justificativa do megaevento, esse estudo busca descrever de que maneira foi possível introduzir no ordenamento jurídico uma legislação de exceção, entendida aqui como dispositivo de governo. Também, ao descrever a delimitação de zonas de exclusividade comercial no espaço público, busca-se enxergar a maneira como essas normas puderam se territorializar, de modo a garantir a criação de mercado para um grupo de empresas ligadas à FIFA. Por fim, descrevemos as resistências que se articularam em torno da Copa 2014, entendida como campo de gravitação que permitiu colocar o futebol no centro do conflito pelo direito à cidade. / This dissertation consists of a study about the FIFA World Cup 2014 effects, from the power and resistance relations that were established around it. By examining the normative production laws, decrees, edicts and other rules produced under the justification of the megaevent -, this study describes by what means was possible to introduce in the law system a group of excepcion laws, meaning here as a government dispositif. Also, by describing the demarcation of exclusive comercial zones in the public space, the study pursues to look the manner how that rules could be territorialized, aiming to garantee the creation of market for a group of companies linked to FIFA. Finally, we describe the resistance that articulated around the 2014 World Cup, meaning the gravitation field that permitted to put the soccer in the centre of the right to the city\'s conflict.

O presente trabalho é um estudo dos efeitos da Copa do Mundo FIFA 2014, a partir das relações de poder e resistência que se estabeleceram ao seu redor. Ao investigar a produção normativa leis, decretos, portarias e demais normas que se produziram sob a justificativa do megaevento, esse estudo busca descrever de que maneira foi possível introduzir no ordenamento jurídico uma legislação de exceção, entendida aqui como dispositivo de governo. Também, ao descrever a delimitação de zonas de exclusividade comercial no espaço público, busca-se enxergar a maneira como essas normas puderam se territorializar, de modo a garantir a criação de mercado para um grupo de empresas ligadas à FIFA. Por fim, descrevemos as resistências que se articularam em torno da Copa 2014, entendida como campo de gravitação que permitiu colocar o futebol no centro do conflito pelo direito à cidade. / This dissertation consists of a study about the FIFA World Cup 2014 effects, from the power and resistance relations that were established around it. By examining the normative production laws, decrees, edicts and other rules produced under the justification of the megaevent -, this study describes by what means was possible to introduce in the law system a group of excepcion laws, meaning here as a government dispositif. Also, by describing the demarcation of exclusive comercial zones in the public space, the study pursues to look the manner how that rules could be territorialized, aiming to garantee the creation of market for a group of companies linked to FIFA. Finally, we describe the resistance that articulated around the 2014 World Cup, meaning the gravitation field that permitted to put the soccer in the centre of the right to the city\'s conflict.

Process-based composition of Web services is emerging as a promising technology for the effective automation of integrated and collaborative applications. As Web services are often autonomous and heterogeneous entities, coordinating their interactions to build complex processes is a difficult, error prone, and time-consuming task. In addition, since Web services usually operate in dynamic and highly evolving environments, there is a need for supporting flexible and correct execution of integrated processes. In this thesis, we propose a Petri net-based framework for formal composition and recovery policies in service-based business processes. We first propose an algebra for composing Web services. The formal semantics of this algebra is expressed in terms of Petri nets. The use of a formal model allows the effective verification and analysis of properties, both within a service, such as termination and absence of deadlock, and between services, such as behavioral equivalences. We also develop a top down approach for the correct (e.g., absence of deadlock and termination) composition of complex business processes. The approach defines a set of refinement operators that guarantee correctness of the resulting business process nets at design time. We then introduce Self-Adaptive Recovery Net (SARN), an extended Petri net model for specifying exceptional behavior in business processes. SARN adapts the structure of the underlying Petri net at run time to handle exceptions while keeping the Petri net design simple and easy. The proposed framework caters for the specification of high-level recovery policies that are incorporated either with a single task or a set of tasks, called a recovery region. Finally, we propose a pattern-based approach to dynamically restructure SARN. These patterns capture the ways past exceptions have been dealt with. The objective is to continuously restructure recovery regions within the SARN model to minimize the impact of exception handling. To illustrate the viability of the proposed composition and exception handling techniques, we have developed HiWorD (HIerarchical WORkflow Designer), a hierarchical Petri net-based business process modeling and simulation tool.

Web services composition is emerging as a promising technology for the effective automation of application-to-application collaborations. The application integration problems have been subject of much research in the past years. However, with growth in importance of business process automation and highly dynamic nature of the Internet, this research has taken on a new significance and importance. Adequate solutions to this problem will be very important to make enterprise systems more flexible, robust and usable in the future. In this dissertation, we present a novel approach for the declarative definition and scalable orchestration of composite Web services in large, autonomous, heterogeneous, and dynamic environments. We first propose a composition model for composing Web services in a personalized and adaptive manner. We model composite Web services based on statecharts. To cater for large amounts of dynamic Web services, we use the concept of service community that groups services together and is responsible for the runtime selection of services against user's preferences. We use the concept of process schema that specific users can adjust with their personal preferences. A set of exception handling policies can be specified to proactively react to runtime exceptions. We then propose a tuple space based service orchestration model for distributed, self-managed composite services execution. We introduce the concept of execution controller that is associated with a service and is responsible for monitoring and controlling service executions. The knowledge required by a controller is statically extracted from the specification of personalized composite services. We also present techniques for robust Web services provisioning. The techniques presented in this dissertation are implemented in Self-Serv, a prototype that provides a set of tools for Web service composition and execution. Finally, we conduct an extensive usability and performance study of the proposed techniques. The experimental results reveal that our system i) provides an efficient support for specifying, deploying, and accessing composite services; ii) is more scalable and outperforms the centralized approach when the exchanged messages become bigger; and iii) is more robust and adaptive in highly dynamic environments.

Dans les langages de programmation une exception apparait comme conséquence des limites qu'une mise en oeuvre introduit par rapport à un modèle idéal. Les structures de controle traditionnelles ne conviennent pas pour traiter ces cas limites, et sont secondées dans certains langages par un système spécifique de gestion des exceptions qui sépare le traitement des exceptions de l'algorithme principal. Nous analysons dans le contexte plus précis des langages à objets la forme que doit prendre un tel système et les contraintes qu'il doit satisfaire. Nous regardons en particulier les implications de la modularité, de l'héritage et de la conformité. Nous proposons ensuite un système de gestion des exceptions pour le langage Guide, langage à objets conçu pour la constructions d'applications réparties. Nous proposons des solutions aux problèmes de la cohérence des objets et de la concurrence. Ce travail a donné lieu à une mise en oeuvre sur le système Guide.

In dynamic pointcut-advice join point models of Aspect-Oriented Programming (AOP), join points are typically selected and advised independently of each other. That is, the relationships between join points are not considered in join point selection and advice. But these inter-relationships are key to the designation and advice of arbitrary pieces of code when modularizing concerns such as exception handling and synchronization. Without a mechanism for associating join points, one must instead refactor (if possible) into one method the two or more related join points that are to be advised together. In practice, join points are often not independent. Instead, they form part of a higher-level operation that implements the intent of the developer (e.g. managing a resource). This relationship should be made more explicit. We extend the dynamic pointcut-advice join point model to make possible the designation, reication, and advice of interrelated join points. The Transactional Pointcut (transcut), which is a realization of this extended model, is a special join point designator that selects sets of interrelated join points. Each match of a transcut is a set of join points that are related through control ow, dataow, or both. This allows transcuts to dene new types of join points (pieces of computation) by capturing the key points of a computation and to provide effective access for their manipulation (i.e. advice). Essentially, transcuts almost eliminate the need for refactoring to expose join points, which is shown by others to have a signicant negative effect on software quality. The transcut construct was implemented as an extension to the AspectJ language and integrated into the AspectBench compiler. We used transcuts to modularize the concern of exception handling in two real-world software systems. The results show that transcuts are effective in designating target join points without unnecessary refactorings, even when the target code is written obliviously to the potential aspectization.

The TV show is a central focus of American life, one that not only reflects but also produces social imaginaries for the American audience that support the way people interact and engage with reality. It is the nation’s most influential storyteller, which dominates the nation’s imagination and understanding of reality. This dissertation explores the political and cultural meanings of four TV shows from the George W. Bush era: The West Wing (1999-2007), Deadwood (2004-06), The Wire (2002-08) and Heroes (2006-10). In examining these TV shows, this dissertation aims to shed light on both the origins of the state of exception, its conduct, its purpose, and the possibility of meaningful critique of or resistance to the state of exception. Chapter I discusses The West Wing, focusing on President Bartlet’s decision-making process regarding the assassination of Abdul Shareef, so as to elucidate the decisive actions of a sovereign figure in a state of exception. Chapter II explores Deadwood’s resurrection of the nineteenth-century mining camp in our twenty-first century, in terms of the capitalist state of exception. In discussing the show’s portrayal of the conflicts among the main characters, this chapter reveals that the same sovereign logic of exception is innate in the expansion of capitalism. Chapter III examines The Wire’s depiction of rebellious petty-sovereigns such as Major Colvin, Detectives McNulty and Freamon. According to The Wire, the claims of equality are deeply urgent in the bleak reality of contemporary America. With their commitment to equality and justice, the petty-sovereigns intervene in the bleak reality in their subversive ways. Chapter IV explores Heroes’s rendering of the main characters’ struggles against a fictional national emergency, the Company’s conspiracy to blow up half of New York City. In this chapter, I argue that Heroes portrays a political subject that attempts to constitute itself outside biopolitical sovereign power—what Hardt and Negri would call the advent of the multitude. While explicating the struggles of the main characters, I argue that its limitation in envisioning a new world underscores how contemporary critics fail to see past sovereign politics when they imagine another world. / English

The purpose with this study is to compare four different models to VaR in terms of accuracy, namely Historical Simulation (HS), Simple Moving Average (SMA), Exponentially Weighted Moving Average (EWMA) and Exponentially Weighted Historical Simulation (EWHS). These VaR models will be applied to one underlying asset which is the Brent Blend Oil using these confidence levels 95 %, 99 % and 99, 9 %. Concerning the return of the asset the models under two different assumptions namely student t-distribution and normal distribution will be studied

Military spending briefly dipped in the early 1990s only to rebound by the end of the 20th century, yet policymakers and academics alike predicted a peace dividend if the cold war should end. What happened to this peace dividend? How do some countries actualize a peace dividend in a world that seems not to encourage one? Typically military spending is analyzed through lenses focusing on international politics, bureaucratic process, or domestic political economy. I argue that these three lenses have failed to account for some of the reasons military spending remains high in the post-cold war era. Utilizing sociological institutionalism and world models, I examine how the rules of the Washington consensus via the neo-liberal economic agenda and the national security exception promote high levels of military spending that the three main theories fail to recognize. This study particularly delves into the roles of states and transnational corporations in terms of competitiveness in the global political economy and privileges allotted to the military industry. My tests rely on fuzzy-set comparative qualitative analysis (fsQCA) as an innovative means for looking at necessary conditions as well as sufficient conjunctural causation through which countries can achieve a peace dividend in the post-cold war era.

The introduction of the dissertation gives a short overview of the scope of the research. The first chapter discusses the ways and methods of business process modelling and gives summary on exception types and their nature. The second chapter discusses in detail the exception models, occurring in e-business processes. The third chapter describes the results of the research on handling exceptions in B2C environment. The last, fourth, chapter discusses the method of handling exceptions in B2B environment. At the end of the research the general conclusions are made.