Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

The basal ganglia and semantic engagement: Potential insights from semantic priming in individuals with subcortical vascular lesions, Parkinson's disease, and cortical lesions

The impact of basal ganglia dysfunction on semantic processing was investigated by comparing the performance of individuals with nonthalamic subcortical (NS) vascular lesions, Parkinson's disease (PD), cortical lesions, and matched controls on a semantic priming task. Unequibiased lexical ambiguity primes were used in auditory prime-target pairs comprising 4 critical conditions; dominant related (e.g., bank-money), subordinate related (e.g., bank-river), dominant unrelated (e.g.,foot-money) and subordinate unrelated (e.g., bat-river). Participants made speeded lexical decisions (word/nonword) on targets using a go-no-go response. When a short prime-target interstimulus interval (ISI) of 200 ins was employed, all groups demonstrated priming for dominant and subordinate conditions, indicating nonselective meaning facilitation and intact automatic lexical processing. Differences emerged at the long ISI (1250 ms), where control and cortical lesion participants evidenced selective facilitation of the dominant meaning, whereas NS and PD groups demonstrated a protracted period of nonselective meaning facilitation. This finding suggests a circumscribed deficit in the selective attentional engagement of the semantic network on the basis of meaning frequency, possibly implicating a disturbance of frontal-subcortical systems influencing inhibitory semantic mechanisms.

Data Mart para apoio ?? capacita????o em gest??o de pol??ticas p??blicas voltado para uma Escola de Administra????o P??blica

Este trabalho consiste num estudo de caso que se destina ao desenvolvimento de um Data Mart que possibilite a Escola Nacional de Administra????o P??blica ??? ENAP conhecer o perfil e o panorama geral da situa????o funcional dos servidores p??blicos federais que se capacitaram na Escola nos ??ltimos 7 anos. O aplicativo foi desenvolvido cruzando o banco de dados do sistema gerenciador dos cursos ministrados pela ENAP, onde est??o armazenadas informa????es sobre os alunos capacitados, os cursos realizados, os resultados alcan??ados, o perfil dos docentes e demais informa????es relativas ??s atividades da Escola, com os dados gerados pelo Sistema Integrado de Administra????o de Recursos Humanos ??? SIAPE, cuja extra????o de dados foi direcionada para os registros sobre a situa????o funcional, cargos, carreiras, fun????es, ??rg??os e alguns dados pessoais dos alunos, servidores p??blicos federais que se encontram registrados no SIAPE

Avalia????o da integra????o do programa de erradica????o do trabalho infantil ao programa bolsa fam??lia

O artigo descreve e avalia o novo modelo do Programa de Erradica????o do Trabalho Infantil (PETI) integrado ao Programa Bolsa Fam??lia (PBF). Mostra que o desenho para implementar a integra????o contribuiu para racionaliza????o e aprimoramento dos processos de gest??o do PBF e PETI: pelo Cadastro ??nico, reduziu gastos administrativos, facilitou monitoramento e avalia????o e contribuiu para melhor aplica????o dos recursos do PETI; pelo SISPETI, tornou poss??vel acompanhar a oferta das a????es socioeducativas e de conviv??ncia pelos munic??pios. Argumenta que, como as causas do trabalho infantil v??o al??m da insufici??ncia de renda, ao enfatizar o crit??rio da renda e equalizar o tratamento das fam??lias que possuem crian??as e adolescentes em situa????o de trabalho infantil e as que n??o registram essa pr??tica, o modelo de integra????o adotado pode ter tornado fr??geis os incentivos ?? retirada das crian??as e adolescentes do trabalho infantil. Conseq??entemente, pode ter enfraquecido a pol??tica de combate ao trabalho infantil.

Qualidade da água da lagoa Juara (Serra/ES) : avaliações físicas, químicas e respostas fisiológicas e citogenéticas em plantas

A gestão dos recursos hídricos necessita da integração entre os critérios físicos e químicos, e os aspectos bióticos, os quais possibilitam identificar os efeitos combinados de substâncias e avaliar suas influências. Os sistemas testes Allium cepa e Tradescantia pallida, são utilizados para o estudo da poluição aquática a partir de aspectos citogenéticos. Além destes biomarcadores, os teores de clorofila também são utilizados em estudos de estresse devido ao reflexo a múltiplos fatores. Assim, o objetivo deste trabalho foi avaliar a qualidade da água da lagoa Juara (Município de Serra/ES) pela análise integrada de aspectos físicos, químicos e ecotoxicológicos a partir de estudos citogenéticos em A. cepa e T. pallida, e fotossintéticos nesta última espécie. Foram definidas três estações amostrais ao longo da lagoa e a partir de amostras de água foram analisados parâmetros tais como condutividade, oxigênio dissolvido, concentração de nutrientes e metais. A determinação dos metais ocorreu por análises de espectrometria de massa. O teste do A. cepa foi realizado a partir sementes germinadas em amostras de água da lagoa. Com plantas de T. pallida, foi realizado o ensaio da mitose em ponta de raiz de T. pallida e dosado os teores de pigmentos cloroplastídicos em folhas totalmente expandidas. Para tanto, foi realizado ensaio utilizando-se a água da lagoa como solvente para solução de Hoagland onde estacas previamente enraizadas de T. pallida foram expostas durante 24 horas e 40 dias para as avaliações citogenéticas e fotossintéticas, respectivamente. Foi realizado novo teste do A. cepa nas águas da lagoa após os 40 dias de ensaio para aferir a manutenção das propriedades químicas das amostras. A avaliação citogenética nas duas espécies envolveu a análise dos índice mitótico (IM), índice de aberrações cromossômicas (AC) e frequência de micronúcleos (MN). Para a análise estatística foi utilizada a análise de variância seguida pelo teste de Tukey (p < 0.05) para a comparação dos tratamentos durante a mesma campanha, e teste de Bonferroni (p < 0,05) para a comparação entre as campanhas. Os resultados físicos e químicos mensurados demonstram que a lagoa Juara apresenta indícios de eutroficação artificial. Duas estações amostrais, em pelo menos uma campanha amostral, apresentaram potenciais citotóxico, genotóxico e mutagênico. Todavia, esses potenciais não demonstram relação com os teores de Fe e Mn quantificados, levando a crer que tais pontos apresentam outros potenciais poluentes. Os danos citogenéticos observados apresentaram efeitos maximizados durante a segunda campanha, demostrando o efeito do período de chuva na intensificação da poluição nesse ambiente. O estudo do metabolismo fotossintético em T. pallida, demonstrou os teores de pigmentos cloroplastídicos relacionados ao elevado aporte de nutrientes presentes nas estações J2 e J3. Sendo o excesso destes, o provável responsável pelo teor inferior de pigmentos em J3. Observa-se que os ensaios com A. cepa e T. pallida responderam de maneira fidedigna ao risco potencial do ambiente, complementando as análises físicas e químicas usualmente utilizadas na avaliação da qualidade da água de ambientes lacustres.

Conception of a flexible integrator and lean model for integrated management systems

Management systems standards (MSSs) have developed in an unprecedented manner in the last few years. These MSS cover a wide array of different disciplines, aims and activities of organisations. Also, organisations are populated with an enormous diversity of independent management systems (MSs). An integrated management system (IMS) tends to integrate some or all components of the business. Maximising their integration in one coherent and efficient MS is increasingly a strategic priority and constitutes an opportunity for businesses to be more competitive and consequently, promote its sustainable success. Those organisations that are quicker and more efficient in their integration and continuous improvement will have a competitive advantage in obtaining sustainable value in our global and competitive business world. Several scholars have proposed various theoretical approaches regarding the integration of management sub-systems, leading to the conclusion that there is no common practice for all organisations as they encompass different characteristics. One other author shows that several tangible and intangible gains for organisations, as well as to their internal and external stakeholders, are achieved with the integration of the individual standardised MSs. The purpose of this work was to conceive a model, Flexible, Integrator and Lean for IMSs, according to ISO 9001 for quality; ISO 14001 for environment and OHSAS 18001 for occupational health and safety (IMS–QES), that can be adapted and progressively assimilate other MSs, such as, SA 8000/ISO 26000 for social accountability, ISO 31000 for risk management and ISO/IEC 27001 for information security management, among others. The IMS–QES model was designed in the real environment of an industrial Portuguese small and medium enterprise, that over the years has been adopting, gradually, in whole or in part, individual MSSs. The developed model is based on a preliminary investigation conducted through a questionnaire. The strategy and research methods have taken into consideration the case study. Among the main findings of the survey we highlight: the creation of added value for the business through the elimination of several organisational wastes; the integrated management of the sustainability components; the elimination of conflicts between independent MS; dialogue with the main stakeholders and commitment to their ongoing satisfaction and increased contribution to the company’s competitiveness; and greater valorisation and motivation of employees as a result of the expansion of their skill base, actions and responsibilities, with their consequent empowerment. A set of key performance indicators (KPIs) constitute the support, in a perspective of business excellence, to the follow up of the organisation’s progress towards the vision and achievement of the defined objectives in the context of each component of the IMS model. The conceived model had many phases and the one presented in this work is the last required for the integration of quality, environment, safety and others individual standardised MSs. Globally, the investigation results, by themselves, justified and prioritised the conception of an IMS–QES model, to be implemented at the company where the investigation was conducted, but also a generic model of an IMS, which may be more flexible, integrator and lean as possible, potentiating the efficiency, added value both in the present and, fundamentally, for future.

A generic model for integration of Quality, Environment and Safety Management Systems

Purpose – The purpose of this paper is to propose a generic model of Integrated Management System of Quality, Environment and Safety (IMS-QES) that can be adapted and progressively to assimilate various Management Systems, of which highlights: ISO 9001 for Quality; ISO 14001 for Environment; OHSAS 18001 for Occupational Health and Safety. Design/methodology/approach – The model was designed in the real environment of a Portuguese Organization and 160 employees were surveyed. The rate response was equal to 86 percent. The conceived model was implemented in a first phase for the integration of Quality, Environment and Safety Management Systems. Findings – Among the main findings of the survey the paper highlights: the elimination of conflicts between individual systems with resources optimization; creation of added value to the business by eliminating several types of wastes; the integrated management of sustainability components in a global market; the improvement of partnerships with suppliers of goods and services; reducing the number of internal and external audits. Originality/value – This case study is one of the first Portuguese empirical researches about IMS-QES and the paper believes that it can be useful in the creation of a Portuguese guideline for integration, namely the Quality Management Systems; Environmental Management Systems and Occupational Health and Safety Management Systems among others.

Dashboard services for pragmatics-based interoperability in cloud and ubiquitous manufacturing

The real Cloud and Ubiquitous Manufacturing systems require effectiveness and permanent availability of resources, their capacity and scalability. One of the most important problems for applications management over cloud based platforms, which are expected to support efficient scalability and resources coordination following SaaS implementation model, is their interoperability. Even application dashboards need to easily incorporate those new applications, their interoperability still remains a big problem to override. So, the possibility to expand these dashboards with efficiently integrated communicational cloud based services (cloudlets) represents a relevant added value as well as contributes to solving the interoperability problem. Following the architecture for integration of enriched existing cloud services, as instances of manufacturing resources, this paper: a) proposes a cloud based web platform to support dashboard integrating communicational services, and b) describe an experimentation to sustain the theory that the effective and efficient interoperability, especially in dynamic environments, could be achieved only with human intervention.

INTEGRATED MANAGEMENT SYSTEMS: CRITICAL SUCCESS FACTORS

The purpose of this paper is to, in a holistic way, identify and explore the critical success factors (CSFs) that are considered in the context of the growing discussions, movements, proposed models, and case studies about the integration of management systems (MSs). This work is an investigation focused on the integration of MSs into an integrated management system (IMS) and the proposed approach takes into account the literature review as well as the experience gained by the authors on researches about Portuguese enterprises. This qualitative and empirical research, investigated the integration of MSs from existing scientific publications for the period 1999 to 2014, on-going case studies and one inquiry conducted by the authors. This research contributes to a better understanding of the CSFs regarding the integration of MSs and thus provides an insight on the preventive management. This research shows an evident lack of information regarding case studies on CSFs for integrated management systems (IMSs) and has identified a set of relevant CSFs, for MSs integration and associated guidelines that organizations should take as a priority, in order to be able to manage, on a preventive way, the implementation of IMSs, and consequently to become more competitive with added value for the stakeholders.

La creación de valor del integrated reporting

El lanzamiento por parte del IIRC del International Integrated Reporting Framework en 2013, supone un nuevo Marco Internacional para la elaboración de informes financieros y puede marcar un cambio importante en la evolución de la información empresarial. Se trata de conseguir una información confiable, clara y comparable, dirigida a una amplia gama de partes interesadas. Además de información económica-financiera clásica, el Integrated Reporting (IR) abarca cuestiones sobre la estrategia de la organización, la gobernanza, los resultados y las perspectivas, elementos que conducen a la creación de valor a corto, medio y largo plazo. Nos planteamos conocer si la información integrada aumenta la creación de valor para las empresas. Para ello, se analiza la evolución de la Q de Tobin de las empresas españolas que desde 2011 están en el programa piloto sobre información integrada del IIRC en relación con el resto de empresas pertenecientes al IBEX 35. Los resultados muestran que el comportamiento de estas empresas es más positivo que la media del sector aunque los datos están muy influenciados por la situación de crisis.

Integration of management systems: towards a sustained success and development of organizations

Effective environmental management within companies, integrated with other management areas like quality and occupational health and safety, is nowadays assumed to be a strategic way to implement and improve lean and cleaner production. Also, sustainable development (SD) and business sustainability can be achieved through a better coordinated management of processes versus associated resources. This paper presents an in depth discussion regarding the promotion of integrated management systems, their benefits and major contribution towards the sustainable development of cleaner production related features. It addresses issues regarding the contributions resulting from the integration of standardized Management System (MS) from both internal and external perspectives. Complementing the overall review of aspects to the development of integrated management systems a survey was conducted in order to better understand the relevance of the identified success factors. The main findings in this paper are as follows: a contextualization model of sustainable development and integrated management systems considering the Triple Bottom Line: economic, social and environmental; and, a method and associated model to support the development of integrated management systems as well as general guidelines to support integration. It can be concluded that a proactive approach and commitment to cleaner production, supported by an integrated management system, brings relevant savings for organizations as well as providing value to the relevant interested parties.