Extração de casos de teste utilizando Redes de Petri hierárquicas e validação de resultados utilizando OWL.

Este trabalho propõe dois métodos para teste de sistemas de software: o primeiro extrai ideias de teste de um modelo desenvolvido em rede de Petri hierárquica e o segundo valida os resultados após a realização dos testes utilizando um modelo em OWL-S. Estes processos aumentam a qualidade do sistema desenvolvido ao reduzir o risco de uma cobertura insuficiente ou teste incompleto de uma funcionalidade. A primeira técnica apresentada consiste de cinco etapas: i) avaliação do sistema e identificação dos módulos e entidades separáveis, ii) levantamento dos estados e transições, iii) modelagem do sistema (bottom-up), iv) validação do modelo criado avaliando o fluxo de cada funcionalidade e v) extração dos casos de teste usando uma das três coberturas de teste apresentada. O segundo método deve ser aplicado após a realização dos testes e possui cinco passos: i) primeiro constrói-se um modelo em OWL (Web Ontology Language) do sistema contendo todas as informações significativas sobre as regras de negócio da aplicação, identificando as classes, propriedades e axiomas que o regem; ii) em seguida o status inicial antes da execução é representado no modelo através da inserção das instâncias (indivíduos) presentes; iii) após a execução dos casos de testes, a situação do modelo deve ser atualizada inserindo (sem apagar as instâncias já existentes) as instâncias que representam a nova situação da aplicação; iv) próximo passo consiste em utilizar um reasoner para fazer as inferências do modelo OWL verificando se o modelo mantém a consistência, ou seja, se não existem erros na aplicação; v) finalmente, as instâncias do status inicial são comparadas com as instâncias do status final, verificando se os elementos foram alterados, criados ou apagados corretamente. O processo proposto é indicado principalmente para testes funcionais de caixa-preta, mas pode ser facilmente adaptado para testes em caixa branca. Obtiveram-se casos de testes semelhantes aos que seriam obtidos em uma análise manual mantendo a mesma cobertura do sistema. A validação provou-se condizente com os resultados esperados, bem como o modelo ontológico mostrouse bem fácil e intuitivo para aplicar manutenções.

Confirmation: Increasing resource availability for transactional workflows

The notion of compensation is widely used in advanced transaction models as means of recovery from a failure. Similar concepts are adopted for providing transaction-like behaviour for long business processes supported by workflows technology. In general, it is not trivial to design compensating tasks for tasks in the context of a workflow. Actually, a task in a workflow process does not have to be compensatable in the sense that the forcibility of reverse operations of the task is not always guaranteed by the application semantics. In addition, the isolation requirement on data resources may make a task difficult to compensate. In this paper, we first look into the requirements that a compensating task has to satisfy. Then we introduce a new concept called confirmation. With the help of confirmation, we are able to modify most non-compensatable tasks so that they become compensatable. This can substantially increase the availability of shared resources and greatly improve backward recovery for workflow applications in case of failures. To effectively incorporate confirmation and compensation into a workflow management environment, a three level bottom-up workflow design method is introduced. The implementation issues of this design are also discussed. (C) 2003 Elsevier Science Inc. All rights reserved.

Managing knowledge in tourism planning: How to assess your capability

This paper explores the theme of strategic planning in a State Tourism Organization (STO) from a knowledge management perspective. It highlights the value of knowledge in strategy making and the importance of an organisation's knowledge management agenda in facilitating a strategic planning process. In particular, it considers the capability of an STO to implement knowledge management as the key to a successful strategic planning exercise. In order to develop greater insight into the factors that impact on planning competence, the key aim of this paper is to develop a framework on which the capability of a STO to implement a knowledge-based agenda in strategic planning can be assessed. Research on knowledge management in the field of tourism is limited and there is little practical account of the application of knowledge management principles in tourism planning. Further, there is no apparent tool or instrument that allows for the assessment of an STO's capability to implement knowledge management in planning initiatives. Based on a literature review, a three-point framework of assessment is developed. The three elements of the framework are identified as: 1. Integration of knowledge management objectives with strategic imperatives; 2. A planning approach that balances top-down (outcome focused) with bottom-up (process focused) planning processes; and 3. Organisational capacity, including leadership, people and culture, process, technology, content and continuous improvement. The framework is tested through application to a practical case study - a planning initiative undertaken by a leading tourism STO in Australia. The results demonstrate that the framework is a useful means to evaluate organisational capability in knowledge-led strategic planning exercises and would be of practical value as a point of reference for future knowledge- based strategic planning projects. Copyright © by The Haworth Press, Inc. All rights reserved.

Manufacturing knowledge management strategy

The study sought to understand the components of knowledge management strategy from the perspective of staff in UK manufacturing organizations. To analyse this topic, we took an empirical approach and collaborated with two manufacturing organizations. Our main finding centres on the key components of a knowledge management strategy, and the relationships between it and manufacturing strategy and corporate strategy. Other findings include: the nature of knowledge in manufacturing organizations; the relevance of (in)formal processes; top-down and bottom-up communication; taking ownership for information processes. We also make comments on the development of action plans for better knowledge management. The implications are that, for an integrated approach to knowledge management strategy in manufacturing organizations, involvement across the organization and at all levels is necessary.

Pragmatic approach to the development of robust real-time protocols

This research is concerned with the development of distributed real-time systems, in which software is used for the control of concurrent physical processes. These distributed control systems are required to periodically coordinate the operation of several autonomous physical processes, with the property of an atomic action. The implementation of this coordination must be fault-tolerant if the integrity of the system is to be maintained in the presence of processor or communication failures. Commit protocols have been widely used to provide this type of atomicity and ensure consistency in distributed computer systems. The objective of this research is the development of a class of robust commit protocols, applicable to the coordination of distributed real-time control systems. Extended forms of the standard two phase commit protocol, that provides fault-tolerant and real-time behaviour, were developed. Petri nets are used for the design of the distributed controllers, and to embed the commit protocol models within these controller designs. This composition of controller and protocol model allows the analysis of the complete system in a unified manner. A common problem for Petri net based techniques is that of state space explosion, a modular approach to both the design and analysis would help cope with this problem. Although extensions to Petri nets that allow module construction exist, generally the modularisation is restricted to the specification, and analysis must be performed on the (flat) detailed net. The Petri net designs for the type of distributed systems considered in this research are both large and complex. The top down, bottom up and hybrid synthesis techniques that are used to model large systems in Petri nets are considered. A hybrid approach to Petri net design for a restricted class of communicating processes is developed. Designs produced using this hybrid approach are modular and allow re-use of verified modules. In order to use this form of modular analysis, it is necessary to project an equivalent but reduced behaviour on the modules used. These projections conceal events local to modules that are not essential for the purpose of analysis. To generate the external behaviour, each firing sequence of the subnet is replaced by an atomic transition internal to the module, and the firing of these transitions transforms the input and output markings of the module. Thus local events are concealed through the projection of the external behaviour of modules. This hybrid design approach preserves properties of interest, such as boundedness and liveness, while the systematic concealment of local events allows the management of state space. The approach presented in this research is particularly suited to distributed systems, as the underlying communication model is used as the basis for the interconnection of modules in the design procedure. This hybrid approach is applied to Petri net based design and analysis of distributed controllers for two industrial applications that incorporate the robust, real-time commit protocols developed. Temporal Petri nets, which combine Petri nets and temporal logic, are used to capture and verify causal and temporal aspects of the designs in a unified manner.

The board of directors, executives and risk knowledge management

Enterprise Risk Management (ERM) and Knowledge Management (KM) both encompass top-down and bottom-up approaches developing and embedding risk knowledge concepts and processes in strategy, policies, risk appetite definition, the decision-making process and business processes. The capacity to transfer risk knowledge affects all stakeholders and understanding of the risk knowledge about the enterprise's value is a key requirement in order to identify protection strategies for business sustainability. There are various factors that affect this capacity for transferring and understanding. Previous work has established that there is a difference between the influence of KM variables on Risk Control and on the perceived value of ERM. Communication among groups appears as a significant variable in improving Risk Control but only as a weak factor in improving the perceived value of ERM. However, the ERM mandate requires for its implementation a clear understanding, of risk management (RM) policies, actions and results, and the use of the integral view of RM as a governance and compliance program to support the value driven management of the organization. Furthermore, ERM implementation demands better capabilities for unification of the criteria of risk analysis, alignment of policies and protection guidelines across the organization. These capabilities can be affected by risk knowledge sharing between the RM group and the Board of Directors and other executives in the organization. This research presents an exploratory analysis of risk knowledge transfer variables used in risk management practice. A survey to risk management executives from 65 firms in various industries was undertaken and 108 answers were analyzed. Potential relationships among the variables are investigated using descriptive statistics and multivariate statistical models. The level of understanding of risk management policies and reports by the board is related to the quality of the flow of communication in the firm and perceived level of integration of the risk policy in the business processes.

Show bizz becomes show buzz:how viral diffusion changes the traditional meaning-making process of a rising star

Studying the case of a young French rapper called Kamini, the authors show how the viral diffusion of a new creative product, such as a song, radically changes traditional meaning-making processes. Instead of the top-down approach in which product positioning is carefully constructed and transferred to consumers, marketers are faced with a bottom-up trend in which consumers increasingly participate in blogs and online forums to talk about products (thus, creating and diffusing meaning) before any marketing action is undertaken. Our study aims to understand the interactions and tensions between market forces that result from this pro-active role of the consumer.

Agents for change and changed agents:the micro-politics of change and feminism in the academy

This article explores gender politics and processes in the academy and investigates change from the perspectives of feminist academics. In particular, it explores the experiences of women academics attempting to effect change to the gendered status quo of their own institutions. Focusing on micro-politics, the feminist movement is empirically explored in localized spaces of resistance and in the small but significant individual efforts at making changes in academic institutions. The analysis is based on interviews with female academics working in business and management schools and focuses on the challenges for change and how change attempts affect their personal and professional identities. The article explores the range of change strategies that participants use as they try to progress in their academic career while staying true to their feminist values and priorities through both resisting and incorporating dominant discourses of academic work. The analysis highlights such tensions and focuses on a contextualized, bottom-up perspective on change that, unlike more totalizing theorization, takes into account mundane and lived experiences at the level of the individual. © 2012 Blackwell Publishing Ltd.

Large scale organisational intervention to improve patient safety in four UK hospitals:mixed method evaluation

Objectives: To conduct an independent evaluation of the first phase of the Health Foundation's Safer Patients Initiative (SPI), and to identify the net additional effect of SPI and any differences in changes in participating and non-participating NHS hospitals. Design: Mixed method evaluation involving five substudies, before and after design. Setting: NHS hospitals in United Kingdom. Participants: Four hospitals (one in each country in the UK) participating in the first phase of the SPI (SPI1); 18 control hospitals. Intervention: The SPI1 was a compound (multicomponent) organisational intervention delivered over 18 months that focused on improving the reliability of specific frontline care processes in designated clinical specialties and promoting organisational and cultural change. Results: Senior staff members were knowledgeable and enthusiastic about SPI1. There was a small (0.08 points on a 5 point scale) but significant (P<0.01) effect in favour of the SPI1 hospitals in one of 11 dimensions of the staff questionnaire (organisational climate). Qualitative evidence showed only modest penetration of SPI1 at medical ward level. Although SPI1 was designed to engage staff from the bottom up, it did not usually feel like this to those working on the wards, and questions about legitimacy of some aspects of SPI1 were raised. Of the five components to identify patients at risk of deterioration - monitoring of vital signs (14 items); routine tests (three items); evidence based standards specific to certain diseases (three items); prescribing errors (multiple items from the British National Formulary); and medical history taking (11 items) - there was little net difference between control and SPI1 hospitals, except in relation to quality of monitoring of acute medical patients, which improved on average over time across all hospitals. Recording of respiratory rate increased to a greater degree in SPI1 than in control hospitals; in the second six hours after admission recording increased from 40% (93) to 69% (165) in control hospitals and from 37% (141) to 78% (296) in SPI1 hospitals (odds ratio for "difference in difference" 2.1, 99% confidence interval 1.0 to 4.3; P=0.008). Use of a formal scoring system for patients with pneumonia also increased over time (from 2% (102) to 23% (111) in control hospitals and from 2% (170) to 9% (189) in SPI1 hospitals), which favoured controls and was not significant (0.3, 0.02 to 3.4; P=0.173). There were no improvements in the proportion of prescription errors and no effects that could be attributed to SPI1 in non-targeted generic areas (such as enhanced safety culture). On some measures, the lack of effect could be because compliance was already high at baseline (such as use of steroids in over 85% of cases where indicated), but even when there was more room for improvement (such as in quality of medical history taking), there was no significant additional net effect of SPI1. There were no changes over time or between control and SPI1 hospitals in errors or rates of adverse events in patients in medical wards. Mortality increased from 11% (27) to 16% (39) among controls and decreased from17%(63) to13%(49) among SPI1 hospitals, but the risk adjusted difference was not significant (0.5, 0.2 to 1.4; P=0.085). Poor care was a contributing factor in four of the 178 deaths identified by review of case notes. The survey of patients showed no significant differences apart from an increase in perception of cleanliness in favour of SPI1 hospitals. Conclusions The introduction of SPI1 was associated with improvements in one of the types of clinical process studied (monitoring of vital signs) and one measure of staff perceptions of organisational climate. There was no additional effect of SPI1 on other targeted issues nor on other measures of generic organisational strengthening.

Relative significance of pelagic, benthic and allochthonous organic matter to microbial carbon cycling in a phosphorus-depleted subtropical estuary (Florida Bay)

Heterotrophic bacteria are important decomposers and transformers of primary production and provide an important link between detritus and the aquatic food web. In seagrass ecosystems, much of seagrass primary production is unavailable through direct grazing and must undergo microbial reworking before seagrass production can enter the aquatic food web. The goal of my dissertation research is to understand better the role heterotrophic bacteria play in carbon cycling in seagrass estuaries. My dissertation research focuses on Florida Bay, a seagrass estuary that has experienced recent changes in carbon source availability, which may have altered ecosystem function. My dissertation research investigates the importance of seagrass, algal and/or cyanobacterial, and allochthonous-derived organic matter to heterotrophic bacteria in Florida Bay and helps establish the carbon base of the estuarine food web. ^ A three tiered approach to the study of heterotrophic bacterial carbon cycling and trophic influences in Florida Bay was used: (1) Spatiotemporal observations of environmental parameters (hydrology, nutrients, extracellular enzymes, and microbial abundance, biomass, and production); (2) Microbial grazing experiments under different levels of top-down and bottom-up influence; and (3) Bulk and compound-specific (bacteria-biomarker fatty acid analysis) stable carbon isotope analysis. ^ In Florida Bay, spatiotemporal patterns in microbial extracellular enzyme (also called ectoenzyme) activities indicate that microorganisms hydrolyzed selectively fractions of the estuarine organic matter pool. The microbial community hydrolyzed organic acids, peptides, and phosphate esters and did not use storage and structural carbohydrates. Organic matter use by heterotrophic bacterioplankton in Florida Bay was co-regulated by bottom-up (resource availability) and top-down (grazer mediated) processes. A bacterial carbon budget based on bacterial, epiphytic, and seagrass production indicates that heterotrophic bacterial carbon cycles are supported primarily through epiphytic production with mixing from seagrass production. Stable carbon isotope analysis of bacteria biomarkers and carbon sources in Florida Bay corroborate the results of the bacterial carbon budget. These results support previous studies of aquatic consumers in Florida Bay, indicating that epiphytic/benthic algal and/or cyanobacterial production with mixing from seagrass-derived organic matter is the carbon base of the seagrass estuarine food web. ^

Human-driven benthic jellyfish blooms: Causes and consequences for coastal marine ecosystems

Coastal marine ecosystems are among the most impacted globally, attributable to individual and cumulative effects of human disturbance. Anthropogenic nutrient loading is one stressor that commonly affects nearshore ecosystems, including seagrass beds, and has positive and negative effects on the structure and function of coastal systems. An additional, previously unexplored mechanistic pathway through which nutrients may indirectly influence nearshore systems is by driving blooms of benthic jellyfish. My dissertation research, conducted on Abaco Island, Bahamas, focused on elucidating the role that benthic jellyfish have in structuring systems in which they are common (i.e., seagrass beds), and explored mechanistic processes that may drive blooms of this taxa. ^ To establish that human disturbances (e.g., elevated nutrient availability) may drive increased abundance and size of benthic jellyfish, Cassiopea spp., I conducted surveys in human-impacted and unimpacted coastal sites. Jellyfish were more abundant (and larger) from human-impacted areas, positively correlated to elevated nutrient availability. In order to elucidate mechanisms linking Cassiopea spp. with elevated nutrients, I evaluated whether zooxanthellae from Cassiopea were higher from human-disturbed systems, and whether Cassiopea exhibited increased size following nutrient input. I demonstrated that zooxanthellae population densities were elevated in human-impacted sites, and that nutrients led to positive jellyfish growth. ^ As heightened densities of Cassiopea jellyfish may exert top-down and bottom-up controls on flora and fauna in impacted seagrass beds, I sought to examine ecological responses to Cassiopea. I evaluated whether there was a relationship between high Cassiopea densities and lower benthic fauna abundance and diversity in shallow seagrass beds. I found that Cassiopea have subtle effects on benthic fauna. However, through an experiment conducted in a seagrass bed in which nutrients and Cassiopea were added, I demonstrated that Cassiopea can result in seagrass habitat modification, with negative consequences for benthic fauna. ^ My dissertation research demonstrates that increased human-driven benthic jellyfish densities may have indirect and direct effects on flora and fauna of coastal marine systems. This knowledge will advance our understanding of how human disturbances shift species interactions in coastal ecosystems, and will be critical for effective management of jellyfish blooms.^

Fabrication of sub-10 nm lamellar structures by solvent vapour annealing of block copolymers

Fabrication of nanoscale patterns through the bottom-up approach of self-assembly of phase-separated block copolymers (BCP) holds promise for nanoelectronics applications. For lithographic applications, it is useful to vary the morphology of BCPs by monitoring various parameters to make “from lab to fab” a reality. Here I report on the solvent annealing studies of lamellae forming polystyrene-blockpoly( 4-vinylpyridine) (PS-b-P4VP). The high Flory-Huggins parameter (χ = 0.34) of PS-b-P4VP makes it an ideal BCP system for self-assembly and template fabrication in comparison to other BCPs. Different molecular weights of symmetric PS-b-P4VP BCPs forming lamellae patterns were used to produce nanostructured thin films by spin-coating from mixture of toluene and tetrahydrofuran(THF). In particular, the morphology change from micellar structures to well-defined microphase separated arrangements is observed. Solvent annealing provides a better alternative to thermal treatment which often requires long annealing periods. The choice of solvent (single and dual solvent exposure) and the solvent annealing conditions have significant effects on the morphology of films and it was found that a block neutral solvent was required to realize vertically aligned PS and P4VP lamellae. Here, we have followed the formation of microdomain structures with time development at different temperatures by atomic force microscopy (AFM). The highly mobilized chains phase separate quickly due to high Flory-Huggins (χ) parameter. Ultra-small feature size (~10 nm pitch size) nanopatterns were fabricated by using low molecular weight PSb- P4VP (PS and P4VP blocks of 3.3 and 3.1 kg mol-1 respectively). However, due to the low etch contrast between the blocks, pattern transfer of the BCP mask is very challenging. To overcome the etch contrast problem, a novel and simple in-situ hard mask technology is used to fabricate the high aspect ratio silicon nanowires. The lamellar structures formed after self-assembly of phase separated PS-b-P4VP BCPs were used to fabricate iron oxide nanowires which acted as hard mask material to facilitate the pattern transfer into silicon and forming silicon nanostructures. The semiconductor and optical industries have shown significant interest in two dimensional (2D) molybdenum disulphide (MoS2) as a potential device material due to its low band gap and high mobility. However, current methods for its synthesis are not ‘fab’ friendly and require harsh environments and processes. Here, I also report a novel method to prepare MoS2 layered structures via self-assembly of a PS-b-P4VP block copolymer system. The formation of the layered MoS2 was confirmed by XPS, Raman spectroscopy and high resolution transmission electron microscopy.

Chemical approaches for doping nanodevice architectures

Advanced doping technologies are key for the continued scaling of semiconductor devices and the maintenance of device performance beyond the 14 nm technology node. Due to limitations of conventional ion-beam implantation with thin body and 3D device geometries, techniques which allow precise control over dopant diffusion and concentration, in addition to excellent conformality on 3D device surfaces, are required. Spin-on doping has shown promise as a conventional technique for doping new materials, particularly through application with other dopant methods, but may not be suitable for conformal doping of nanostructures. Additionally, residues remain after most spin-on-doping processes which are often difficult to remove. In-situ doping of nanostructures is especially common for bottom-up grown nanostructures but problems associated with concentration gradients and morphology changes are commonly experienced. Monolayer doping (MLD) has been shown to satisfy the requirements for extended defect-free, conformal and controllable doping on many materials ranging from traditional silicon and germanium devices to emerging replacement materials such as III-V compounds but challenges still remain, especially with regard to metrology and surface chemistry at such small feature sizes. This article summarises and critically assesses developments over the last number of years regarding the application of gas and solution phase techniques to dope silicon-, germanium- and III-V-based materials and nanostructures to obtain shallow diffusion depths coupled with high carrier concentrations and abrupt junctions.

Human-driven Benthic Jellyfish Blooms: Causes and Consequences for Coastal Marine Ecosystems

Coastal marine ecosystems are among the most impacted globally, attributable to individual and cumulative effects of human disturbance. Anthropogenic nutrient loading is one stressor that commonly affects nearshore ecosystems, including seagrass beds, and has positive and negative effects on the structure and function of coastal systems. An additional, previously unexplored mechanistic pathway through which nutrients may indirectly influence nearshore systems is by driving blooms of benthic jellyfish. My dissertation research, conducted on Abaco Island, Bahamas, focused on elucidating the role that benthic jellyfish have in structuring systems in which they are common (i.e., seagrass beds), and explored mechanistic processes that may drive blooms of this taxa. To establish that human disturbances (e.g., elevated nutrient availability) may drive increased abundance and size of benthic jellyfish, Cassiopea spp., I conducted surveys in human-impacted and unimpacted coastal sites. Jellyfish were more abundant (and larger) from human-impacted areas, positively correlated to elevated nutrient availability. In order to elucidate mechanisms linking Cassiopea spp. with elevated nutrients, I evaluated whether zooxanthellae from Cassiopea were higher from human-disturbed systems, and whether Cassiopea exhibited increased size following nutrient input. I demonstrated that zooxanthellae population densities were elevated in human-impacted sites, and that nutrients led to positive jellyfish growth. As heightened densities of Cassiopea jellyfish may exert top-down and bottom-up controls on flora and fauna in impacted seagrass beds, I sought to examine ecological responses to Cassiopea. I evaluated whether there was a relationship between high Cassiopea densities and lower benthic fauna abundance and diversity in shallow seagrass beds. I found that Cassiopea have subtle effects on benthic fauna. However, through an experiment conducted in a seagrass bed in which nutrients and Cassiopea were added, I demonstrated that Cassiopea can result in seagrass habitat modification, with negative consequences for benthic fauna. My dissertation research demonstrates that increased human-driven benthic jellyfish densities may have indirect and direct effects on flora and fauna of coastal marine systems. This knowledge will advance our understanding of how human disturbances shift species interactions in coastal ecosystems, and will be critical for effective management of jellyfish blooms.

Community-led upgrading for self-reliance in informal settlements in South Africa: a review

Around the world, informal and low-income settlements (so-called “slums”) have been a major issue in city management and environmental sustainability in developing countries. Overall, African cities have an agenda for slum management and response. For example, the South African government introduced the Upgrade of Informal Settlements Program (UISP), as a comprehensive plan for upgrading slum settlements. Nevertheless, upgrading informal settlements from the bottom-up is key to inform broad protocols and strategies for sustainable communities and `adaptive cities´. Community-scale schemes can drive sustainability from the bottom-up and offer opportunities to share lessons learnt at the local level. Key success factors in their roll-out are: systems thinking; empowered local authorities that support decentralised solutions and multidisciplinary collaboration between the involved actors, including the affected local population. This research lies under the umbrella of sustainable bottom-up urban regeneration. As part of a larger project of collaboration between UK and SA research institutions, this paper presents an overview of in-situ participatory upgrade as an incremental strategy for upgrading informal settlements in the context of sustainable and resilient city. The motivation for this research is rooted in identifying the underpinning barriers and enabling drivers for up-scaling community-led, participatory upgrading approaches in informal settlements in the metropolitan area. This review paper seeks to provide some preliminary guidelines and recommendations for an integrated collaborative environmental and construction management framework to enhance community self-reliance. A theoretical approach based on the review of previous studies was combined with a pilot study conducted in Durban (South Africa) to investigate the feasibility of community-led upgrading processes.