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.

Neural reflex regulation of arterial pressure in pathophysiological conditions : interplay among the baroreflex, the cardiopulmonary reflexes and the chemoreflex

The maintenance of arterial pressure at levels adequate to perfuse the tissues is a basic requirement for the constancy of the internal environment and survival. The objective of the present review was to provide information about the basic reflex mechanisms that are responsible for the moment-to-moment regulation of the cardiovascular system. We demonstrate that this control is largely provided by the action of arterial and non-arterial reflexes that detect and correct changes in arterial pressure (baroreflex), blood volume or chemical composition (mechano- and chemosensitive cardiopulmonary reflexes), and changes in blood-gas composition (chemoreceptor reflex). The importance of the integration of these cardiovascular reflexes is well understood and it is clear that processing mainly occurs in the nucleus tractus solitarii, although the mechanism is poorly understood. There are several indications that the interactions of baroreflex, chemoreflex and Bezold-Jarisch reflex inputs, and the central nervous system control the activity of autonomic preganglionic neurons through parallel afferent and efferent pathways to achieve cardiovascular homeostasis. It is surprising that so little appears in the literature about the integration of these neural reflexes in cardiovascular function. Thus, our purpose was to review the interplay between peripheral neural reflex mechanisms of arterial blood pressure and blood volume regulation in physiological and pathophysiological states. Special emphasis is placed on the experimental model of arterial hypertension induced by N-nitro-L-arginine methyl ester (L-NAME) in which the interplay of these three reflexes is demonstrable.

A investigação da construção de modelos no estudo de um tópico de física utilizando um ambiente de modelagem computacional qualitativo

A integração de tecnologias de informação e comunicação no contexto educacional tem sido tema de diversos congressos e simpósios ao redor do mundo e no Brasil. Neste sentido, vários estudos têm sido realizados com o objetivo de se obter metodologias que tornem efetivo o emprego das novas tecnologias no ensino. Este artigo mostra um estudo que investigou a interação entre estudantes universitários da área de ciências exatas e um ambiente de modelagem computacional qualitativo em atividades de modelagem expressiva. Os resultados obtidos mostram que os estudantes foram capazes de criar e modificar o modelo do sistema proposto a partir de suas próprias concepções.

Researchers' information needs in the bibliographic database : a literature review

This article is published online with Open Access and distributed under the terms of the Creative Commons Attribution Non-Commercial License.

Modelagem e simulação de sistema logístico de distribuição de carne de frango

O sistema logístico para distribuição de produtos acabados caracteriza-se pela integração dos serviços de comunicação, transporte e financeiros com a finalidade de atender às demandas do consumidor final. Estima-se que no estado do Espírito Santo, o consumo de carne de frango seja de 44,4 quilos per capita por ano. Para atender a esta demanda, o estado conta com matadouros-frigoríficos distribuídos pelo seu território, bem como, com a participação de outras empresas localizadas no país. Em sistemas de transportes, são característicos Problemas de Roteamento de Veículos (VRP), que precisam ser estudados, caracterizados e otimizados, normalmente, através de rotinas computacionais, que permitem avaliar maior quantidade de variáveis. O presente trabalho teve por objetivo caracterizar um VRP de um matadouro-frigorífico da região do Sul do Espírito Santo e desenvolver um aplicativo computacional que seja suporte para os gestores de logística, servindo para avaliar e propor rotas, e analisar parâmetros logísticos do processo de distribuição de produtos. No desenvolvimento do aplicativo computacional foi necessário caracterizar o sistema logístico da empresa, coletar e analisar os dados das operações logísticas, desenvolver as rotinas computacionais que representassem o sistema em estudo, verificar a confiabilidade dos resultados fornecidos pelo aplicativo, validá-lo e então, poder realizar as experimentações. O aplicativo desenvolvido permitiu reproduzir dados do sistema estudado e avaliar rotas segundo parâmetros logísticos. Pode-se concluir que o aplicativo computacional desenvolvido é útil aos gestores de logística, permitindo a avaliação das rotas praticadas e de novas configurações de rotas.

The influence of nationalism in Mercosur and in South America: can the regional integration project survive?

The article discusses if nationalism is getting in the way of regional integration through a Brazilian prism due to Brazil’s pivotal role in regional integration in Mercosur and South America.

Information and Technology Implementation Issues in AAL Solutions

With the population ageing effect, the technological developments, and pressure to reduce the cost with healthcare, are reunited the conditions for the development of Ambient Assisted Living (AAL) solutions. This work is a revision of the current state of the art. Its aim is the characterization of the AAL solutions, within the AAL4ALL scope. Therefore, it is presented features, scenarios and projects, referring the limitations and the opportunities for the future developments of prototypes using high level information and technology in AAL environments. Moreover, it is presented guidelines of operation, exposing the conceptual approach, and the discussion and conclusion, which present recommendations and current AAL4ALL project positions in terms of concepts and technologies.

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.

Certification and integration of management systems: the experience of Portuguese small and medium enterprises

The purpose of this study was to characterize the situation of Portuguese Small and Medium Enterprises (SMEs) concerning the certification of their Quality Management Systems (QMS), Environmental Management Systems (EMS) and Occupational Health and Safety Management Systems (OHSMS), in their individually form, to identify benefits, drawbacks and difficulties associated with the certification process and to characterize the level of integration that has been achieved. This research was based on a survey carried out by the research team; it was administered to 46 Portuguese SMEs. Our sample comprised 20 firms (43%) from the Trade/Services activity sector, 17 (37%) from the Industrial sector, 5 (11%) from the Electricity/Telecommunications sector and 4 (9%) from the Construction area. All SMEs surveyed were certified according to the ISO 9001 (100%), a quarter of firms were certified according to the ISO 14001 (26.1%) and a few certified by OHSAS 18001 (15.2%). We undertook a multivariate cluster analysis, which enabled grouping variables into homogeneous groups or one or more common characteristics of the SMEs participating in the study. Results show that the main benefits that Portuguese SMEs have gained from the referred certifications have been, among others, an improvement of both their internal organization and external image. We also present the main difficulties in achieving certification. Overall, 7 of the Portuguese SMEs examined indicated that the main benefits of the IMS implementation management included costs reduction, increased employee training and easier compliance of legislation. The respective drawbacks and difficulties are also presented. Finally, we presented the main integrated items in the certified Portuguese SMEs we examined.

Conditioning information in mutual fund performance evaluation: Portuguese evidence

We estimate and compare the performance of Portuguese-based mutual funds that invest in the domestic market and in the European market using unconditional and conditional models of performance evaluation. Besides applying both partial and full conditional models, we use European information variables, instead of the most common local ones, and consider stochastically detrended conditional variables in order to avoid spurious regressions. The results suggest that mutual fund managers are not able to outperform the market, presenting negative or neutral performance. The incorporation of conditioning information in performance evaluation models is supported by our findings, as it improves the explanatory power of the models and there is evidence of both time-varying betas and alphas related to the public information variables. It is also shown that the number of lags to be used in the stochastic detrending procedure is a critical choice, as it will impact the significance of the conditioning information. In addition, we observe a distance effect, since managers who invest locally seem to outperform those who invest in the European market. However, after controlling for public information, this effect is slightly reduced. Furthermore, the results suggest that survivorship bias has a small impact on performance estimates.

Domain-Specific Language for Coordination patterns

The integration and composition of software systems requires a good architectural design phase to speed up communications between (remote) components. However, during implementation phase, the code to coordinate such components often ends up mixed in the main business code. This leads to maintenance problems, raising the need for, on the one hand, separating the coordination code from the business code, and on the other hand, providing mechanisms for analysis and comprehension of the architectural decisions once made. In this context our aim is at developing a domain-specific language, CoordL, to describe typical coordination patterns. From our point of view, coordination patterns are abstractions, in a graph form, over the composition of coordination statements from the system code. These patterns would allow us to identify, by means of pattern-based graph search strategies, the code responsible for the coordination of the several components in a system. The recovering and separation of the architectural decisions for a better comprehension of the software is the main purpose of this pattern language

The role of coordination analysis in software integration projects

What sort of component coordination strategies emerge in a software integration process? How can such strategies be discovered and further analysed? How close are they to the coordination component of the envisaged architectural model which was supposed to guide the integration process? This paper introduces a framework in which such questions can be discussed and illustrates its use by describing part of a real case-study. The approach is based on a methodology which enables semi-automatic discovery of coordination patterns from source code, combining generalized slicing techniques and graph manipulation