My dissertation explores postcolonial implications of performances in Brian Friel's plays. While showing Friel's theatre is performative with its alienation effect and artistic activities of music, songs, dances, and recitations, I demonstrate that Irish self, culture, and history in Friel's plays are performative as well, because they are shown to be socially constructed rather than inherently possessed, constantly contested rather than comfortably settled, in dynamic process of remaking rather than fixed as finished products. Examining performances in Friel's theatre, characters' daily lives, historical narratives, and cultural ceremonies, I argue that those performances also shed light on the (post)colonial situation in Ireland¡ªa split island with mongrel arts, interstitial characters, disparate histories, and mythologized or relegated cultures. Showing that Irish self, history, and culture are not homogenous, linear, or monolithic entities but hybrid, contested constructs, Friel's plays subvert the binaries embedded in British colonialism, Irish nationalism, and developmental historicism. However, as Friel's characters fail to negotiate the symbiotic yet opposing forces such as the north and the south, English and Irish, official history and personal story, national myth and folk culture, tradition and modernity, my dissertation concludes that in Friel's plays to be Irish is to suffer a hybrid yet split and liminal existence, to be framed by official discourses and cultural myths, and to contend for alternative expressions of history and culture. Friel's concern with performance thus culminates in his performative conception of Irish identity¡ªas a heterogeneous composite with ongoing contestation between different selves, historical narratives, and cultural practices, it cannot but remain open to different expressions and constant (re)definitions.

Workflow systems aim to provide automated support for the conduct of certain business processes. Workflow systems are driven by workflow specifications which among others, capture the execution interdependencies between various activities. These interdependencies are modelled by means of different control flow constructors, e.g., sequence, choice, parallelism and synchronisation. It has been shown in the research on workflow patterns that the support for and the interpretation of various control flow constructs varies substantially across workflow systems. Two of the most problematic patterns relate to the OR-join and to cancellation. An OR-join is used in situations when we need to model " wait and see" behaviour for synchronisation. Different approaches assign a different (often only intuitive) semantics to this type of join, though they do share the common theme that synchronisation is only to be performed for active paths. Depending on context assumptions this behaviour may be relatively easy to deal with, though in general its semantics is complicated, both from a definition point of view (in terms of formally capturing a desired intuitive semantics) and from a computational point of view (how does one determine whether an OR-join is enabled?). Many systems and languages struggle with the semantics and implementation of the OR-join because its non-local semantics require a synchronisation depending on an analysis of future execution paths. This may require some non-trivial reasoning. The presence of cancellation features and other OR-joins in a workflow further complicates the formal semantics of the OR-join. The cancellation feature is commonly used to model external events that can change the behaviour of a running workflow. It can be used to either disable activities in certain parts of a workflow or to stop currently running activities. Even though it is possible to cancel activities in workflow systems using some sort of abort function, many workflow systems do not provide direct support for this feature in the workflow language. Sometimes, cancellation affects only a selected part of a workflow and other activities can continue after performing a cancellation action. As cancellation occurs naturally in business scenarios, comprehensive support in a workflow language is desirable. We take on the challenge of providing formal semantics, verification techniques as well as an implementation for workflows with those features. This thesis addresses three interrelated issues for workflows with cancellation regions and OR-joins. The concept of the OR-join is examined in detail in the context of the workflow language YAWL, a powerful workflow language designed to support a collection of workflow patterns and inspired by Petri nets. The OR-join semantics has been redesigned to represent a general, formal, and decidable approach for workflows in the presence of cancellation regions and other OR-joins. This approach exploits a link that is proposed between YAWL and reset nets, a variant of Petri nets with a special type of arc that can remove all tokens from a place. Next, we explore verification techniques for workflows with cancellation regions and OR-joins. Four structural properties have been identified and a verification approach that exploits coverability and reachability notions from reset nets has been proposed. The work on verification techniques has highlighted potential problems with calculating state spaces for large workflows. Applying reduction rules before carrying out verification can decrease the size of the problem by cutting down the size of the workflow that needs to be examined while preserving some essential properties. Therefore, we have extended the work on verification by proposing reduction rules for reset nets and for YAWL nets with and without OR-joins. The proposed OR-join semantics as well as the proposed verification approach have been implemented in the YAWL environment.

Over the past decade, the ubiquity of business processes and their need for ongoing management in the same manner as other corporate assets has been recognized through the establishment of a dedicated research area: Business Process Management (or BPM). There are a wide range of potential software technologies on which a BPM o®ering can be founded. Although there is signi¯cant variation between these alternatives, they all share one common factor { their execution occurs on the basis of a business process model { and consequently, this ¯eld of technologies can be termed Process-Aware Information Systems (or PAIS). This thesis develops a conceptual foundation for PAIS based on the results of a detailed examination of contemporary o®erings including work°ow and case han- dling systems, business process modelling languages and web service composition languages. This foundation is based on 126 patterns that identify recurrent core constructs in the control-°ow, data and resource perspectives of PAIS. These patterns have been used to evaluate some of the leading systems and business process modelling languages. It also proposes a generic graphical language for de¯ning exception handling strategies that span these perspectives. On the basis of these insights, a comprehensive reference language { newYAWL { is developed for business process modelling and enactment. This language is formally de¯ned and an abstract syntax and operational semantics are provided for it. An assessment of its capabilities is provided through a comprehensive patterns-based analysis which allows direct comparison of its functionality with other PAIS. newYAWL serves as a reference language and many of the ideas embodied within it are also applicable to existing languages and systems. The ultimate goal of both the patterns and newYAWL is to improve the support and applicability of PAIS.

p. 1-215 / Submitted by Santiago Fabio (fabio.ssantiago@hotmail.com) on 2013-04-01T17:25:44Z No. of bitstreams: 1 11111.pdf: 1743030 bytes, checksum: 1eb810ccffbaad916f5eee8489869601 (MD5) / Approved for entry into archive by Tatiana Lima(tatianasl@ufba.br) on 2013-04-05T17:21:56Z (GMT) No. of bitstreams: 1 11111.pdf: 1743030 bytes, checksum: 1eb810ccffbaad916f5eee8489869601 (MD5) / Made available in DSpace on 2013-04-05T17:21:56Z (GMT). No. of bitstreams: 1 11111.pdf: 1743030 bytes, checksum: 1eb810ccffbaad916f5eee8489869601 (MD5) Previous issue date: 2002 / Esta dissertação tem como tema a Avaliação de Desempenho, em que se partiu de uma pesquisa com os segmentos da Comunidade Acadêmica, acerca da importância e aplicabilidade de um Sistema de Avaliação na Universidade Estadual do Sudoeste da Bahia - UESB. Embora a UESB venha conseguindo uma expansão no desenvolvimento das suas atividades de ensino, pesquisa e extensão e esteja implementando um processo de mudança em sua gestão, alicerçado em um modelo de organização participativa, ainda não dispõe de um Sistema de Avaliação qualitativa de professores e técnicos, que faça jus à relevância e à repercussão social e acadêmica das atividades individuais e coletivas nela realizadas. Em decorrência disso, as atividades são avaliadas apenas em termos quantitativos, desprezando-se a qualidade e a repercussão das ações. O foco central desta dissertação foi o de explorar as possibilidades e potencialidades da avaliação de desempenho do ponto de vista qualitativo, a partir das percepções, opiniões e crenças da comunidade acadêmica. A metodologia utilizada para a realização da pesquisa empírica foi a qualitativa e a técnica empregada foi a dos Grupos Focais, que reuniu 31 pessoas da Comunidade Acadêmica, divididas em 5 grupos (Grupo de Diretores de Departamentos e Coordenadores de Colegiados, Grupo de Docentes, Grupo de Servidores Técnico-Administrativos, Grupos de Discentes e Grupo da Administração Central) que teve como tema para discussão a “Avaliação de Desempenho e o Estágio Probatório”. Uma das conclusões da pesquisa é a de que a Comunidade Universitária está consciente da necessidade de controle sistemático dos processos acadêmico e institucional na UESB, mas isto deverá ser feito a partir da elaboração de um Programa de Avaliação de Desempenho discutido de maneira pública e democrática, como forma de garantir caminhos estratégicos para a expansão e consolidação da Universidade. Fica evidente na pesquisa que, levando-se em conta os argumentos representativos dos componentes dos 5 grupos focais, a avaliação de desempenho na UESB deve ser desenvolvida utilizando a metodologia de avaliação por objetivos onde o foco é o trabalho e as comparações a serem feitas devem estar pautadas no trabalho e seus resultados. Deverão assim ser analisados o fornecimento dos meios e condições necessárias à realização dos trabalhos e padrão de comportamento apresentado pelos servidores em sua realização, a partir de um processo de decisão colegiada que possui como fatores chaves os aspectos comportamentais, aspectos técnicos e de qualidade nos resultados e aspectos de conhecimento e domínio teórico. Dessa forma, e tomando-se como base as informações e as expectativas da Universidade, dos Discentes e dos Servidores que a compõem, devem ser estabelecidos os planos de ação a curto, médio e longo prazos. / Salvador

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O objetivo desta Pesquisa de Mestrado foi propor uma metodologia de avaliação de reservas a descobrir (óleo iminente a descobrir - yet-to-find-oil), que utiliza métodos estocásticos e análises probabilísticas, aplicados às informações disponíveis sobre bacias com largo histórico exploratório, e que incorpora informações sobre a área exaurida por esforços exploratórios passados. As simulações estocásticas foram realizadas por uma ferramenta de modelagem do processo exploratório de ciclo completo, disponível comercialmente, e também no Laboratório de Correlação Geológica (LABCG) da Faculdade de Geologia da UERJ. Uma aplicação prática dessa metodologia composta, de modelagem estocástica e ajuste por área exaurida, foi realizada no play definido como a área de águas rasas da Bacia de Campos. Utilizando apenas dados parciais sobre as descobertas de campos de petróleo e gás, os resultados sugerem que essa área ainda não pode ser considerada exploratoriamente madura. Também foram apontadas interessantes perspectivas de descobertas adicionais de acumulações totais de óleo e gás, e de acumulações individuais de tamanhos significativos. A aplicação da metodologia proposta em bacias com largo histórico exploratório, como a Bacia de Campos em águas rasas, mostrou-se perfeitamente viável. Outro objetivo desta Pesquisa foi ajudar a desenvolver, dentro da Faculdade de Geologia, um pólo de conhecimento sobre os processos de avaliação de yet-to-find-oil, e sobre as ferramentas de modelagem do processo exploratório. / The objective of this Masters Project was to propose a methodology of evaluation of yet-to-find-oil, which utilizes stochastic methods and probabilistic analyses applied to the information available about basins with a long exploratory history, and which incorporates information about the area exhausted by previous exploratory efforts. The stochastic simulations were carried out by a full cycle, exploratory process modeling tool which is available commercially, and also at the Laboratory of Geological Correlation (LABCG) of the Geology Department at UERJ. A practical application of this composite methodology, using stochastic modeling and adjustment for area exhausted, was made in the play defined as the shallow waters of the Campos Basin. Utilizing only partial data about the discoveries of oil and gas fields, the results suggest that this area cannot yet be considered a mature exploratory play. Interesting perspectives for the discovery of additional total accumulations of oil and gas were also indicated, as well as individual accumulations of significant size. The application of the proposed methodology in basins with a reasonably extensive exploratory history, such as the Campos Basin in shallow waters, was shown to be perfectly viable. Another objective of this research was to help develop, within the Geology Department, a local knowledge center regarding the processes for evaluation of yet-to-find-oil, and about exploratory process modeling tools.

[pt] A tensão já e ainda não em Oscar Cullmann e suas implicações e possibilidades para a missão da Igreja caracteriza-se por um trabalho de pesquisa que se desenvolve em perspectiva de diálogo entre a Escatologia e a Missiologia. O objeto principal de análise é o paradoxo temporal clássico da teologia conhecido por já e ainda não do Reino de Deus. O trabalho parte da pergunta pela natureza temporal da esperança do povo de Deus. Ele começa na Escritura, passa pela trajetória da Igreja através dos séculos e chega até os tempos atuais. Percebe-se como a expectativa pelo cumprimento das promessas de Deus alternou-se ao longo da história. Às vezes, a orientação pendia para uma ênfase futurista e celestial. Outras vezes, ela se concentrava em questões contemporâneas e terrenas. A reflexão descobre então, em Oscar Cullmann, uma proposta significativa para resolver o problema da polarização da temporalidade escatológica. Cullmann, a partir de sua exegese do Novo Testamento, vê como o Reino de Deus e suas promessas reivindicam uma dupla aplicação temporal, um aspecto já inaugurado na pessoa e obra de Jesus Cristo, já presente entre nós, e outro ainda não consumado, o qual é esperado para o futuro, para a parusia. Nascia o insight já e ainda não. Em seguida, esta dissertação vai mostrar como a tese escatológica de Cullmann foi recebida e reverberada por outros teólogos de seu tempo. E por último, esta reflexão conduz ao subtítulo deste trabalho, o qual busca explorar como a tensão já e ainda não informa a mensagem e afeta a postura missional da Igreja. / [en] The tension already and not yet in Oscar Cullmann - possibilities and implications to the mission of the Church – is a research that proposes a dialogue between the Eschatology and the Missiology, in which the main goal is to analyze the classic paradox in theology known as the already and the not yet of the Kingdom of God. The essay starts by exploring the question about the temporal nature of the hope that God s people have nurtured. It begins in the Scripture, passes through different epochs in the record of the Church up to the state of the issue in our days, perceiving how the people s expectation for the fulfillment of God s promises has alternated throughout history. Sometimes it displayed a more futuristic and celestial emphasis. In another period, it pointed to a more present-day and worldly orientation. The research discovers then, in Oscar Cullmann, a significant proposal to solve the dilemma of any eventual polarization. Cullmann, from his exegetical work in the New Testament, see how God s Kingdom and its promises have a double timing application: an aspect already inaugurated by the person and work of Jesus Christ, already present among us, and another not yet consumed, which is still awaited in the future, in the breakthrough of the parousia. Afterwards, this dissertation will show how Cullmann s thesis was received and reverberated across the thought of various theologians. And lastly, this reflection will focus in the dissertation subtitle, which seeks to address how the tension already and not yet informs the missional message and affects the missional attitude of the Church.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O objetivo desta Pesquisa de Mestrado foi propor uma metodologia de avaliação de reservas a descobrir (óleo iminente a descobrir - yet-to-find-oil), que utiliza métodos estocásticos e análises probabilísticas, aplicados às informações disponíveis sobre bacias com largo histórico exploratório, e que incorpora informações sobre a área exaurida por esforços exploratórios passados. As simulações estocásticas foram realizadas por uma ferramenta de modelagem do processo exploratório de ciclo completo, disponível comercialmente, e também no Laboratório de Correlação Geológica (LABCG) da Faculdade de Geologia da UERJ. Uma aplicação prática dessa metodologia composta, de modelagem estocástica e ajuste por área exaurida, foi realizada no play definido como a área de águas rasas da Bacia de Campos. Utilizando apenas dados parciais sobre as descobertas de campos de petróleo e gás, os resultados sugerem que essa área ainda não pode ser considerada exploratoriamente madura. Também foram apontadas interessantes perspectivas de descobertas adicionais de acumulações totais de óleo e gás, e de acumulações individuais de tamanhos significativos. A aplicação da metodologia proposta em bacias com largo histórico exploratório, como a Bacia de Campos em águas rasas, mostrou-se perfeitamente viável. Outro objetivo desta Pesquisa foi ajudar a desenvolver, dentro da Faculdade de Geologia, um pólo de conhecimento sobre os processos de avaliação de yet-to-find-oil, e sobre as ferramentas de modelagem do processo exploratório. / The objective of this Masters Project was to propose a methodology of evaluation of yet-to-find-oil, which utilizes stochastic methods and probabilistic analyses applied to the information available about basins with a long exploratory history, and which incorporates information about the area exhausted by previous exploratory efforts. The stochastic simulations were carried out by a full cycle, exploratory process modeling tool which is available commercially, and also at the Laboratory of Geological Correlation (LABCG) of the Geology Department at UERJ. A practical application of this composite methodology, using stochastic modeling and adjustment for area exhausted, was made in the play defined as the shallow waters of the Campos Basin. Utilizing only partial data about the discoveries of oil and gas fields, the results suggest that this area cannot yet be considered a mature exploratory play. Interesting perspectives for the discovery of additional total accumulations of oil and gas were also indicated, as well as individual accumulations of significant size. The application of the proposed methodology in basins with a reasonably extensive exploratory history, such as the Campos Basin in shallow waters, was shown to be perfectly viable. Another objective of this research was to help develop, within the Geology Department, a local knowledge center regarding the processes for evaluation of yet-to-find-oil, and about exploratory process modeling tools.

We live in a world that is broken by sin, where the only permanent thing is change. The cause of man’s sin was that the koinonia relationship between man and God had been severed. After Adam and Eve feel into sin, a spiritual darkness in the history of man began. Man was unable to rebuild the communication and relationship that he had with God. God came through the calling of Abram (Abraham) to restore some of the koinonia relationship we need. In the New Testament, Jesus came and restored the way to God, but something is still missing. This koinonia relationship will only be totally fulfilled when Jesus comes again to take us home. God’s instrument to experience true koinonia is the church. The koinonia that was lost and restored in Jesus. The church of today has lost some of the koinonia that the first church experienced, by becoming program orientated. The church is at this moment in a transformation process, where it is rediscovering the importance of being a mission-minded balanced loving community that is experiencing koinonia in relationships. The small group is thé vehicle that could help the church rediscover the koinonia, which people and the world need. This will only become true when we have a broader insight of the small group ministry in a local missionary-minded community (congregation). The small groups ministry is not a tool to use. You start a small group ministry in your local congregation because this is the way you were created. To truly understand the local church and the way we were created, we need to look back. We need to look back to creation, and how God created us, and to remind us of the Triune God’s, Father, Son and Spirit’s functioning in community. Only when the church realizes again that we are created in God’s image, will we look at our mission responsibilities and not-yet-believers in a new way. Namely, God’s way. / Thesis (DD (Theology))--University of Pretoria, 2006. / Science of Religion and Missiology / unrestricted

It is the purpose of this paper to explore how Morris' novel relates to life in Twin Oaks, primarily as depicted in two books: Living the Dream (1983) by Ingrid Komar, a long-term visitor to the commune and Kinkade's Is It Utopia Yet? (1996). This comparison will demonstrate that the experiences of contemporary intentional communities such as Twin Oaks provide a meaningful context for reading News from Nowhere because of the similarities in goals and philosophy. It will further demonstrate that though Twin Oaks was originally inspired by a utopian novel much more in the tradition of Bellamy's work than Morris', the community's subsequent evolution has brought it much closer in philosophy to News from Nowhere than Looking Backward.

Urban-architectural study of the new city part between the current and the future main station in Brno. The study is focused on creating a new concept of urban area as an alternative to the present intention based on the actual city plan. The main impulse to update the building layout of this developing municipal area is the integration of the new city high-speed railway. The particular attention is drawn to the utilization of two levels of the urban area originating from different levels of terrain and train yards. The integral part of the space arrangement on the principle of a compact city is also the application of theory and the observation of the tenable city. The core of the concept is the programmed structure of buildings density which is interlaced with the network of public transport and private atria. Within the frame of this structure two urban projects have been developed in details. Firstly, it is the placement of new Janaček´s centre of musical art at the place of reconstructed Svratka bank in the south part of the area. The other motive is the concept of the stop of a speed train in the very centre of this area. The stop features the central square and is involved in the complex of the congress centre. All this area is completed with the concept of a new municipal spa. The programme of the whole study is to complete city areas with facilities and functions which are considered to be absent. The quality of the project can be assessed, compared to the city plan of Brno.