A Compositional Semantics of UML-RSDS

This paper provides a semantics for the UML-RSDS (Reactive System Development Support) subset of UML, using the real-time action logic (RAL) formalism. We show how this semantics can be used to resolve some ambiguities and omissions in UML semantics, and to support reasoning about specifications using the B formal method and tools. We use `semantic profiles' to provide precise semantics for different semantic variation points of UML. We also show how RAL can be used to give a semantics to notations for real-time specification in UML. Unlike other approaches to UML semantics, which concentrate on the class diagram notation, our semantic representation has behaviour as a central element, and can be used to define semantics for use cases, state machines and interactions, in addition to class diagrams.

Requirements for Provenance on the Web

From where did this tweet originate? Was this quote from the New York Times modified? Daily, we rely on data from the Web but often it is difficult or impossible to determine where it came from or how it was produced. This lack of provenance is particularly evident when people and systems deal with Web information or with any environment where information comes from sources of varying quality. Provenance is not captured pervasively in information systems. There are major technical, social, and economic impediments that stand in the way of using provenance effectively. This paper synthesizes requirements for provenance on the Web for a number of dimensions focusing on three key aspects of provenance: the content of provenance, the management of provenance records, and the uses of provenance information. To illustrate these requirements, we use three synthesized scenarios that encompass provenance problems faced by Web users today.

Responsabilidade social de uma empresa : o caso da Souza Cruz S.A. conforme a ótica de seus gerentes

A busca de um negócio sustentável leva as empresas cada vez mais a se preocuparem com todos os envolvidosna sua cadeia produtiva.Desta forma, o tema responsabilidadesocial vem ganhando terreno. Embora seja uma matéria relativamente nova no Brasil, várias empresas estão procurando estruturar e desenvolver seus programas de responsabilidade social. O presente estudo de caso procurou analisar a responsabilidade social da empresa com foco na Souza Cruz S. A. Através da percepção de diversos stakeholders, procurou-se agregar à empresa subsídios para avaliação e melhoria do programa, bem como contribuir para um aprofundamentosobre o status atual do tema por meio da análise de uma situação concreta.O trabalho analisou o programa corporativo a partir de seis dimensões, a saber: valores e transparência; público interno; meio ambiente; fornecedores; comunidade; consumidores. . Dentre os resultadosobtidos,verifica-seque os gerentespercebema organizaçãocomo socialmente responsável, embora demandem maior participação e envolvimento dos mesmos na estratégia corporativa. Os demais grupos de stakeholders pesquisados, comunidade, sindicado e fornecedores, apontam para uma baixa comunicação do programa por parte da empresa e a necessidade de uma maior participação da empresa na comunidade. De maneira geral, verificou-se que existe um programa de responsabilidade social sendo implantado, este carece de melhorias e que a empresa está desenvolvendoestratégias de negócio e um sistema de planejamento focado em fortalecer a responsabilidade social corporativa. Além disso, procura implantar instrumentos adequados de acompanhamento e monitoramento de suas práticas.

Sistemas de informações sobre recursos hídricos e a dupla dominialidade das águas: o caso da integração do sistema nacional e dos sistemas estaduais de recursos hídricos na Bacia do Rio Paraíba do Sul

The National Water Management Policy was defined by Law 9.433/97 (Water Act), establishing the hydrographic basin as the management unity, independently of geographic limits and respective federal organisms. Nevertheless, water management entities and instruments are directly associated to different federal entities located within the same basin, and depend on them for being effective. The absence of law mechanisms that conciliate the various requisitions of federal organisms located in the same basin is a challenge still without brazilian law support. This study describes the integration process of information systems in Paraíba do Sul river basin. It also emphasizes integration restrictions of these systems, the cooperation level and the instruments used by the various actors and federal organisms in order to meet National Water Management Policy objectives. The management instrument Water Management Information System is presented as an important component that helps the stakeholders decision making process involved in water management, respecting federalism and the water domains defined in the brazilian constitution, and according to the policy established in the Water Act. In theoretical aspects, this work presents the basic concepts of National Water Management Policy institutional arrangement, considering the network aspects in public policy, the limits imposed by federalism and the way that the water domains is defined in the brazilian constitution and according to the brazilian Water Act. Besides, it identifies the most significant questions related with information systems implementation in public administration and water management. It also illustrates how cooperative federalism and information systems may create conditions that do guarantee the National Water Management Policy management instruments operationality within a hydrographic basin. The action research method was used to develop the research and the selected entity was the Fundação Superintendência Estadual de Rios e Lagoas (Serla). Serla was the water management entity in Rio de Janeiro state, at the research beginning. Others methods as bibliographic and documentary research were also used, aiming to describe the hydrographic basin, as well as the processes and systems concerned with the implementation of the National Water Management Policy in Paraíba do Sul basin.

Gestão da informação e sistema de informações policiais em uma delegacia da polícia civil do Estado do Rio de Janeiro: uma abordagem organizacional

A dissertação apresenta o processo de trabalho do inquérito policial como sendo o processo-chave do sistema de informações policiais de uma delegacia de Polícia Civil do Estado do Rio de Janeiro. Faz considerações quanto à gestão e à análise de sistemas, comparando alguns especialistas, para compreensão da organização. Apresenta, também, uma visão da Polícia Civil no presente e a sua história. Disserta sobre a importância da linguagem em sua cultura organizacional e na sua lógica do trabalho apoiada em discursos, e propõe algumas possibilidades de mudanças organizacionais. A metodologia adotada foi a de pesquisa-ação, participante e etnográfica, com tratamento dos dados apoiado nas teorias da informação, da análise de conteúdo do discurso e de sistemas.

O Banco Central como uma organização de aprendizagem

This study' s aim was to verify at what point the concept of learning organization can be applied to Central Bank. It argues how this concept can generate thoughts and ideas about organizational issues, as it emphasizes the development of new skills and capabilities. The essay includes the description of the model that inspired it and some complementary notions regarding the theme. The model studied was analysed and compared to the field research and the documents. Many aspects that make the Bank similar to an ideal leaming organization have been pointed out in the area of innovation in infrastructure, such as the implementation of new practices and systems. In a deeper leveI of reflection, it was verified that in relation to the practice of the fifth learning disciplines (Personal Mastery, Mental Models, Shared Vision, Team Learning and Systems Thinking), the creation of new guiding ideas, new management methods, the Central Bank does not approximate of what it is called a learning organization.

Cultura de segurança da informação: um processo de mudança organizacional na Petrobrás.

O estudo objetivou verificar até que ponto foi atendido o critério proposto por Kotter para a implantação de uma cultura de segurança da informação na Petrobras. A Petrobras, durante muitos anos, foi uma empresa estatal de petróleo com atuação nacional. Assim como diversas outras empresas, com o advento do processo de internacionalização, mais atores com interesses por informações valiosas começaram a interagir com a empresa. Verificava-se a necessidade de conduzir um processo de gestão da mudança para implantar uma cultura de segurança da informação. O modelo definido por Kotter possui oito etapas que, se seguidas, podem garantir uma mudança bem-sucedida. Para atingir o objetivo do estudo, utilizou-se pesquisa bibliográfica, pesquisa documental em arquivos e documentos da Petrobras e pesquisa de campo. O período analisado foi de 2002 a 2009. A avaliação do processo indicou que algumas falhas foram encontradas nas etapas definidas por Kotter. Pode-se citar: complacência alta; senso de urgência atribuído somente no primeiro momento; visão de longo prazo não foi amplamente declarada; o porquê da mudança, ao longo do tempo, não ficou explícito; estrutura organizacional de segurança da informação nas áreas ainda é deficiente; não houve total alinhamento dos sistemas de gestão da empresa; existência de estruturas e sistemas que dificultam a avaliação das ações e reconhecimento dos envolvidos no processo de mudança cultural e pouca preocupação em comemorar as conquistas de curto prazo.

O comércio eletrônico e sua aplicação no planejamento e gestão do processo de compras da cadeia de suprimentos: um estudo na indústria química

Após endereçar questões relativas à integração de suas funções internas, a empresa está se voltando para a criação de um ambiente externo interconectado com seus parceiros de negócio. Torna-se imperativo o aperfeiçoamento do relacionamento com estes parceiros, por meio de processos automatizados, que gerenciam as Cadeias de Suprimento e Distribuição formadas. A Tecnologia de Informação, ao permitir a conexão de processos e a interoperação de sistemas, passa a ser um instrumento essencial nesta transformação. Especificamente, o ambiente digital de negócio construído sobre a Infovia, formada principalmente pela Internet e seus serviços, como a WWW, confere avanços consideráveis ao relacionamento dentro da organização, entre organizações e entre estas e seus clientes. A esta transformação do negócio, baseada na Tecnologia de Informação, conectado às redes de comunicação, chama-se Comércio Eletrônico. Com base no conhecimento consolidado pelo referencial teórico disponível e nos resultados obtidos com o estudo de caso conduzido, o autor identifica e categoriza as influências do Comércio Eletrônico nos processos de compra da Cadeia de Suprimentos na indústria química, estruturando estas influências em relação aos modelos de negócios digitais conhecidos.

Análise crítica do cyberslacking nas estruturas organizacionais

A Internet é um hoje um instrumento fenomenal de pesquisa e informação, e rapidamente entrou na vida das pessoas. Sua utilização proporciona uma sensação de liberdade e descobertas. Este estudo pretende discorrer sobre o entrada da Internet nas organizações e um fenômeno decorrente chamado "Cyberslackíng', que passou a designar o uso de equipamentos e sistemas informáticos dispostos pelo empregador para fins particulares, no ambiente de trabalho. A pesquisa foi conduzida com executivos das empresas da cidade de Curitiba-Paraná, que possuíam formação universitária e tinham acesso à Internet tanto nos escritórios como nas respectivas residências. O ponto central do trabalho foi identificar se a entrada da Internet nas organizações alterou as estruturas e as formas de controle sobre o trabalho. Posicionou-se a Internet no ambiente de trabalho, as empresas e respectivas estruturas organizacionais inseridas no regime de produção. A proposta do trabalho consistiu em realizar uma análise crítica sobre o tema. Nesse sentido, apresenta-se uma revisão de literatura fundamentada nos autores da Escola de Frankfurt, tendo sido avaliadas as estruturas organizacionais, a racionalidade do comportamento do trabalhador, a questão dos controles e autoridade. Também foi estudado o novo modelo de organização do trabalho pós-fordistas e como o trabalhador foi conduzido para se tornar cada vez mais conectado às empresas. Analisaram-se a influência das novas tecnologias sobre as estruturas de trabalho e as adequações adotadas pelo capital após sua introdução nestes ambientes e, principalmente, a questão dos controles exercidos sobre os trabalhadores e os aspectos legais envolvidos neste novo paradigma de trabalho. Conclui-se que as organizações já vêm se adaptando às mudanças econômicas mundiais e também tecnológicas ao longo dos anos, criando novos mecanismos de controle sobre o trabalho, envolvendo os trabalhadores dentro dos sistemas e se aproveitando de fatores externos como o nível de desemprego, aliado à racionalidade do trabalhador, para garantir maior produtividade e eficiência.O cyberslackíng foi condenado pelos próprios trabalhadores devido aos riscos que pode apresentar ao sistema de informação das empresas e, conseqüentemente, ao seu trabalho, mas é considerado um instrumento de fuga para as pressões do sistema impostos pelo capital.

Configuração da gestão da educação a distância: entendendo os resultados do ENADE para o curso piloto da universidade aberta do Brasil

A educação a distância tem tido expressivo crescimento no Brasil nos últimos anos e com essa expansão aumentam também os desafios relacionados à sua gestão. Este trabalho focaliza as diversas concepções e fundamentos teóricos acerca das abordagens sobre estrutura organizacional e sistemas de educação a distância, para concepção do que denominou-se configuração da gestão da EAD. Como delineamento de pesquisa analisou-se a relação entre as configurações das gestões dos cursos a distância de Administração, projeto piloto da Universidade Aberta do Brasil e os seus conceitos definidos pelo Exame Nacional de Desempenho de Estudantes, identificando-se as teorias e modelos manifestos em seu contexto. O trabalho parte de uma descrição da estrutura organizacional da área responsável pela educação a distância na Universidade Estadual do Maranhão, na Universidade Estadual da Paraíba e na Universidade Federal do Ceará, realizando uma análise comparativa das dimensões complexidade, centralização e coordenação nessas três instituições. Também foram analisados e comparados os sistemas de EAD do curso piloto da UAB, a partir dos referenciais de qualidade para educação superior a distância do MEC, especificamente concentrados nos componentes interdisciplinaridade, materiais didáticos, avaliação, equipe multidisciplinar, comunicação e infraestrutura de polos. Com base nessas análises, discute-se os diferentes conceitos atribuídos pelo Enade aos referidos cursos e explicam-se as correspondências das estruturas organizacionais e dos sistemas de EAD descritos, em relação a esses resultados. Trata-se de uma pesquisa predominantemente qualitativa, descritiva, explicativa e multicaso, cuja coleta de dados foi feita a partir de entrevistas, grupos focais, questionários online e documentos. Os dados primários foram tratados mediante análise de conteúdo categorial e os dados secundários, por meio da análise documental. As observações elaboradas, dentro de uma perspectiva descritivo-interpretativa e de um corte seccional permitem induções acerca das configurações das gestões em cada universidade. Evidencia-se relação forte e direta entre as configurações das gestões do curso piloto e os respectivos resultados no Enade. Constata-se que a teoria da industrialização de Otto Peters e o modelo de educação a distância baseado na distribuição em polos podem explicar a estruturação traduzida no modus operandi da Universidade Aberta do Brasil. Assim, conclui-se que as diferenças nos resultados no Enade dos estudantes da Uema, UEPB e UFC têm relação direta com o modo de estruturação dos setores responsáveis pela intermediação da EAD nessas universidades. Constata-se que o curso piloto da UAB na UEPB não demonstrou ter a aderência necessária aos referenciais de qualidade do MEC, enquanto a Uema e a UFC demonstraram grande adequação aos critérios estabelecidos, o que confirma a relação entre tais referenciais de qualidade e o resultado no Enade. Conclui-se, ainda, que os componentes avaliação e equipe multidisciplinar foram os que mais sugestionaram relação com os desempenhos dos estudantes no Enade. Os resultados encontrados foram discutidos à luz do referencial teórico revisado e foram apresentadas recomendações derivadas dos achados desta pesquisa.

Design of boundary-scan testing in CMOS image sensors for industrial applications: internship repor

Tests on printed circuit boards and integrated circuits are widely used in industry,resulting in reduced design time and cost of a project. The functional and connectivity tests in this type of circuits soon began to be a concern for the manufacturers, leading to research for solutions that would allow a reliable, quick, cheap and universal solution. Initially, using test schemes were based on a set of needles that was connected to inputs and outputs of the integrated circuit board (bed-of-nails), to which signals were applied, in order to verify whether the circuit was according to the specifications and could be assembled in the production line. With the development of projects, circuit miniaturization, improvement of the production processes, improvement of the materials used, as well as the increase in the number of circuits, it was necessary to search for another solution. Thus Boundary-Scan Testing was developed which operates on the border of integrated circuits and allows testing the connectivity of the input and the output ports of a circuit. The Boundary-Scan Testing method was converted into a standard, in 1990, by the IEEE organization, being known as the IEEE 1149.1 Standard. Since then a large number of manufacturers have adopted this standard in their products. This master thesis has, as main objective: the design of Boundary-Scan Testing in an image sensor in CMOS technology, analyzing the standard requirements, the process used in the prototype production, developing the design and layout of Boundary-Scan and analyzing obtained results after production. Chapter 1 presents briefly the evolution of testing procedures used in industry, developments and applications of image sensors and the motivation for the use of architecture Boundary-Scan Testing. Chapter 2 explores the fundamentals of Boundary-Scan Testing and image sensors, starting with the Boundary-Scan architecture defined in the Standard, where functional blocks are analyzed. This understanding is necessary to implement the design on an image sensor. It also explains the architecture of image sensors currently used, focusing on sensors with a large number of inputs and outputs.Chapter 3 describes the design of the Boundary-Scan implemented and starts to analyse the design and functions of the prototype, the used software, the designs and simulations of the functional blocks of the Boundary-Scan implemented. Chapter 4 presents the layout process used based on the design developed on chapter 3, describing the software used for this purpose, the planning of the layout location (floorplan) and its dimensions, the layout of individual blocks, checks in terms of layout rules, the comparison with the final design and finally the simulation. Chapter 5 describes how the functional tests were performed to verify the design compliancy with the specifications of Standard IEEE 1149.1. These tests were focused on the application of signals to input and output ports of the produced prototype. Chapter 6 presents the conclusions that were taken throughout the execution of the work.

A implementação de ações de integração na segurança pública: o caso das polícias civil e militar do Rio Grande do Norte

The research aimed to understand the challenges for the implementation of the proposed integration between the Civil Police and the Military Police in Rio Grande do Norte to the proposals of the SUSP. This study aimed to explore the gap with regard to the deepening of the possible causes that may hinder the implementation of integrated working between the police in public security, through a specific analysis on the state of Rio Grande do Norte. Was based on a theoretical framework that includes policies: general concepts, the steps of a public policy, the implementation stage , public security : conceptual definitions, policies on security in Brazil, the structure of public security in Brazil and systems police, Military Police x Civil Police: Roles and conflicts , integrating public security: the challenges to be overcome, the Unified public Safety (SUSP) and the main difficulties in the integration of the police. Being classified as to the purposes as an exploratory research on how to approach ranks as qualitative. The research unit was the Center for Integrated Operations Public Safety (CIOSP) through three subjects who were the chief CIOSP, the representative of the military police acting with the CIOSP, and representative civil police also active with the CIOSP. These subjects were chosen because of the understanding that individuals occupying senior positions would have more ability to respond to questions that guide the research problem. Data were collected through a set of interviews, qualitative data analysis was performed based content analysis, based on the definition of categories of analysis, gated time cross. With the results, it was revealed that the main problems of integration between the state police are treatment protocols, lack of political will and lack of infrastructure. The relationship between the Military Police and Civil Police in Rio Grande do Norte has differing cultural aspect, but can be considered as good value, professionalism and integrated operations. The implementation of CIOSP-RN followed the characteristics of the top-down model, the main difficulties in implementing the proposals of the SUSP, lack of own resources, the lack of standardization in public safety and the lack of professional training of public safety. It was concluded that with respect to the challenges to the implementation of the proposed integration between the Civil Police and the Military Police in Rio Grande do Norte to the proposals of the SUSP, the actions follow the characteristics of the top-down model, with no autonomy of administrators public to say in decisions, which restricts the view of the public safety of the state

Resposta de Chromobacterium Violaceum cultivada em alta concentração de ferro

The Chromobacterium violaceum is a β-proteobacterium Gram-negative widely found in tropical and subtropical regions, whose genome was sequenced in 2003 showing great metabolic versatility and biotechnological and pharmaceutical potential. Given the large number of ORFs related to iron metabolism described in the genome of C. violaceum, the importance of this metal for various biological processes and due to lack of data about the consequences of excess of iron in free-living organisms, it is important to study the response mechanism of this bacterium in a culture filled with iron. Previous work showed that C. violaceum is resistant to high concentrations of this metal, but has not yet been described the mechanism which is used to this survival. Thus, to elucidate the response of C. violaceum cultured in high concentrations of iron and expecting to obtain candidate genes for use in bioremediation processes, this study used a shotgun proteomics approach and systems biology to assess the response of C. violaceum grown in the presence and absence of 9 mM of iron. The analysis identified 531 proteins, being 71 exclusively expressed by the bacteria grown in the presence of the metal and 100 just in the control condition. The increase in expression of proteins related to the TCA cycle possibly represents a metabolic reprogramming of the bacteria caused by high concentration of iron in the medium. Moreover, we observed an increase in the activity assay of superoxide dismutase and catalase as well as in Total Antioxidant Activity assay, suggesting that the metal is inducing oxidative stress in C. violaceum that increases the levels of violacein and antioxidant enzymes to better adapt to the emerging conditions. Are also part of the adaptive response changes in expression of proteins related to transport, including iron, as well as an increased expression of proteins related to chemotaxis response, which would lead the bacteria to change the direction of its movement away from the metal. Systems Biology results, also suggest a metabolic reprogramming with mechanisms coordinated by bottleneck proteins involved in transcription (GreA), energy metabolism (Rpe and TpiA) and methylation (AhcY)